Ditapis dengan
Automated reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…
- Edisi
- -
- ISBN/ISSN
- 9783031107696
- Deskripsi Fisik
- xv; 756 PG; ill.
- Judul Seri
- -
- No. Panggil
- 006.3 AUT a
Intelligent and efficient transport systems :design, modelling, control and s…
The aim of this book is to present a number of digital and technology solutions to real-world problems across transportation sectors and infrastructures. Nine chapters have been well prepared and organized with the core topics as follows: -A guideline to evaluate the energy efficiency of a vehicle -A guideline to design and evaluate an electric propulsion system -Potential opportunities for int…
- Edisi
- -
- ISBN/ISSN
- 9781838805111
- Deskripsi Fisik
- xiv; 214 pg; ill.
- Judul Seri
- -
- No. Panggil
- 711.7 INT i
Remote sensing in applications of geoinformation
Remote sensing, especially from satellites, is a source of invaluable data which can be used to generate synoptic information for virtually all parts of the Earth, including the atmosphere, land, and ocean. In the last few decades, such data have evolved as a basis for accurate information about the Earth, leading to a wealth of geoscientific analysis focusing on diverse applications. Geoinform…
- Edisi
- -
- ISBN/ISSN
- 9783036523262
- Deskripsi Fisik
- vii, 164p.; ill.
- Judul Seri
- -
- No. Panggil
- 609 MIC
Data science-based full-lifespan management of lithium-Ion battery
This open access book comprehensively consolidates studies in the rapidly emerging field of battery management. The primary focus is to overview the new and emerging data science technologies for full-lifespan management of Li-ion batteries, which are categorized into three groups, namely (i) battery manufacturing management, (ii) battery operation management, and (iii) battery reutilization ma…
- Edisi
- -
- ISBN/ISSN
- 9783031013409
- Deskripsi Fisik
- xxiii; 258 PG; ill.
- Judul Seri
- -
- No. Panggil
- 621.312424 DAT d
Pengembangan obat biologi:bioteknologi, biosimilar, dan reverse engineering
Obat-obatan merupakan salah satu aspek penting bagi masyarakat dalam pembangunan kesehatan. Namun, tidak semua masyarakat mumpuni untuk mencukupi kebutuhan tersebut karena tidak jarang harga yang dipasarkan tidak terjangkau. Masalah tersebut akan dapat dipecahkan apabila obat yang dibutuhkan tersedia dengan harga yang terjangkau oleh mereka yang membutuhkannya. Bioteknologi, Biosimilar, dan Rev…
- Edisi
- -
- ISBN/ISSN
- 9786024962661
- Deskripsi Fisik
- -
- Judul Seri
- -
- No. Panggil
- LEN 660.6 SANp
Pengembangan obat biologi:bioteknologi, biosimilar, dan reverse engineering
Obat-obatan merupakan salah satu aspek penting bagi masyarakat dalam pembangunan kesehatan. Namun, tidak semua masyarakat mumpuni untuk mencukupi kebutuhan tersebut karena tidak jarang harga yang dipasarkan tidak terjangkau. Masalah tersebut akan dapat dipecahkan apabila obat yang dibutuhkan tersedia dengan harga yang terjangkau oleh mereka yang membutuhkannya. Bioteknologi, Biosimilar, dan Rev…
- Edisi
- -
- ISBN/ISSN
- 9786024962661
- Deskripsi Fisik
- -
- Judul Seri
- -
- No. Panggil
- LEN 660.6 SANp
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah