Filter by
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
Agile Processes in Software Engineering and Extreme Programming – Workshops…
This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands. XP is the premier agile software development conference combining research and practic…
- Edition
- -
- ISBN/ISSN
- 9783031485503
- Collation
- XV, 232
- Series Title
- 489
- Call Number
- -
Agile Processes in Software Engineering and Extreme Programming: 24th Interna…
This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get t…
- Edition
- -
- ISBN/ISSN
- 9783031339769
- Collation
- XII, 193
- Series Title
- 475
- Call Number
- -
Agile Processes in Software Engineering and Extreme Programming: 22nd Interna…
This open access book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and …
- Edition
- -
- ISBN/ISSN
- 9783030780982
- Collation
- X, 211
- Series Title
- 419
- Call Number
- -
Agile Processes in Software Engineering and Extreme Programming: 21st Interna…
This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research a…
- Edition
- -
- ISBN/ISSN
- 9783030493929
- Collation
- X, 251
- Series Title
- 383
- Call Number
- -
Agile Processes in Software Engineering and Extreme Programming: 20th Interna…
This open access book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present …
- Edition
- -
- ISBN/ISSN
- 9783030190347
- Collation
- XII, 261
- Series Title
- 355
- Call Number
- -
Attachment Ventilation Theory
This open access book systematically summarizes the current research progress of attachment ventilation, covering vertical wall attachment, column attachment, and adaptive attachment ventilation. Attachment ventilation is a high-performance ventilation mode that was first proposed by the author, Prof. Angui Li 20 years ago. Now it has been widely used in office spaces, subway stations, high-spe…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-9261-2
- Collation
- XXIII, 185
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography