Filter by
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
Kumpulan buku akses terbuka Catatan Kuliah Ilmu Komputer (LNCS, Lecture Notes in Computer Science) -14933 + 14934 merupakan prosiding yang diseleksi dari Simposium Internasional ke-26 tentang Metode Formal, FM 2024, yang berlangsung di Milan, Italia, pada bulan September 2024. 51 makalah lengkap dan 4 makalah pendek yang disertakan dalam prosiding ini ditinjau dan dipilih secara saksama dari 21…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-71162-6
- Collation
- 1 online resource ( XXII, 680 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.21 PLA f
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
Kumpulan buku akses terbuka LNCS 14933 + 14934 merupakan prosiding yang diseleksi dari Simposium Internasional ke-26 tentang Metode Formal, FM 2024, yang berlangsung di Milan, Italia, pada bulan September 2024. 51 makalah lengkap dan 4 makalah pendek yang disertakan dalam prosiding ini ditinjau dan dipilih secara saksama dari 219 kiriman. Prosiding ini juga mencakup 2 ceramah undangan dengan pa…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-71177-0
- Collation
- 1 online resource ( XXII, 652 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.21 PLA f
Programming for Computations - MATLAB/Octave; A Gentle Introduction to Numeri…
Buku ini menyajikan pemrograman komputer sebagai metode kunci untuk menyelesaikan masalah matematis. Ada dua versi buku ini, satu untuk MATLAB dan satu untuk Python. Buku ini terinspirasi oleh buku Springer TCSE 6: A Primer on Scientific Programming with Python (oleh Langtangen), tetapi gaya penulisannya lebih mudah diakses dan ringkas, sesuai dengan kebutuhan mahasiswa teknik. Buku ini menggam…
- Edition
- -
- ISBN/ISSN
- 978-3-319-32452-4
- Collation
- online resource ( XVI, 216 Pages)
- Series Title
- Teks dalam Ilmu Pengetahuan dan Teknik Komputasi (TCSE)
- Call Number
- 518.6 LIN p
Visualization of Time-Oriented Data
Waktu adalah dimensi luar biasa yang sangat relevan dalam kedokteran, teknik, bisnis, sains, biografi, sejarah, perencanaan, atau manajemen proyek. Memahami data yang berorientasi waktu melalui representasi visual memungkinkan kita untuk belajar dari masa lalu guna memprediksi, merencanakan, dan membangun masa depan. Edisi kedua ini dibangun atas kesuksesan besar dari edisi pertama. Ini mempert…
- Edition
- -
- ISBN/ISSN
- 978-1-4471-7527-8
- Collation
- online resource ( XIX, 441 Pages)
- Series Title
- Seri Interaksi Manusia-Komputer (HCIS)
- Call Number
- 006.6 AIG v
Building Better Interfaces for Remote Autonomous Systems
SpringerBrief 'Open Access' ini menyediakan pengetahuan dasar untuk merancang sistem otonom dan asinkron serta menjelaskan aspek-aspek pengguna yang relevan dengan perancangan sistem ini, memperkenalkan prinsip-prinsip desain berpusat pada pengguna, dan mempersiapkan pembaca untuk bacaan yang lebih maju dan spesifik. Ini memberikan konteks dan implikasi untuk pilihan desain yang dibuat selama p…
- Edition
- -
- ISBN/ISSN
- 978-3-030-47775-2
- Collation
- online resource ( XII, 127 Pages)
- Series Title
- Seri Interaksi Manusia-Komputer (HCIS)
- Call Number
- 004.019 OURb b
Interdisciplinary Insights for Digital Touch Communication
Komunikasi semakin bergerak melampaui 'cara melihat' ke 'cara merasakan'. Buku Akses Terbuka ini memberikan wawasan dan implikasi desain sosial untuk penelitian dan desain HCI yang mengeksplorasi komunikasi sentuh yang dimediasi secara digital. Buku ini menawarkan peta berorientasi sosial untuk membantu menavigasi lanskap sosial yang kompleks dari sentuhan yang dimediasi secara digital untuk k…
- Edition
- -
- ISBN/ISSN
- 978-3-030-24564-1
- Collation
- online resource ( XVII, 131 Pages)
- Series Title
- Seri Interaksi Manusia-Komputer (HCIS)
- Call Number
- 004.019 PRI i
Handbook of Digital Face Manipulation and Detection; From DeepFakes to Morphi…
Buku akses terbuka ini menyediakan koleksi komprehensif pertama tentang studi yang berkaitan dengan topik hangat manipulasi wajah digital seperti DeepFakes, Face Morphing, atau Reenactment. Buku ini menggabungkan bidang penelitian biometrik dan forensik media, termasuk kontribusi dari akademisi dan industri. Menarik bagi pembaca yang luas, bab pengantar memberikan gambaran komprehensif tentang …
- Edition
- -
- ISBN/ISSN
- 978-3-030-87664-7
- Collation
- online resource ( IX, 487 Pages)
- Series Title
- Kemajuan dalam Visi Komputer dan Pengenalan Pola (ACVPR)
- Call Number
- 006.42 RAT d
Intelligent Secure Trustable Things
Buku akses terbuka ini memberikan gambaran umum tentang hasil proyek InSecTT. Kecerdasan Buatan untuk Segala Hal (AIoT) merupakan evolusi alami untuk Kecerdasan Buatan (AI) dan Internet untuk Segala Hal (IoT) karena keduanya saling menguntungkan. AI meningkatkan nilai IoT melalui pembelajaran mesin dengan mengubah data menjadi informasi yang berguna, sementara IoT meningkatkan nilai AI melalui …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-54049-3
- Collation
- 1 online resource ( Pages)
- Series Title
- Studies in Computational Intelligence
- Call Number
- 004.65 KAR i
3D Research Challenges in Cultural Heritage V: Paradata, Metadata and Data in…
Buku akses terbuka ini menyajikan kumpulan makalah yang berfokus pada digitalisasi 3D dalam ranah warisan budaya. Penggunaan teknologi akuisisi data dalam digitalisasi warisan budaya memiliki potensi besar untuk melestarikan dan menyebarluaskan sejarah umat manusia. Namun, untuk memanfaatkan peluang ini secara penuh, diperlukan pedoman yang komprehensif untuk mendokumentasikan proses digitalisa…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-78590-0
- Collation
- X, 198
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.6 LOA r
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intellig…
Buku ini merupakan hasil dari Konferensi Internasional ke-16 tentang Informatika di Sekolah: Situasi, Evolusi, dan Perspektif, ISSEP 2023, yang diadakan di Lausanne, Swiss, selama 23–25 Oktober 2023. Ke-14 makalah lengkap yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 47 kiriman. Makalah-makalah tersebut disusun dalam empat bagian topik yang diberi nama: kecerdasan bua…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-44900-0
- Collation
- 1 online resource (XX, 194 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 371.334 PEL i
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography