Koleksi

Advanced Search

Halaman Pertama Sebelumnya 6 7 8 9 10 Berikutnya Halaman Akhir

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software / Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL / Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability / Verifying and Quantifying Side-channel Resistance of Masked Software Implementations / Developing and Evaluating Objective Termination Criteria for Random Testing / Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software / Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL / Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability / Verifying and Quantifying Side-channel Resistance of Masked Software Implementations / Developing and Evaluating Objective Termination Criteria for Random Testing / Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving

M. Pezze - D. Reuling ; U. Kelter ; J. Burdek ; M. Lochau - F. Sheng ; H. Zhu ; J. He ; Z. Yang ; J. P. Bowen - X. Ren ; Z Xing ; X. Xia ; D. Lo ; X. Wang ; J. Grundy - P. Gao ; J. Zhang ; F. Song ; C. Wang - p. Tramontana ; D. Amalfitano ; N. Amatucci ; A. Memon ; A. R. Fasolino - P. Antonino ; T. Gibson-Robinson ; A. W. Roscoe

Detail Cantuman Cite

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Runtime Fault Detection in Programmed Molecular Systems / Understanding and Analyzing Java Reflection / Domain Analysis and Description Principles, Techniques, and Modelling Languages / Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys / Isolation Modeling and Analysis Based on Mobility / How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Runtime Fault Detection in Programmed Molecular Systems / Understanding and Analyzing Java Reflection / Domain Analysis and Description Principles, Techniques, and Modelling Languages / Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys / Isolation Modeling and Analysis Based on Mobility / How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?

M. Pezze - S. J. Ellis ; T. H. Klinge ; J. I. Lathrop ; J. H. Lutz ; R. R. Lutz ; A. S. Miner ; H. D. Potter - Y. Li ; T. Tan ; J. Xue - D. Bjorner - S. Wagner ; D. M. Fernandez ; M. Felderer ; A. Vetro ; M. Kalinowski ; R. Wieringa ; D. Pfahl ; T. C - J. -M. Jiang ; H. Zhu ; Q. Li ; Y. Zhao ; Z. Hong ; S. Zhang ; P. Gong - C. Czepa ; U. Zdun

Detail Cantuman Cite

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Farewell Editorial from the Outgoing Editor-in-Chief / Editorial from the Incoming Editor-in-Chief / Oracles for Testing Software Timeliness with Uncertainty / The State of Empirical Evaluation in Static Feature Location / RESTful API Automated Test Case Generation with EvoMaster / An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction / Software Effort Interval Prediction via Bayesian Inference and Synthetic Bootstrap Resampling

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Farewell Editorial from the Outgoing Editor-in-Chief / Editorial from the Incoming Editor-in-Chief / Oracles for Testing Software Timeliness with Uncertainty / The State of Empirical Evaluation in Static Feature Location / RESTful API Automated Test Case Generation with EvoMaster / An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction / Software Effort Interval Prediction via Bayesian Inference and Synthetic Bootstrap Resampling

D. S. Rosenblum - M. Pezze - C. Wang ; F. Pastore ; L. Briand - A. Razzaq ; A. Wasala ; C. Exton ; J. Buckley - A. Arcuri - C. Arora ; M. Sabetzadeh ; S. Nejati ; L. Briand - L. Song ; L. L. Minku ; X. Yao

Detail Cantuman Cite

Bundel Jurnal Journal of Engineering and Technological Sciences : Modeling and Designing of a Novel Lab-scale Passive Solar Still / Developing Sub-wavelength Sound Absorber Based on Coiled Up Tube Resonator Genetic / Alternative Designs for Semarang-Demak Coastal Dike and Toll Road / Improving the Lifting Capacity of Drilled Cuttings Using Henna Leaf Extracts and Lignite in Bentonite Water-based Drilling Mud / Simulation of Void Detection System using Gamma-Ray Compton Scattering Technique / Mechanical Behavior of Dam Foundation with Vertical Sand Drain, Case Study: Sombar Dam / Parametric Study of One-Dimensional Seismic Site Response Analyses Based on Local Soil of Jakarta

Bundel Jurnal Journal of Engineering and Technological Sciences : Modeling and Designing of a Novel Lab-scale Passive Solar Still / Developing Sub-wavelength Sound Absorber Based on Coiled Up Tube Resonator Genetic / Alternative Designs for Semarang-Demak Coastal Dike and Toll Road / Improving the Lifting Capacity of Drilled Cuttings Using Henna Leaf Extracts and Lignite in Bentonite Water-based Drilling Mud / Simulation of Void Detection System using Gamma-Ray Compton Scattering Technique / Mechanical Behavior of Dam Foundation with Vertical Sand Drain, Case Study: Sombar Dam / Parametric Study of One-Dimensional Seismic Site Response Analyses Based on Local Soil of Jakarta

Hisham A. Maddah - Iwan Prasetiyo ; Elsa Nalita Wongso ; Joko Sarwono - Andojo Wurjanto ; Julfikhsan Ahmad Mukhfi ; Shinta Ayuningtyas - Jeffrey Onuoma Oseh ; Muhammad Noorul Anam ; Adam Rasyid Sidiqi - Mona Berlian Sari ; Rahadi Wirawan ; Abdul Waris ; Hong Joo Kim ; Mitra Djamal - Mohammed Sh. Mahmood ; Ali Akhtarpour ; Ameer Abdulridha Ajmi Alali - Rena Misliniyati ; Andhika Sahadewa ; Hendriyawan ; Masyhur Irsyam

Detail Cantuman Cite

Bundel Jurnal Journal of Engineering and Technological Sciences : Performance Analysis of Energy Storage in Smart Microgrid Based on Historical Data of Individual Battery Temperature and Voltage Changes / Prestressed Concrete l-Girder Optimization via Genetic Algorithm / A Coal Mine Underground Localization Algorithm Based on the Feature Vector / Gaussian Process Regression for Prediction of Sulfate Content in Lakes of China / Impurity Removal of Waste Cooking Oil Using Hydrophobic Polypropylene Hollow Fiber Membrane / Study on the Mechanism of Particle Breakage under New Composite Loads / Borehole Microseismic Imaging of Hydraulic Fracturing: A Pilot Study on a Coal Bed Methane Reservoir in Indonesia / Alkaline-assisted Microwave Pretreatment of Tetraselmis suecica Biomass for Fed-batch Enzymatic Hydrolysis

Bundel Jurnal Journal of Engineering and Technological Sciences : Performance Analysis of Energy Storage in Smart Microgrid Based on Historical Data of Individual Battery Temperature and Voltage Changes / Prestressed Concrete l-Girder Optimization via Genetic Algorithm / A Coal Mine Underground Localization Algorithm Based on the Feature Vector / Gaussian Process Regression for Prediction of Sulfate Content in Lakes of China / Impurity Removal of Waste Cooking Oil Using Hydrophobic Polypropylene Hollow Fiber Membrane / Study on the Mechanism of Particle Breakage under New Composite Loads / Borehole Microseismic Imaging of Hydraulic Fracturing: A Pilot Study on a Coal Bed Methane Reservoir in Indonesia / Alkaline-assisted Microwave Pretreatment of Tetraselmis suecica Biomass for Fed-batch Enzymatic Hydrolysis

Sajjad Irsyad Nashirul Haq ; Deddy Kurniadi ; Edi Leksono Brian Yuliarto ; F.X. Nugroho Soelami - Tito Adibaskoro ; Made Suarjana - Guo Yinjing ; Song Xianqi ; Yang Lei ; Lv Wenhong - Jinginy Zhao ; Hai Guo ; Min Han ; Haoran Tang ; Xiaoniu Li - Lienda Aliwarga ; Setyo Widodo ; Novika Suwardana ; Hanna Darmawan ; Khoiruddin ; I Gede Wenten - Zhanfu Li, Yiqing Ye. Xin Tong ; Kunyuan Li - Rexha Verdhora Ry ; Tepy Septyana ; Sri Widiyantoro ; Andri Dian Nugraha ; Arii Ardjuna - Mohd Asyraf Kassim ; Tan Kean Meng ; Kok Yong Seng ; Noor Aziah Serri

Detail Cantuman Cite

Bundel Jurnal Journal of Engineering and Technological Sciences : Effects of Grinding Process on the Properties of the Coal Bottom Ash and Cement Paste / Cutter Load Distribution Analysis and Crown Shape Optimal Design of Complex Curved PDC Bit / Non-linear Numerical Modeling of Partially Pre-stressed Beam Column Sub-assemblages Made of Reactive Powder Concrete / Performance Enhancement by Using Wet Pad in Vapor Compression Cooling System / Shelf-life Evaluation of Packaged Fermented Cassava Flour / Study on the Extent of the Impact of Data Set Type on the Performance of ANFIS for Controlling the Speed of DC Motor / A Strategy for Sustainable Development: Using Nanotechnology for Solar Energy in Buildings (Case Study Parand Town) / Comparative Study of Bacterial Cellulose Film Dried Using Microwave and Air Convection Heating / Minimizing Electricity Fuel Cost of Thermal Generating Units by Using Improved Firefly Algorithm

Bundel Jurnal Journal of Engineering and Technological Sciences : Effects of Grinding Process on the Properties of the Coal Bottom Ash and Cement Paste / Cutter Load Distribution Analysis and Crown Shape Optimal Design of Complex Curved PDC Bit / Non-linear Numerical Modeling of Partially Pre-stressed Beam Column Sub-assemblages Made of Reactive Powder Concrete / Performance Enhancement by Using Wet Pad in Vapor Compression Cooling System / Shelf-life Evaluation of Packaged Fermented Cassava Flour / Study on the Extent of the Impact of Data Set Type on the Performance of ANFIS for Controlling the Speed of DC Motor / A Strategy for Sustainable Development: Using Nanotechnology for Solar Energy in Buildings (Case Study Parand Town) / Comparative Study of Bacterial Cellulose Film Dried Using Microwave and Air Convection Heating / Minimizing Electricity Fuel Cost of Thermal Generating Units by Using Improved Firefly Algorithm

Sajjad Ali Mangi ; Mohd Haziman Wan Ibrahim ; Norwati Jamaluddin ; Mohd Fadzil Arshad ; Sheeraz Ahme - Ju Pei - Bambang Budiono ; Siti Aisyah Nurjannah ; Iswandi Imran - Maki H. Zaidan ; Thamir K. Ibrahim ; Aadel A.R. Alkumait - Dianika Lestari ; Yessica ; Elvina ; M. T. A. P. Kresnowati - Mohamed Elhaj Ahmed Mohamed ; Guo Yanling - Jamal-e-Din Mahdi Nejad ; Faezeh Asadpour - Indriyati ; Yuyun Irmawati ; Tita Puspitasari - Tháng Trung Nguyen ; Bao Quốc Nguyên ; Phương Duy Nguyên ; Chiem Trong Hiền

Detail Cantuman Cite

Pembelajaran IPA, Jilid 1

Pembelajaran IPA, Jilid 1

Lisnani

Detail Cantuman Cite

Environtmental science : a global concern

Cunningham, William P. - Saigo, Barbara Woodworth

Detail Cantuman Cite

Skripsi Informatika: Sistem Pendukung Keputusan Penilaian Kinerja Karyawan Menggunakan Metode Promethee (Studi Kasus: Badan Pengelola Keuangan dan Aset Daerah Provinsi Sumatera Selatan)

Skripsi Informatika: Sistem Pendukung Keputusan Penilaian Kinerja Karyawan Menggunakan Metode Promethee (Studi Kasus: Badan Pengelola Keuangan dan Aset Daerah Provinsi Sumatera Selatan)

Leonardo Hasiholan Marbun (1313025)

Detail Cantuman Cite

Skripsi Informatika: Penerapan Algoritma BOIDS pada NPC (Non Player Character) dalam Game Menembak Burung

Skripsi Informatika: Penerapan Algoritma BOIDS pada NPC (Non Player Character) dalam Game Menembak Burung

Dermawan Ronaldo Harefa (1313019)

Detail Cantuman Cite

Skripsi Sistem Informasi: Analisis Risiko Keamanan Sistem Informasi Akademik Menggunakan Metode Octave Allegro (Studi Kasus: SMP Kusuma Bangsa Palembang)

Skripsi Sistem Informasi: Analisis Risiko Keamanan Sistem Informasi Akademik Menggunakan Metode Octave Allegro (Studi Kasus: SMP Kusuma Bangsa Palembang)

Aldian Febrizal (1414010)

Detail Cantuman Cite

Listrik dan Magnet

Listrik dan Magnet

Surya, Yohanes - Ardiyanto, Arfan

Detail Cantuman Cite

Tumbuhan dan Ekosistem

Tumbuhan dan Ekosistem

Surya, Yohanes - Aprilia Z, Femi

Detail Cantuman Cite

Makhluk Hidup (Manusia dan Hewan)

Makhluk Hidup (Manusia dan Hewan)

Surya, Yohanes - Aprilia Z, Femi

Detail Cantuman Cite

Soal dan Pembahasan IPA

Soal dan Pembahasan IPA

Surya, Yohanes - Aprilia Z, Femi - Ardiyanto, Arfan

Detail Cantuman Cite

Pengantar Basis Data

Pengantar Basis Data

Putu Hendra Suputra - Gede Rasben Dantes - Komang Setemen - NI Wayan Marti - I Ketut Resika Arthana - Kadek Surya Mahedi

Detail Cantuman Cite

Pengantar Teknologi Informasi

Pengantar Teknologi Informasi

Fauzi, Akhmad

Detail Cantuman Cite

Pengenalan Komputer : dasar ilmu komputer,pemrograman,sistem informasi dan intelegensi buatan

Pengenalan Komputer : dasar ilmu komputer,pemrograman,sistem informasi dan intelegensi buatan

Hartono, Jogiyanto

Detail Cantuman Cite

Basis Data

Fathansyah

Detail Cantuman Cite

Membuat Database dengan Microsoft Access : Studi Kasus: Sistem Informasi Kepegawaian

Membuat Database dengan Microsoft Access : Studi Kasus: Sistem Informasi Kepegawaian

Heryanto, Imam

Detail Cantuman Cite

Pemrograman Database dengan Python dan MySQL : Langkah-Langkah Praktis membuat Aplikasi Database Menggunakan Python dan MySQL

Pemrograman Database dengan Python dan MySQL : Langkah-Langkah Praktis membuat Aplikasi Database Menggunakan Python dan MySQL

Enterprise, Jubilee

Detail Cantuman Cite

Pengenalan Komputer : Dasar Ilmu Komputer, Pemrograman, Sistem Informasi dan Intelegensi Buatan

Pengenalan Komputer : Dasar Ilmu Komputer, Pemrograman, Sistem Informasi dan Intelegensi Buatan

Hartono, Jogiyanto

Detail Cantuman Cite

Organisasi komputer terstruktur , Jilid1

Tanenbaum, Andrew S.

Detail Cantuman Cite

Turing dan komputer

Turing dan komputer

Strathern, Paul

Detail Cantuman Cite

Analisis dan Perancangan Sistem, Jilid 2

Kendall, Kenneth E. - Kendall, JulieE.

Detail Cantuman Cite

Teknik Pengodean Sistem Komunikasi Dijital

Teknik Pengodean Sistem Komunikasi Dijital

Wibisono, Gunawan - Sari, Lydia

Detail Cantuman Cite

Komunikasi dan Teknologi Informasi Pendidikan : Filosofi, Konsep dan Aplikasi

Mukarom, Zaenal - Rusdiana, H.A

Detail Cantuman Cite

Lebih Mudah Mengelola Database dengan Macro Excel

Lebih Mudah Mengelola Database dengan Macro Excel

Detail Cantuman Cite

Information Technology Control and Audit

Information Technology Control and Audit

Otero, Angel R.

Detail Cantuman Cite

Pengenalan Komputer

Pengenalan Komputer

I Kadek Suartama - Ketut Pudjawan - i Gede Wawan Sudhata

Detail Cantuman Cite

Basis Data dengan PostgreSQL

Basis Data dengan PostgreSQL

Dewi Kusumawati

Detail Cantuman Cite

Database Systems All in One : Theory, Practice, and Case Study

Database Systems All in One : Theory, Practice, and Case Study

Indrajani

Detail Cantuman Cite

Valuasi Bisnis Teknologi Informasi : Valuasi Bisnis TI dalam Organisasi Perusahaan yang Berbasis Teknologi Informasi, seperti: Industri Telekomunikasi, Perbankan, dan Lain-lain

Valuasi Bisnis Teknologi Informasi : Valuasi Bisnis TI dalam Organisasi Perusahaan yang Berbasis Teknologi Informasi, seperti: Industri Telekomunikasi, Perbankan, dan Lain-lain

Lukman Abdurrahman

Detail Cantuman Cite

Pengantar Teknologi Informasi

Pengantar Teknologi Informasi

T. Sutojo - Pulung Nurtantio Andono - Edi Noersasongko

Detail Cantuman Cite

Teknologi Informasi : Ragam Masalah dan Solusinya

Teknologi Informasi : Ragam Masalah dan Solusinya

Muhamad Jafar Elly

Detail Cantuman Cite

Bunga Rampai : Informetrika 2019

Bunga Rampai : Informetrika 2019

Dwininda Kusumawardhani - Eko Noprianto - Leila Karunia - Nurul Fikriati Ayu Hapsari - Esti Putri Anugrah - Santana Sembiring - Ario Adi Prakoso - Ignatius Trisna Setiadi - Rom Ubaidillah Muhammad - Deby Claudia Masyithah - Zahira Hanifa - Khairunissa - Y. Rudi Kriswanto - Indah Rachma Cahyani - Ella Erliyana - I Ketut Gunadi Adi Guna - Ahdie Anwary - Aulia Rahma Ritonga - Catharina Labore Tatiek Ariyani - Dwi Wahyu Rozanti

Detail Cantuman Cite

Fundamentals of Database Systems

Fundamentals of Database Systems

Elmasri, Ramez - Navathe, Shamkant B.

Detail Cantuman Cite

Fenomenologi : Dalam Penelitian Ilmu Sosial

Fenomenologi : Dalam Penelitian Ilmu Sosial

Muhammad Farid - Moh. Adib

Detail Cantuman Cite

Bundel Jurnal Engineering and Technological Sciences: Supplay and Demand Analysis of Water Resources Based on System Dynamicsm Model/ Liquefaction Pontential Analysis along Coastal Area of Bengkulu Province due to the 2007 Mw 8.6 Bengkulu Earthquake/ Disinfactiono Perfomance Against Salmonella Typhi in Water by Radio Frequency Inductive Couple Plasma System/ Determination of Gas Preassure Distribution in a Pipeline Network Using the Broyden Method/ Corrosion Behavior of Mild Steel in Seawater From Northern Coast ao Java and Southhen Coast of Bali, Indonesia/ The Effect of Element Types on Force Analogy Method Analysis/ Finite Element Analysis of Bus Rollover Test in Accordance With UN ECE R66 Standard/ Household Water Supply Strategies in Urban Bandung, Indonesia: Finding and Implications For Future Water Access Resporting/ Modeling of Reservoir Structure by Using Magnetotelluric Method in the Area of Mt. Argopuro, East Java, Indonesia

liguo Huang, Li Yin - Lindung Zalbuin Mase - Reni Desmiarti, Ariadi Hazmi, Fusheng Li - Kuntjoro Adji Sidarta, Adhe Kania, Leksono Mucharam, Darmadi, R. Arman Widhymarmanto - Sundjono, Gadang Priyotomo, Lutviasari Nuraini, Siska Prifiharni - Iraj Toloue, Mohd Shahir Liew, Indra Sati Hamonangan Harahap - Satrio Wicaksono, M. Rizka Faisal Rahman, Sandro Mihradi, Indra Nurhadi

Detail Cantuman Cite

Practical Database Programming with Java

Practical Database Programming with Java

Bai, Ying

Detail Cantuman Cite

Pemrograman Basis Data di MATLAB dengan MySQL dan Microsoft Access

Pemrograman Basis Data di MATLAB dengan MySQL dan Microsoft Access

Handayanto, Rahmadya Trias - Herlawati

Detail Cantuman Cite

Mengolah Database Microsoft Excel dengan PivotTable dan PivotChart

Mengolah Database Microsoft Excel dengan PivotTable dan PivotChart

Detail Cantuman Cite

Fundamental SQL Database ORACLE 12c

Fundamental SQL Database ORACLE 12c

Hengki - Santoso, Halim Budi - Ernawati, Lussy

Detail Cantuman Cite

Pengantar Teknologi Informasi

Pengantar Teknologi Informasi

Kadir, Abdul - Triwahyuni, Terra CH.

Detail Cantuman Cite

Politik Era Digital

Politik Era Digital

Hiplunudin, Agus

Detail Cantuman Cite

Shortcourse SQL Server 2012

Shortcourse SQL Server 2012

Detail Cantuman Cite

Sistem Digital

Hidayat

Detail Cantuman Cite

Analisis dan Desain Berorientasi Objek

Analisis dan Desain Berorientasi Objek

sutopo, Ariesto Hadi

Detail Cantuman Cite

Ensiklopedia Percobaan Sains, Jilid 8 : Adat, Seni, dan Hiburan

Ensiklopedia Percobaan Sains, Jilid 8 : Adat, Seni, dan Hiburan

Detail Cantuman Cite

Ensiklopedia Percobaan Sains, Jilid 7 : Sains dan Teknologi

Ensiklopedia Percobaan Sains, Jilid 7 : Sains dan Teknologi

Detail Cantuman Cite

Halaman Pertama Sebelumnya 6 7 8 9 10 Berikutnya Halaman Akhir

Hasil Pencarian

Ditemukan 846 dari pencarian Anda melalui kata kunci: Subject : "Science"

Saat ini anda berada pada halaman 6 dari total 17 halaman

Permintaan membutuhkan 0.52371 detik untuk selesai

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog

Advanced Search

Judul

Pengarang

Subyek

ISBN/ISSN

Tipe Koleksi

Lokasi

GMD