Filter by
Equity, Diversity, and Inclusion in Software Engineering: Best Practices and …
Creating an inclusive environment where different software developers can feel welcome and leverage their talents is an ethical imperative no company can ignore. Indeed, software organizations have in the last decade been trying to make changes for a more diverse and inclusive software development environment. The push for increased diversity in software has been a public one, from annual diver…
- Edition
- -
- ISBN/ISSN
- 9781484296516
- Collation
- XX, 539
- Series Title
- -
- Call Number
- -
Interaction Modeling in Mechanized Tunneling
This open access book compiles the research results of the Collaborative Research Center SFB 837, which has been running since 2010 and will end in 2022, with the topic "Interaction Modeling in Mechanized Tunneling". The Collaborative Research Center is funded by the German Research Foundation (DFG) and is currently the world's largest research facility in the field of tunneling. The aim of the…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-24065-2
- Collation
- XIX, 463
- 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
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
AI in Drug Discovery: First International Workshop, AIDD 2024, Held in Conjun…
Buku Akses terbuka ini merupakan prosiding yang diseleksi dari Lokakarya Internasional Pertama tentang AI dalam Penemuan Obat, AIDD (Artificial Intelligence for Drug 2024, yang diadakan sebagai bagian dari Konferensi Internasional ke-33 tentang Jaringan Syaraf Tiruan, (ICANN, International Conference on Artificial Neural Networks) 2024, di Lugano, Swiss, pada tanggal 19 September 2024. Ke-12 ma…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-72381-0
- Collation
- 1 online resource ( XXXVIII, 176 Pages)
- Series Title
- -
- Call Number
- 615.19 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
Central Bank Policy Mix: Issues, Challenges, and Policy Responses
Central banks’ mandates cannot merely be to achieve price stability; they should be enlarged to include promoting financial system stability. To achieve this dual mandate, central banks are advised to formulate and implement a policy mix of interest rate policy, combined with exchange rate policy, capital flow management as well as macro prudential policy. This policy mix should be furthe…
- Edition
- -
- ISBN/ISSN
- 9789811668272
- Collation
- -
- Series Title
- -
- Call Number
- XIX, 280
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography