Filter by
Droplet Dynamics Under Extreme Ambient Conditions
Buku akses terbuka ini menyajikan hasil utama dari Collaborative Research Center SFB-TRR 75, yang mencakup periode dari tahun 2010 hingga 2022. Para ilmuwan dari berbagai disiplin ilmu, mulai dari termodinamika, mekanika fluida, dan teknik listrik hingga kimia, matematika, ilmu komputer, dan visualisasi, bekerja sama untuk mencapai tujuan utama SFB-TRR 75, yaitu memperoleh pemahaman fisik yang …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-09008-0
- Collation
- 1 online resource ( VIII, 372 Pages)
- Series Title
- Mekanika Fluida dan Aplikasinya
- Call Number
- 532.6 SCH d
Quaternion Algebras
Buku teks akses terbuka ini menyajikan pembahasan komprehensif tentang teori aritmatika aljabar dan ordo kuaternion, subjek dengan aplikasi di berbagai bidang matematika. Ditulis agar mudah diakses dan dipahami oleh pembaca mahasiswa pascasarjana, teks ini mengumpulkan dan mensintesiskan hasil dari seluruh literatur. Banyak jalur menawarkan eksplorasi dalam berbagai arah yang berbeda, sementara…
- Edition
- -
- ISBN/ISSN
- 978-3-030-56694-4
- Collation
- 1 online resource ( Pages)
- Series Title
- Teks Pascasarjana dalam Matematika
- Call Number
- 512.25 VOI q
Measure, Integration & Real Analysis
Buku teks akses terbuka ini mengajak siswa untuk mempelajari teori dasar pengukuran, integrasi, dan analisis riil. Berfokus pada pendekatan yang mudah diakses, Axler meletakkan dasar untuk studi lebih lanjut dengan mempromosikan pemahaman mendalam tentang hasil-hasil utama. Konten dikurasi dengan cermat agar sesuai dengan satu mata kuliah, atau rangkaian mata kuliah dua semester, yang menciptak…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-33143-6
- Collation
- 1 online resource ( XVIII, 411 Pages)
- Series Title
- Teks Pascasarjana dalam Matematika
- Call Number
- 515.42 AXL m
Forest Radioecology in Fukushima
This Fact Sheet will provide general information helpful to understand the Fukushima accident and forest through 15 Q&As.
- Edition
- -
- ISBN/ISSN
- 9789811694042
- Collation
- XXIV, 160
- Series Title
- -
- Call Number
- -
Bridging the Gap Between AI and Reality: First International Conference, AISo…
Buku akses terbuka ini merupakan makalah terpilih yang telah direvisi dari Konferensi Internasional Pertama tentang Menjembatani Kesenjangan antara AI dan Realitas, Penyelarasan Sosial-Hukum Kecerdasan Buatan (AISoLA, Artificial Intelligence Socio-Legal Alignment) 2023, yang berlangsung di Kreta, Yunani, pada bulan Oktober 2023. Makalah-makalah yang disertakan dalam buku ini berfokus pada topi…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-73741-1
- Collation
- 1 online resource ( XI, 472 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 340.028563 CLE a
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
Set 3 volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
- Edition
- 1
- ISBN/ISSN
- 978-3-031-65630-9
- Collation
- 1 online resource ( XXV, 430 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 GUR c
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
- Edition
- 1
- ISBN/ISSN
- 9783031656330
- Collation
- 1 online resource ( XXV, 582 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 GUR g
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
Set 3 volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
- Edition
- 1
- ISBN/ISSN
- 978-3-031-65627-9
- Collation
- 1 online resource ( XXXIII, 498 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 GUR g
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, …
Prosiding akses terbuka Lecture Notes in Computer Science 13964, 13965, 13966 merupakan prosiding yang diseleksi dari Konferensi Internasional ke-35 tentang Verifikasi Berbantuan Komputer, CAV 2023, yang diadakan di Paris, Prancis, pada bulan Juli 2023. Sebanyak 67 makalah lengkap yang disajikan dalam prosiding ini ditinjau dengan saksama dan dipilih dari 261 kiriman. Prosiding ini telah disusu…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-37706-8
- Collation
- 1 online resource (XXI, 488 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 ENE c
Haptics: Science, Technology, Applications; 13th International Conference on …
Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-13 tentang Penginderaan Haptik Manusia dan Aplikasi Komputer Berbasis Sentuhan, EuroHaptics 2022, yang diadakan di Hamburg, Jerman, pada bulan Mei 2022. 36 makalah reguler yang disertakan dalam buku ini ditinjau dan dipilih dengan saksama dari 129 kiriman. Makalah-makalah tersebut disusun dalam beberapa bagian topik sebagai…
- Edition
- -
- ISBN/ISSN
- 978-3-031-06249-0
- Collation
- 13235
- Series Title
- -
- Call Number
- 004.6 SEI h
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography