Verlag Springer Nature Switzerland AG

Cover for Victoria R. Nalule · Mining and the Law in Africa: Exploring the social and environmental impacts (Taschenbuch) [2020 edition] (2020)

Mining and the Law in Africa: Ex... (2020)

Victoria R. Nalule

Cover for Deborah Munro · DIY MEMS: Fabricating Microelectromechanical Systems in Open Use Labs (Taschenbuch) [2019 edition] (2020)

DIY MEMS: Fabricating Microelect... (2020)

Cover for Maria Ravlik · The Fight against Human Trafficking: Drivers and Spoilers (Taschenbuch) [2020 edition] (2020)

The Fight against Human Traffick... (2020)

Cover for Nonlinear Water Waves: An Interdisciplinary Interface - Tutorials, Schools, and Workshops in the Mathematical Sciences (Taschenbuch) [2019 edition] (2020)

Nonlinear Water Waves: An Interd... (2020)

Cover for Giovanna Pegan · International Marketing Strategy: The Country of Origin Effect on Decision-Making in Practice - International Series in Advanced Management Studies (Taschenbuch) [2020 edition] (2020)

International Marketing Strategy... (2020)

Cover for Alexander Krylatov · Optimization Models and Methods for Equilibrium Traffic Assignment - Springer Tracts on Transportation and Traffic (Taschenbuch) [2020 edition] (2020)

Optimization Models and Methods ... (2020)

Alexander Krylatov

Cover for Marek Gruszczynski · Financial Microeconometrics: A Research Methodology in Corporate Finance and Accounting (Taschenbuch) [2020 edition] (2020)

Financial Microeconometrics: A R... (2020)

Marek Gruszczynski

Cover for Mentoring Comparative Lawyers: Methods, Times, and Places: Liber Discipulorum Mauro Bussani - Ius Gentium: Comparative Perspectives on Law and Justice (Taschenbuch) [2020 edition] (2020)

Mentoring Comparative Lawyers: M... (2020)

Cover for Plasticity, Damage and Fracture in Advanced Materials - Advanced Structured Materials (Taschenbuch) [2020 edition] (2020)

Plasticity, Damage and Fracture ... (2020)

Cover for Proceedings of the 23rd Asia Pacific Symposium on Intelligent and Evolutionary Systems - Proceedings in Adaptation, Learning and Optimization (Taschenbuch) [2020 edition] (2020)

Proceedings of the 23rd Asia Pac... (2020)

Cover for Franz Brentano and Austrian Philosophy - Vienna Circle Institute Yearbook (Gebundenes Buch) [1st ed. 2020 edition] (2020)

Gebundenes Buch

1st ed. 2020 edition

Franz Brentano and Austrian Phil... (2020)

Cover for Jews, Liberalism, Antisemitism: A Global History - Palgrave Critical Studies of Antisemitism and Racism (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Jews, Liberalism, Antisemitism: ... (2020)

Cover for Damian Findlay-Robert Reti · Oral Board Review for Oral and Maxillofacial Surgery (Taschenbuch) [2021 edition] (2020)

Oral Board Review for Oral and M... (2020)

Damian Findlay-Robert Reti

Cover for Ina Vandebroek · Popular Medicinal Plants in Portland and Kingston, Jamaica - Advances in Economic Botany (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Popular Medicinal Plants in Port... (2020)

Cover for Mathematical Modelling in Real Life Problems: Case Studies from ECMI-Modelling Weeks - Mathematics in Industry (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Mathematical Modelling in Real L... (2020)

Cover for Practical Gastrointestinal Pathology: Frequently Asked Questions - Practical Anatomic Pathology (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Practical Gastrointestinal Patho... (2020)

Cover for Animal Models for Endometriosis: Evolution, Utility and Clinical Relevance - Advances in Anatomy, Embryology and Cell Biology (Taschenbuch) [2020 edition] (2020)

Animal Models for Endometriosis:... (2020)

Cover for Tianjun Wang · Acupuncture for Brain: Treatment for Neurological and Psychologic Disorders (Gebundenes Buch) [1st ed. 2021 edition] (2020)

Gebundenes Buch

1st ed. 2021 edition

Acupuncture for Brain: Treatment... (2020)

Cover for The Politics of Spatial Transgressions in the Arts (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

The Politics of Spatial Transgre... (2020)

Cover for The Challenges of Refugees and Internally Displaced Persons in Africa (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

The Challenges of Refugees and I... (2020)

Cover for Substitution and Tiling Dynamics: Introduction to Self-inducing Structures: CIRM Jean-Morlet Chair, Fall 2017 - Lecture Notes in Mathematics (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Substitution and Tiling Dynamics... (2020)

Cover for Max F. Platzer · The Green Energy Ship Concept: Renewable Energy from Wind Over Water - SpringerBriefs in Applied Sciences and Technology (Taschenbuch) [1st ed. 2021 edition] (2020)

1st ed. 2021 edition

The Green Energy Ship Concept: R... (2020)

Cover for Arnold L. Rosenberg · Understand Mathematics, Understand Computing: Discrete Mathematics That All Computing Students Should Know (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Understand Mathematics, Understa... (2020)

Arnold L. Rosenberg

Cover for V. A. Kalyagin · Statistical Analysis of Graph Structures in Random Variable Networks - SpringerBriefs in Optimization (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Statistical Analysis of Graph St... (2020)

Cover for Modal View of Atmospheric Variability: Applications of Normal-Mode Function Decomposition in Weather and Climate Research - Mathematics of Planet Earth (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Modal View of Atmospheric Variab... (2020)

Cover for Procedural Safeguards for Suspects and Accused Persons in Criminal Proceedings: Good Practices Throughout the European Union - SpringerBriefs in Law (Taschenbuch) [1st ed. 2021 edition] (2020)

1st ed. 2021 edition

Procedural Safeguards for Suspec... (2020)

Cover for Ziv Gil · The Healthcare Efficiency Revolution: A Mid-Level Managers’ Manual for Professional Development (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

The Healthcare Efficiency Revolu... (2020)

Cover for Slobodan Petrovic · Electrochemistry Crash Course for Engineers (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Electrochemistry Crash Course fo... (2020)

Slobodan Petrovic

Cover for Kewal K. Jain · Textbook of Personalized Medicine (Gebundenes Buch) [Third Edition 2021 edition] (2020)

Gebundenes Buch

Third Edition 2021 edition

Textbook of Personalized Medicine (2020)

Cover for Pierre Bremaud · Point Process Calculus in Time and Space: An Introduction with Applications - Probability Theory and Stochastic Modelling (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Point Process Calculus in Time a... (2020)

Cover for Clemens Dachs · Viable Project Business: A Bionic Management System for Large Enterprises - Contributions to Management Science (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Viable Project Business: A Bioni... (2020)

Cover for Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Software Verification: 12th Inte... (2020)

Cover for Unimagined Futures – ICT Opportunities and Challenges - IFIP Advances in Information and Communication Technology (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Unimagined Futures – ICT Opportu... (2020)

Cover for Supercomputing: 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers - Communications in Computer and Information Science (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Supercomputing: 6th Russian Supe... (2020)

Cover for Shiho Moriai · Advances in Cryptology – ASIACRYPT 2020: 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7–11, 2020, Proceedings, Part I - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Advances in Cryptology – ASIACRY... (2020)

Cover for Web and Internet Economics: 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Web and Internet Economics: 16th... (2020)

Cover for Information Systems Security: 16th International Conference, ICISS 2020, Jammu, India, December 16–20, 2020, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Information Systems Security: 16... (2020)

Cover for Mobile Brain-Body Imaging and the Neuroscience of Art, Innovation and Creativity - Springer Series on Bio- and Neurosystems (Taschenbuch) [2019 edition] (2020)

Mobile Brain-Body Imaging and th... (2020)

Cover for Joel L. Schiff · The Mathematical Universe: From Pythagoras to Planck - Springer Praxis Books (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

The Mathematical Universe: From ... (2020)

Cover for Andrea R. Genazzani-Robert N. Taylor-Michelle Niso · Endometriosis Pathogenesis, Clinical Impact and Management: Volume 9: Frontiers in Gynecological Endocrinology - ISGE Series (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Endometriosis Pathogenesis, Clin... (2020)

Andrea R. Genazzani-Robert N. Ta...

Cover for Cryptology and Network Security: 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Cryptology and Network Security:... (2020)

Cover for Novel Thermoelectric Materials and Device Design Concepts (Taschenbuch) [2019 edition] (2020)

Novel Thermoelectric Materials a... (2020)

Cover for Research Methods in International Business - JIBS Special Collections (Taschenbuch) [2020 edition] (2020)

Research Methods in Internationa... (2020)

Cover for Atlas of Response to Immunotherapy (Taschenbuch) [2020 edition] (2020)

Atlas of Response to Immunotherapy (2020)

Cover for Bradley · Games and Simulations in Teacher Education - Advances in Game-Based Learning (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Games and Simulations in Teacher... (2020)

Cover for Antimicrobials in Livestock 1: Regulation, Science, Practice: A European Perspective (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Antimicrobials in Livestock 1: R... (2020)

Cover for The Economic Geography of Cross-Border Migration - Footprints of Regional Science (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

The Economic Geography of Cross-... (2020)

Cover for Microbiota and Biofertilizers: A Sustainable Continuum for Plant and Soil Health (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Microbiota and Biofertilizers: A... (2020)

Cover for Crime and Music (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Crime and Music (2020)

Cover for Barbara Thelamour-Hui Chu · Conceptual and Methodological Approaches to Navigating Immigrant Ecologies - Advances in Immigrant Family Research (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Conceptual and Methodological Ap... (2020)

Barbara Thelamour-Hui Chu

Cover for The Future of the Bamiyan Buddha Statues: Heritage Reconstruction in Theory and Practice (Gebundenes Buch) [1st ed. 2020 edition] (2020)

Gebundenes Buch

1st ed. 2020 edition

The Future of the Bamiyan Buddha... (2020)

Cover for Assessing Spirituality in a Diverse World (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Assessing Spirituality in a Dive... (2020)

Cover for Boris Galitsky · Artificial Intelligence for Customer Relationship Management: Keeping Customers Informed - Human–Computer Interaction Series (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Artificial Intelligence for Cust... (2020)

Cover for Internal Crowdsourcing in Companies: Theoretical Foundations and Practical Applications - Contributions to Management Science (Gebundenes Buch) [1st ed. 2021 edition] (2020)

Gebundenes Buch

1st ed. 2021 edition

Internal Crowdsourcing in Compan... (2020)

Cover for Fritz Hans Schweingruber · Atlas of Stem Anatomy of Arctic and Alpine Plants Around the Globe (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Atlas of Stem Anatomy of Arctic ... (2020)

Fritz Hans Schweingruber

Cover for The Palgrave Handbook of Anti-Communist Persecutions (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

The Palgrave Handbook of Anti-Co... (2020)

Cover for Difficult Decisions in Bariatric Surgery - Difficult Decisions in Surgery: An Evidence-Based Approach (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Difficult Decisions in Bariatric... (2020)

Cover for In the Tradition of Thurston: Geometry and Topology (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

In the Tradition of Thurston: Ge... (2020)

Cover for Policing in an Age of Reform: An Agenda for Research and Practice - Palgrave's Critical Policing Studies (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Policing in an Age of Reform: An... (2020)

Cover for David Oualaalou · The Dynamics of Russia’s Geopolitics: Remaking the Global Order - Frontiers in International Relations (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

The Dynamics of Russia’s Geopoli... (2020)

David Oualaalou

Cover for Agromining · Agromining: Farming for Metals: Extracting Unconventional Resources Using Plants - Mineral Resource Reviews (Gebundenes Buch) [Second Edition 2021 edition] (2020)

Gebundenes Buch

Second Edition 2021 edition

Agromining: Farming for Metals: ... (2020)

Cover for Intelligent and Complex Systems in Economics and Business - Advances in Intelligent Systems and Computing (Taschenbuch) [1st ed. 2021 edition] (2020)

1st ed. 2021 edition

Intelligent and Complex Systems ... (2020)

Cover for Jakub Flotynski · Knowledge-Based Explorable Extended Reality Environments (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Knowledge-Based Explorable Exten... (2020)

Jakub Flotynski

Cover for Wessel Reijers · Narrative and Technology Ethics (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Narrative and Technology Ethics (2020)

Cover for Giovanni Leonardi · Behavioural Ecology of Western Palearctic Falcons (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Behavioural Ecology of Western P... (2020)

Giovanni Leonardi

Cover for Colin Ray Anderson · Agroecology Now!: Transformations Towards More Just and Sustainable Food Systems (Gebundenes Buch) [1st ed. 2021 edition] (2020)

Gebundenes Buch

1st ed. 2021 edition

Agroecology Now!: Transformation... (2020)

Colin Ray Anderson

Cover for Maria Campo Comba · The Law Applicable to Cross-border Contracts involving Weaker Parties in EU Private International Law (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

The Law Applicable to Cross-bord... (2020)

Maria Campo Comba

Cover for Patrick Rerat · Cycling to Work: An Analysis of the Practice of Utility Cycling - SpringerBriefs in Applied Sciences and Technology (Taschenbuch) [1st ed. 2021 edition] (2020)

1st ed. 2021 edition

Cycling to Work: An Analysis of ... (2020)

Cover for Progress in Cryptology – INDOCRYPT 2020: 21st International Conference on Cryptology in India, Bangalore, India, December 13–16, 2020, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Progress in Cryptology – INDOCRY... (2020)

Cover for Advanced Techniques in Minimally Invasive and Robotic Colorectal Surgery (Taschenbuch) [Second Edition 2019 edition] (2020)

Second Edition 2019 edition

Advanced Techniques in Minimally... (2020)

Cover for Nathan Ida · Engineering Electromagnetics (Gebundenes Buch) [Fourth Edition 2021 edition] (2020)

Gebundenes Buch

Fourth Edition 2021 edition

Engineering Electromagnetics (2020)

Cover for Wenge Wang · Institutional Activism in Corporate Governance: Qualified Foreign Institutional Investors in China (Taschenbuch) [2019 edition] (2020)

Institutional Activism in Corpor... (2020)

Cover for Virtual Endoscopy and 3D Reconstruction in the Airways (Taschenbuch) [2019 edition] (2020)

Virtual Endoscopy and 3D Reconst... (2020)

Cover for Steven Hoeltzel · The Palgrave Fichte Handbook - Palgrave Handbooks in German Idealism (Taschenbuch) [2019 edition] (2020)

The Palgrave Fichte Handbook - P... (2020)

Steven Hoeltzel

Cover for Suprapontine Lesions and Neurogenic Pelvic Dysfunctions: Assessment, Treatment and Rehabilitation - Urodynamics, Neurourology and Pelvic Floor Dysfunctions (Taschenbuch) [2020 edition] (2020)

Suprapontine Lesions and Neuroge... (2020)

Cover for Richard Cronin · George Meredith: The Life and Writing of an Alteregoist (Taschenbuch) [2019 edition] (2020)

George Meredith: The Life and Wr... (2020)

Cover for Mandi Baker · Becoming and Being a Camp Counsellor: Discourse, Power Relations and Emotions - Leisure Studies in a Global Era (Taschenbuch) [2020 edition] (2020)

Becoming and Being a Camp Counse... (2020)

Cover for Jan Eichhorn-Johannes Bergh · Lowering the Voting Age to 16: Learning from Real Experiences Worldwide - Palgrave Studies in Young People and Politics (Taschenbuch) [2020 edition] (2020)

Lowering the Voting Age to 16: L... (2020)

Jan Eichhorn-Johannes Bergh

Cover for Gok?e Mete · Energy Transitions and the Future of Gas in the EU: Subsidise or Decarbonise - Energy, Climate and the Environment (Taschenbuch) [2020 edition] (2020)

Energy Transitions and the Futur... (2020)

Cover for Computational Methods for Inverse Problems in Imaging - Springer INdAM Series (Taschenbuch) [2019 edition] (2020)

Computational Methods for Invers... (2020)

Cover for Apollo M. Nkwake · Working with Assumptions in International Development Program Evaluation: With a Foreword by Michael Bamberger (Taschenbuch) [Second Edition 2020 edition] (2020)

Second Edition 2020 edition

Working with Assumptions in Inte... (2020)

Apollo M. Nkwake

Cover for Paola De Bernardi · Innovation in Food Ecosystems: Entrepreneurship for a Sustainable Future - Contributions to Management Science (Taschenbuch) [2020 edition] (2020)

Innovation in Food Ecosystems: E... (2020)

Paola De Bernardi

Cover for Jorg Schroder-Paulo De Mattos Pimenta · Novel Finite Element Technologies for Solids and Structures - CISM International Centre for Mechanical Sciences (Taschenbuch) [2020 edition] (2020)

Novel Finite Element Technologie... (2020)

Jorg Schroder-Paulo De Mattos Pi...

Cover for Abhay Shastry · Theory of Thermodynamic Measurements of Quantum Systems Far from Equilibrium - Springer Theses (Taschenbuch) [2019 edition] (2020)

Theory of Thermodynamic Measurem... (2020)

Cover for Rick Rodriguez · Immunity's Sovereignty and Eighteenth- and Nineteenth-Century American Literature - Pivotal Studies in the Global American Literary Imagination (Taschenbuch) [2019 edition] (2020)

Immunity's Sovereignty and Eight... (2020)

Cover for Thomas Afflerbach · Hybrid Virtual Teams in Shared Services Organizations: Practices to Overcome the Cooperation Problem - Progress in IS (Taschenbuch) [2020 edition] (2020)

Hybrid Virtual Teams in Shared S... (2020)

Thomas Afflerbach

Cover for Heterocycles as Chiral Auxiliaries in Asymmetric Synthesis - Topics in Heterocyclic Chemistry (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Heterocycles as Chiral Auxiliari... (2020)

Cover for Green Transportation and New Advances in Vehicle Routing Problems (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

Green Transportation and New Adv... (2020)

Cover for James A. O'Mahony-Paul L. H. Mcsweeney-Patrick F. · Advanced Dairy Chemistry, Volume 2: Lipids (Gebundenes Buch) [Fourth Edition 2020 edition] (2020)

Gebundenes Buch

Fourth Edition 2020 edition

Advanced Dairy Chemistry, Volume... (2020)

James A. O'Mahony-Paul L. H. Mcs...

Cover for Brian A. Baldo · Drug Allergy: Clinical Aspects, Diagnosis, Mechanisms, Structure-Activity Relationships (Gebundenes Buch) [Second Edition 2021 edition] (2020)

Gebundenes Buch

Second Edition 2021 edition

Drug Allergy: Clinical Aspects, ... (2020)

Cover for John H. Challis · Experimental Methods in Biomechanics (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Experimental Methods in Biomecha... (2020)

John H. Challis

Cover for Diversity, Equity and Inclusion - Success in Academic Surgery (Taschenbuch) [1st ed. 2021 edition] (2020)

1st ed. 2021 edition

Diversity, Equity and Inclusion ... (2020)

Cover for Tim Legrand · The Architecture of Policy Transfer: Ideas, Institutions and Networks in Transnational Policymaking - Studies in the Political Economy of Public Policy (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

The Architecture of Policy Trans... (2020)

Cover for Locoregional Radionuclide Cancer Therapy: Clinical and Scientific Aspects (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Locoregional Radionuclide Cancer... (2020)

Cover for ELECTRIMACS 2019: Selected Papers - Volume 2 - Lecture Notes in Electrical Engineering (Gebundenes Buch) [2020 edition] (2020)

Gebundenes Buch

ELECTRIMACS 2019: Selected Paper... (2020)

Cover for Zaheer Allam · The Rise of Autonomous Smart Cities: Technology, Economic Performance and Climate Resilience - Sustainable Urban Futures (Gebundenes Buch) [1st ed. 2021 edition] (2020)

Gebundenes Buch

1st ed. 2021 edition

The Rise of Autonomous Smart Cit... (2020)

Cover for Kenneth R. Murray · Use of Force Training in Law Enforcement: A Reality Based Approach - SpringerBriefs in Criminology (Taschenbuch) [2021 edition] (2020)

Use of Force Training in Law Enf... (2020)

Kenneth R. Murray

Cover for Enhanced Trustworthiness and End User Acceptance of Conditionally Automated Vehicles in the Transition Period - Lecture Notes in Intelligent Transportation and Infrastructure (Gebundenes Buch) [2021 edition] (2020)

Gebundenes Buch

Enhanced Trustworthiness and End... (2020)

Cover for Ben Ellis · Being Feared: The Micro-Dynamics of Fear and Insecurity (Gebundenes Buch) [1st ed. 2020 edition] (2020)

Gebundenes Buch

1st ed. 2020 edition

Being Feared: The Micro-Dynamics... (2020)

Cover for Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2020 edition] (2020)

1st ed. 2020 edition

Deductive Software Verification:... (2020)