Filter by
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
Intelligent Human Computer Interaction : 9th International Conference, IHCI 2…
Buku ini merupakan hasil dari prosiding Konferensi Internasional ke-9 tentang Interaksi Manusia dan Komputer yang Cerdas, IHCI 2017, yang diadakan di Evry, Prancis, pada bulan Desember 2017. Ke-15 makalah yang dipresentasikan bersama dengan tiga makalah undangan ditinjau dan dipilih secara saksama dari 25 makalah yang diajukan. Konferensi ini merupakan forum untuk presentasi kemajuan teknologi …
- Edition
- -
- ISBN/ISSN
- 978-3-319-72038-8
- Collation
- XVIII, 216 halaman
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 HOR i
Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Ita…
Buku ini merupakan hasil dari Lokakarya Internasional ke-5 tentang Interaksi Simbiotik, Simbiotik 2016, yang diadakan di Padua, Italia, pada bulan Oktober 2016. 12 makalah lengkap dan 3 makalah pendek yang disajikan dalam volume ini ditinjau dan dipilih secara saksama dari 23 kiriman. Gagasan sistem simbiosis yang diajukan dalam lokakarya ini memanfaatkan kemampuan komputer untuk secara implisi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-57753-1
- Collation
- XIV, 182
- Series Title
- -
- Call Number
- 004.6
Professional practice in child protection and the child's right to participate
Buku ini menjelaskan dan membahas bagaimana hak anak atas kebebasan berekspresi ditegakkan melalui praktik dan pengambilan keputusan dalam Layanan Perlindungan Anak (CPS). Dengan menggunakan hak berekspresi sebagaimana ditetapkan dalam Pasal 12.2 Konvensi Hak Anak Perserikatan Bangsa-Bangsa (CRC) sebagai titik tolak, buku ini menjelaskan seperti apa seharusnya praktik CPS dan bagaimana praktik …
- Edition
- -
- ISBN/ISSN
- 9781003150688
- Collation
- 1 online resource (130 Pages)
- Series Title
- -
- Call Number
- 362.7 ERI p
Vienna : still a just city?
Buku ini mengeksplorasi dan membahas transformasi perkotaan yang telah terjadi di Wina selama 30 tahun terakhir dan konsekuensinya dalam bidang kebijakan seperti ketenagakerjaan dan perumahan, partisipasi politik dan sosial, serta lingkungan. Secara historis, kota-kota Eropa telah dicirikan oleh hubungan yang kuat antara kohesi sosial, kualitas hidup, ambisi ekonomi, dan Negara yang tangguh. Wi…
- Edition
- -
- ISBN/ISSN
- 9781003133827
- Collation
- 1 online resource. (174 Pages)
- Series Title
- -
- Call Number
- 307.3 KAZ v
Food system transformations : social movements, local economies, collaborativ…
Buku ini mengkaji peran gerakan, perusahaan, dan jaringan pangan lokal dalam transformasi sistem pangan global yang saat ini tidak berkelanjutan. Buku ini mengeksplorasi serangkaian inovasi yang dirancang untuk mengintegrasikan kembali cara produksi pangan yang berkelanjutan dan mendorong kedaulatan pangan. Buku ini memberikan wawasan terperinci tentang jaringan khusus pelaku sosial yang berkol…
- Edition
- -
- ISBN/ISSN
- 9781003131304
- Collation
- 1 online resource (234 Pages)
- Series Title
- -
- Call Number
- 338.1 KRO f
Targeting in international law : counterinsurgency and the legal materiality …
Buku ini membahas tentang bagaimana pembedaan dibuat antara warga sipil dan kombatan dalam peperangan modern dan bagaimana prinsip hukum pembedaan bergantung pada sarana teknis yang digunakan kombatan untuk membuat diri mereka tampak berbeda dari warga sipil. Penulis menunjukkan bahwa teknologi visualisasi selalu menjadi bagian dari penerapan prinsip pembedaan, dengan menyatakan bahwa seragam m…
- Edition
- -
- ISBN/ISSN
- 9781003121947
- Collation
- 1 online resource. (184 Pages)
- Series Title
- -
- Call Number
- 341.67 PAR t
Future of sustainable agriculture in saline environments
Produksi pangan di tanah salin saat ini dan masa depan patut mendapat perhatian dunia, khususnya karena ketahanan pangan merupakan isu yang mendesak, jutaan hektar tanah terdegradasi tersedia di seluruh dunia, air tawar semakin langka, dan kenaikan permukaan laut global mengancam produksi pangan di dataran rendah pesisir yang subur. Future of Sustainable Agriculture in Saline Environments bertu…
- Edition
- -
- ISBN/ISSN
- 9781003112327
- Collation
- 1 online resource (541 Pages)
- Series Title
- -
- Call Number
- 338.19 NEG f
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography