Filter by
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
- Edition
- 1
- ISBN/ISSN
- 9783031131851
- Collation
- XIX, 555
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 31st European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issue…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99336-8
- Collation
- XIV, 604
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
- Edition
- 1
- ISBN/ISSN
- 9783031131882
- Collation
- XIX, 549
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…
- Edition
- 1
- ISBN/ISSN
- 9783319961453
- Collation
- XIX, 703
- Series Title
- -
- Call Number
- -
Evidence Based Global Health Manual for Preterm Birth Risk Assessment
This is an open access book. In this open access book the NIHR Global Health research group on preterm birth, PRIME, prioritizes the development of prenatal risk assessment guidance for preterm birth. This book is based on global literature, published international, national and regional guidance and it is structured into six chapters providing: an overview of the domains for risk ass…
- Edition
- -
- ISBN/ISSN
- 978-3-031-04462-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Obstructions in Security-Aware Business Processes
This Open Access book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of …
- Edition
- -
- ISBN/ISSN
- 978-3-658-38154-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Sterile Insect Technique : Principles And Practice In Area-Wide Integrated Pe…
The sterile insect technique (SIT) is an environment-friendly method of pest control that integrates well into area-wide integrated pest management (AW-IPM) programmes. This book takes a generic, thematic, comprehensive, and global approach in describing the principles and practice of the SIT. The strengths and weaknesses, and successes and failures, of the SIT are evaluated openly and fairly f…
- Edition
- -
- ISBN/ISSN
- 9781003035572
- Collation
- -
- Series Title
- -
- Call Number
- -
Women and Reproductive Technologies : The Socio-Economic Development of Techn…
A sociological and historical study of the development of reproductive technologies, this book focuses on key technological developments through a biomedicalization lens with special attention to gender. Using in vitro fertilization (IVF) as a hub, it critically examines the main areas of related socio-technical developments: reproductive science, birth control, animal husbandry, genetics and r…
- Edition
- -
- ISBN/ISSN
- 9780429467646
- Collation
- -
- Series Title
- -
- Call Number
- -
Area-wide Integrated Pest Management : Development and Field Application
Over 98% of sprayed insecticides and 95% of herbicides reach a destination other than their target species, including non-target species, air, water and soil. The extensive reliance on insecticide use reduces biodiversity, contributes to pollinator decline, destroys habitat, and threatens endangered species. This book offers a more effective application of the Integrated Pest Management (IPM) a…
- Edition
- -
- ISBN/ISSN
- 9781003169239
- Collation
- -
- Series Title
- -
- Call Number
- -
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography