Filter by
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- XV, 756
- Series Title
- -
- Call Number
- -
Model and Mathematics: From the 19th to the 21st Century
This open access book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-030-97833-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Smittestopp − A Case Study on Digital Contact Tracing
This open access book describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05466-2
- Collation
- -
- Series Title
- Simula SpringerBriefs on Computing
- Call Number
- XI, 141
Framing Global Mathematics
This open access book is about the shaping of international relations in mathematics over the last two hundred years. It focusses on institutions and organizations that were created to frame the international dimension of mathematical research. Today, striking evidence of globalized mathematics is provided by countless international meetings and the worldwide repository ArXiv. The text follows …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-95683-7
- Collation
- -
- Series Title
- -
- Call Number
- CCCLXXXIV, 20
How to Build a Modern Tontine
This open access book introduces the modern tontine and its applications in retirement and decumulation. Personal financial management in the later stages of life presents unique challenges, and renowned retirement planning expert Dr. Milevsky proposes the modern tontine as a solution. With the goal of guiding professionals and retirees in more efficient decumulation, the book demonstrates how …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-00928-0
- Collation
- -
- Series Title
- Future of Business and Finance
- Call Number
- XXI, 156
Women in STEM in Higher Education
This open access book addresses challenges related to women in STEM in higher education, presenting research, experiences, studies, and good practices associated with the engagement, access, and retention of women in the STEM disciplines. It also discusses strategies implemented by universities and policymakers to reduce the existing gender gap in these areas. The chapters provide an overview o…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-1554-3
- Collation
- -
- Series Title
- Lecture Notes in Educational Technology
- Call Number
- XIV, 197
Special Topics in Mathematics for Computer Scientists: Sets, Categories, Top…
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Using motivations, rigorous definitions, proofs and various examples, the author systematically int…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22750-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Framing Global Mathematics
This open access book is about the shaping of international relations in mathematics over the last two hundred years. It focusses on institutions and organizations that were created to frame the international dimension of mathematical research. Today, striking evidence of globalized mathematics is provided by countless international meetings and the worldwide repository ArXiv. The text follows …
- Edition
- -
- ISBN/ISSN
- 978-3-030-95683-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Understanding the Analytic Hierarchy Process
The aim of this book is to provide the reader with a critical guide to AHP. In this book, the AHP method is considered primarily as a mathematical technique supporting the decision-making process. This method provides a convenient and versatile framework for modelling multi-criteria decision problems, evaluating alternatives and deriving final priorities. Rather than imposing a correct decision…
- Edition
- -
- ISBN/ISSN
- 9781315392226
- Collation
- -
- Series Title
- -
- Call Number
- -
Gauge Theories in Particle Physics: A Practical Introduction, Fourth Edition …
The fourth edition of this well-established, highly regarded two-volume set continues to provide a fundamental introduction to advanced particle physics while incorporating substantial new experimental results, especially in the areas of CP violation and neutrino oscillations. It offers an accessible and practical introduction to the three gauge theories included in the Standard Model of partic…
- Edition
- -
- ISBN/ISSN
- 9781315275253
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography