Verlag Springer Nature Switzerland AG

Cover for Mechanotransduction and Mechanosensing: Roles and Effects on Biological Systems under Physiological and Pathological Conditions - Results and Problems in Cell Differentiation (Gebundenes Buch) (2026)

Gebundenes Buch

Mechanotransduction and Mechanos... (2026)

Cover for Djamila Rekioua · Energy Storage for Renewable Energy Systems: Modeling, Control, and AI Integration - Green Energy and Technology (Gebundenes Buch) (2026)

Gebundenes Buch

Energy Storage for Renewable Ene... (2026)

Djamila Rekioua

Cover for Vazgen Melikyan · Parametric Optimization Techniques of Integrated Circuits (Gebundenes Buch) (2026)

Gebundenes Buch

Parametric Optimization Techniqu... (2026)

Vazgen Melikyan

Cover for Denis Sunko · Conceptual Thermodynamics: A Contextual Introduction to Statistical Physics (Gebundenes Buch) (2026)

Gebundenes Buch

Conceptual Thermodynamics: A Con... (2026)

Cover for Fundamentals of Surgery for Physician Assistants (Gebundenes Buch) (2026)

Gebundenes Buch

Fundamentals of Surgery for Phys... (2026)

Cover for Human and Smart Marketing: Strategic Transitions in Intelligence, Sustainability, and Inclusion - European Marketing Academy Insights (Gebundenes Buch) (2026)

Gebundenes Buch

Human and Smart Marketing: Strat... (2026)

Cover for Coaching in the Age of AI: Perspectives on Opportunities, Challenges, and Future Directions - SpringerBriefs in Psychology (Taschenbuch) (2026)

Coaching in the Age of AI: Persp... (2026)

Cover for Evidence-Based People Management: Learning from Practical Case Studies (Gebundenes Buch) (2026)

Gebundenes Buch

Evidence-Based People Management... (2026)

Cover for 3rd International Workshop on the Use of Biomaterials in Pavements: Workshop Biomaterials 2026 - RILEM Bookseries (Gebundenes Buch) (2026)

Gebundenes Buch

3rd International Workshop on th... (2026)

Cover for Design for Better Futures: Beyond the Science of the Artificial. Completed Research: 21st International Conference on Design Science Research in Information Systems and Technology, DESRIST 2026, Munster, Germany, June 8–10, 2026, Proceedings, Part I - Lec (Taschenbuch) (2026)

Design for Better Futures: Beyon... (2026)

Cover for Chapters in Education: Volume 1 - CHAPTERS in Education (Gebundenes Buch) (2026)

Gebundenes Buch

Chapters in Education: Volume 1 ... (2026)

Cover for Kar-Ann Toh · Analytic Learning Methods for Pattern Recognition (Taschenbuch) (2026)

Analytic Learning Methods for Pa... (2026)

Cover for Clinical Management of Bone and Soft Tissue Tumors (Taschenbuch) (2026)

Clinical Management of Bone and ... (2026)

Cover for Daniele Caligiore · Simulating the Brain: A Four-Step Method Using Ordinary Differential Equations and Python - Brain Informatics and Health (Taschenbuch) (2026)

Simulating the Brain: A Four-Ste... (2026)

Daniele Caligiore

Cover for Rameez Ahmad Parra · A Systematic Approach to Electrodynamics (Taschenbuch) (2026)

A Systematic Approach to Electro... (2026)

Rameez Ahmad Parra

Cover for Practical Guide to Hereditary Breast and Ovarian Cancer II: Annual Meeting of the Japanese Organization of Hereditary Breast and Ovarian Cancer 2022 (Taschenbuch) (2026)

Practical Guide to Hereditary Br... (2026)

Cover for Shuli Guo · Computer-Aided Intelligent Diagnosis of Skin Melanoma (Taschenbuch) (2026)

Computer-Aided Intelligent Diagn... (2026)

Cover for Emergencies in ENT (Taschenbuch) [Second Edition 2025 edition] (2026)

Second Edition 2025 edition

Emergencies in ENT (2026)

Cover for Palani Thanaraj Krishnan · Advanced Image Fusion Techniques for Medical Imaging: Trends, Applications, and Future Directions (Taschenbuch) (2026)

Advanced Image Fusion Techniques... (2026)

Palani Thanaraj Krishnan

Cover for The White Book on Global World Neurology: Structure, Workforce, Capacities, and Procedures of Neurology (Gebundenes Buch) (2026)

Gebundenes Buch

The White Book on Global World N... (2026)

Cover for Masatoshi Suzuki · Long-Haul Optical Fiber Communication Systems - Textbooks in Telecommunication Engineering (Gebundenes Buch) (2026)

Gebundenes Buch

Long-Haul Optical Fiber Communic... (2026)

Masatoshi Suzuki

Cover for Alexander Melnikov · A Course of Stochastic Analysis - CMS / CAIMS Books in Mathematics (Gebundenes Buch) [Second Edition 2026 edition] (2026)

Gebundenes Buch

Second Edition 2026 edition

A Course of Stochastic Analysis ... (2026)

Alexander Melnikov

Cover for Raphael De Vittoris · Outsmarting Risks in Public and Private Organizations (Taschenbuch) (2026)

Outsmarting Risks in Public and ... (2026)

Raphael De Vittoris

Cover for Steven Hobbs · Sensing Mars: Remote Sensing to Understand the Red Planet (Gebundenes Buch) (2026)

Gebundenes Buch

Sensing Mars: Remote Sensing to ... (2026)

Cover for Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 23rd International Conference, CPAIOR 2026, Rabat, Morocco, May 26–29, 2026, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2026)

Integration of Constraint Progra... (2026)

Cover for Application and Theory of Petri Nets and Concurrency: 47th International Conference, PETRI NETS 2026, Hamburg, Germany, June 22–26, 2026, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2026)

Application and Theory of Petri ... (2026)

Cover for ICT Systems Security and Privacy Protection: 41st IFIP TC 11 International Conference, SEC 2026, Perth, Australia, June 9–11, 2026, Proceedings - IFIP Advances in Information and Communication Technology (Gebundenes Buch) (2026)

Gebundenes Buch

ICT Systems Security and Privacy... (2026)

Cover for Information Security Education: Educational Strategies for Developing the Future Cybersecurity Workforce: 18th IFIP WG 11.8 World Conference, WISE 2026, Perth, Australia, June 9–11, 2026, Proceedings - IFIP Advances in Information and Communication Techno (Gebundenes Buch) (2026)

Gebundenes Buch

Information Security Education: ... (2026)

Cover for Guang-Ren Duan · Fully Actuated System Approach: Volume I. Global Fully Actuated Systems (Gebundenes Buch) (2026)

Gebundenes Buch

Fully Actuated System Approach: ... (2026)

Cover for Joachim Stohr · The Nature of X-Rays and Their Interactions with Matter—Volume II: Beyond Semi-Classical Concepts - Springer Tracts in Modern Physics (Gebundenes Buch) [Second Edition 2026 edition] (2026)

Gebundenes Buch

Second Edition 2026 edition

The Nature of X-Rays and Their I... (2026)

Cover for Greg Yerashotis · Social Inclusion Through Soccer In Global Toronto - Global Culture and Sport Series (Gebundenes Buch) (2026)

Gebundenes Buch

Social Inclusion Through Soccer ... (2026)

Greg Yerashotis

Cover for Decarbonising and Decolonising Economics: Why Climate Justice Demands Decolonising Decarbonisation (Gebundenes Buch) (2026)

Gebundenes Buch

Decarbonising and Decolonising E... (2026)

Cover for Norbert Steinmetz · Lectures on Complex Analysis (Gebundenes Buch) (2026)

Gebundenes Buch

Lectures on Complex Analysis (2026)

Norbert Steinmetz

Cover for Matias Cordero Arce · Sketches from a Juvenile Justice Centre: Coercion, Relationships, Emancipation - Palgrave Advances in Child Justice (Gebundenes Buch) (2026)

Gebundenes Buch

Sketches from a Juvenile Justice... (2026)

Matias Cordero Arce

Cover for Donation after Circulatory Death (DCD) Liver Transplantation and Machine Perfusion: A Practical Guide (Gebundenes Buch) [Second Edition 2026 edition] (2026)

Gebundenes Buch

Second Edition 2026 edition

Donation after Circulatory Death... (2026)

Cover for Security and Privacy in Communication Networks: 21st EAI International Conference, SecureComm 2025, Xiangtan, China, July 4–6, 2025, Proceedings, Part II - Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Eng (Taschenbuch) (2026)

Security and Privacy in Communic... (2026)

Cover for Calixte Bloquet · French Politics: A Comprehensive Introduction - Springer Texts in Political Science and International Relations (Gebundenes Buch) (2026)

Gebundenes Buch

French Politics: A Comprehensive... (2026)

Calixte Bloquet

Cover for Tiago De Melo Cartaxo · From Environmental Rights to Resilience Justice: Innovative Legal Tools to Face Urban Uncertainty (Gebundenes Buch) (2026)

Gebundenes Buch

From Environmental Rights to Res... (2026)

Tiago De Melo Cartaxo

Cover for Engineering Interactive Computer Systems. EICS 2025 International Workshops: Trier, Germany, June 23–27, 2025, Revised Selected Papers - Lecture Notes in Computer Science (Taschenbuch) (2026)

Engineering Interactive Computer... (2026)

Cover for Regional Anaesthesia: A Guide to Clinical Exams (Gebundenes Buch) (2026)

Gebundenes Buch

Regional Anaesthesia: A Guide to... (2026)

Cover for Research Directions in Number Theory: Women in Numbers VI - Association for Women in Mathematics Series (Gebundenes Buch) (2026)

Gebundenes Buch

Research Directions in Number Th... (2026)

Cover for Sebastiaan Van den Eijnden · Hybrid Integrator-Gain Systems: Analysis, Design and Applications - Lecture Notes in Control and Information Sciences (Gebundenes Buch) (2026)

Gebundenes Buch

Hybrid Integrator-Gain Systems: ... (2026)

Sebastiaan Van den Eijnden

Cover for Proceedings of the 6th International Conference on Artificial Intelligence and Smart Energy: ICAISE 2026, Volume 2 - Information Systems Engineering and Management (Taschenbuch) (2026)

Proceedings of the 6th Internati... (2026)

Cover for Arkebe Oqubay · Productive Transformation in Africa: Industrial Policies for Sustainable Economic Development (Gebundenes Buch) (2026)

Gebundenes Buch

Productive Transformation in Afr... (2026)

Cover for Ariel Dinar · Water Institutions and their Performance: A Comprehensive Review of the Literature - SpringerBriefs in Water Science and Technology (Taschenbuch) (2026)

Water Institutions and their Per... (2026)

Cover for Alessandro Pratesi · Emotions and Social Change: Theoretical and Empirical Perspectives (Gebundenes Buch) (2026)

Gebundenes Buch

Emotions and Social Change: Theo... (2026)

Alessandro Pratesi

Cover for Advanced Information Systems Engineering Workshops: CAiSE 2026 Workshops, Verona, Italy, June 8–12, 2026, Proceedings - Lecture Notes in Business Information Processing (Taschenbuch) (2026)

Advanced Information Systems Eng... (2026)

Cover for Peeyush Phogat · Self-healing Materials: Bridging Physics, Chemistry, and Engineering for a Sustainable Future - Engineering Materials (Taschenbuch) (2026)

Self-healing Materials: Bridging... (2026)

Cover for Changmeng Zheng · Multimodal Knowledge Systems: Construction and Reasoning - Wireless Networks (Gebundenes Buch) (2026)

Gebundenes Buch

Multimodal Knowledge Systems: Co... (2026)

Changmeng Zheng

Cover for Barry B. Hughes · Exploring and Shaping International Futures - World-Systems Evolution and Global Futures (Gebundenes Buch) [Fifth Edition 2026 edition] (2026)

Gebundenes Buch

Fifth Edition 2026 edition

Exploring and Shaping Internatio... (2026)

Barry B. Hughes

Cover for Advances in Earth and Environmental Sciences - Volume 2 Environmental Sciences: Proceedings of 3rd International Conference on Earth and Environmental Sciences (ICEES, Durban, South Africa, August 17-20, 2025) - Springer Proceedings in Earth and Environme (Gebundenes Buch) (2026)

Gebundenes Buch

Advances in Earth and Environmen... (2026)

Cover for Design for Better Futures: Beyond the Science of the Artificial. Prototypes and Research-in-Progress: 21st International Conference on Design Science Research in Information Systems and Technology, DESRIST 2026, Munster, Germany, June 8–10, 2026, Proceedi (Taschenbuch) (2026)

Design for Better Futures: Beyon... (2026)

Cover for Combinatorial Algorithms: 37th International Workshop, IWOCA 2026, Clermont-Ferrand, France, June 8–11, 2026, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2026)

Combinatorial Algorithms: 37th I... (2026)

Cover for Intelligent Information Systems: CAiSE 2026 Forum and Doctoral Consortium, Verona, Italy, June 8–12, 2026, Proceedings - Lecture Notes in Business Information Processing (Taschenbuch) (2026)

Intelligent Information Systems:... (2026)

Cover for Developments in Language Theory: 30th International Conference, DLT 2026, Rouen, France, June 30 – July 3, 2026, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2026)

Developments in Language Theory:... (2026)

Cover for Robotic Fabrication in Architecture, Art and Design 2024: Foreword by Sigrid Brell-Cokcan and Johannes Braumann, Association for Robotics in Architecture (Gebundenes Buch) (2026)

Gebundenes Buch

Robotic Fabrication in Architect... (2026)

Cover for Advanced Information Systems Engineering: 38th International Conference, CAiSE 2026, Verona, Italy, June 8–12, 2026, Proceedings, Part I - Lecture Notes in Computer Science (Taschenbuch) (2026)

Advanced Information Systems Eng... (2026)

Cover for Pattern Recognition: 18th Mexican Conference, MCPR 2026, Ciudad Juarez, Mexico, June 24–27, 2026, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2026)

Pattern Recognition: 18th Mexica... (2026)

Cover for Machine Learning for Disease Detection, Prediction, and Diagnosis: Challenges and Opportunities (Taschenbuch) (2026)

Machine Learning for Disease Det... (2026)

Cover for Equity-Oriented, Discipline-Based STEM Education Research - Critical Studies of Education (Gebundenes Buch) (2026)

Gebundenes Buch

Equity-Oriented, Discipline-Base... (2026)

Cover for Laura Gallon · Migrant Women Writers and the Short Story in North America: 1980-2020 - Palgrave Studies in Contemporary Women’s Writing (Gebundenes Buch) (2026)

Gebundenes Buch

Migrant Women Writers and the Sh... (2026)

Cover for Daniele Rocchi · Wind Engineering: Fundamentals and Applications - Research Topics in Wind Energy (Gebundenes Buch) (2026)

Gebundenes Buch

Wind Engineering: Fundamentals a... (2026)

Cover for Maria Tranter · The History and Historiography of a Late Medieval Heresy: Beghards and Heretics of the Free Spirit (Gebundenes Buch) (2026)

Gebundenes Buch

The History and Historiography o... (2026)

Cover for Jill S. Tietjen · Pioneering Women of Solid-State Physics: Breaking Boundaries - Women in Engineering and Science (Gebundenes Buch) (2026)

Gebundenes Buch

Pioneering Women of Solid-State ... (2026)

Jill S. Tietjen

Cover for Marc-Alexandre Dumoulin · Georges Bataille, or, The Birth of Art: Excess and Experience Inside the Cave of Lascaux (Gebundenes Buch) (2026)

Gebundenes Buch

Georges Bataille, or, The Birth ... (2026)

Marc-Alexandre Dumoulin

Cover for Origins and Challenges of Psychological Assessment in Ibero-American Countries (Gebundenes Buch) (2026)

Gebundenes Buch

Origins and Challenges of Psycho... (2026)

Cover for Kai P. Purnhagen · Law and Economics of Regulation of Engineered Living Materials in the EU: Prospects for Investments and Innovation - SpringerBriefs in Law (Taschenbuch) (2026)

Law and Economics of Regulation ... (2026)

Kai P. Purnhagen

Cover for The Legal Anatomy of the Body: Health, Rights, and Politics in Times of Emergency - Ius Gentium: Comparative Perspectives on Law and Justice (Gebundenes Buch) (2026)

Gebundenes Buch

The Legal Anatomy of the Body: H... (2026)

Cover for Chrysi Leliopoulou · Physical Examination and Diagnostic Skills for Nurses and Allied Health Professionals (Taschenbuch) (2026)

Physical Examination and Diagnos... (2026)

Chrysi Leliopoulou

Cover for ArtsIT, Interactivity and Game Creation: 14th EAI International Conference, ArtsIT 2025, Dubai, United Arab Emirates, November 7–9, 2025, Proceedings, Part I - Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications (Taschenbuch) (2026)

ArtsIT, Interactivity and Game C... (2026)

Cover for ArtsIT, Interactivity and Game Creation: 14th EAI International Conference, ArtsIT 2025, Dubai, United Arab Emirates, November 7–9, 2025, Proceedings, Part II - Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunication (Taschenbuch) (2026)

ArtsIT, Interactivity and Game C... (2026)

Cover for Advanced Information Systems Engineering: 38th International Conference, CAiSE 2026, Verona, Italy, June 8–12, 2026, Proceedings, Part II - Lecture Notes in Computer Science (Taschenbuch) (2026)

Advanced Information Systems Eng... (2026)

Cover for Enterprise, Business-Process and Information Systems Modeling: 27th International Conference, BPMDS 2026, and 31st International Conference, EMMSAD 2026, Verona, Italy, June 8–9, 2026, Proceedings - Lecture Notes in Business Information Processing (Taschenbuch) (2026)

Enterprise, Business-Process and... (2026)

Cover for Birgit Eriksson · Crafting Participation at the Art Museum: Affect, Agency and Community - Palgrave Studies in Cultural Participation (Gebundenes Buch) (2026)

Gebundenes Buch

Crafting Participation at the Ar... (2026)

Birgit Eriksson

Cover for Senad Halilbasic · Theatre in Bosnia and Herzegovina, 1992-1995: Actors, Spectators, and Shells that are Far Enough Away (Gebundenes Buch) (2026)

Gebundenes Buch

Theatre in Bosnia and Herzegovin... (2026)

Senad Halilbasic

Cover for Elena A.A. Garcea · The Deep History of Cattle Herding and Symbolism: New Perspectives from Anthropology, Archaeology and Zooarchaeology in Sudan - SpringerBriefs in Archaeology (Taschenbuch) (2026)

The Deep History of Cattle Herdi... (2026)

Elena A.A. Garcea

Cover for Alexander Burka-Julia Kreyler-Valsky-Gerda Furicht · Handbook on EU Law-making: A Practical Guide - Professional Practice in Governance and Public Organizations (Gebundenes Buch) (2026)

Gebundenes Buch

Handbook on EU Law-making: A Pra... (2026)

Alexander Burka-Julia Kreyler-Va...

Cover for Muthu Ramachandran · Guide to AI for Cybersecurity: Principles, Frameworks, and Practical Implementation - Texts in Computer Science (Gebundenes Buch) (2026)

Gebundenes Buch

Guide to AI for Cybersecurity: P... (2026)

Muthu Ramachandran

Cover for Michael Bouzinier · Research Data that Can Be Trusted - SpringerBriefs in Computer Science (Taschenbuch) (2026)

Research Data that Can Be Truste... (2026)

Michael Bouzinier

Cover for Jenny L. Herman · Safeguarding Savoir-Faire: Culinary Heritage Initiatives, Globalization, and Nationalism in Contemporary France - Food and Identity in a Globalising World (Gebundenes Buch) (2026)

Gebundenes Buch

Safeguarding Savoir-Faire: Culin... (2026)

Jenny L. Herman

Cover for The Shaken Foundations of Safety: Overcoming Human Resources and Skills Shortages - SpringerBriefs in Applied Sciences and Technology (Taschenbuch) (2026)

The Shaken Foundations of Safety... (2026)

Cover for Sheila L. Cavanagh · Bracha L. Ettinger and Jacques Lacan: Psychoanalysis, Sexuality, and the m/Other - The Palgrave Lacan Series (Gebundenes Buch) (2026)

Gebundenes Buch

Bracha L. Ettinger and Jacques L... (2026)

Sheila L. Cavanagh

Cover for Daniel P. McGibney · Applied Linear Regression for Business Analytics with Python: A Practical Guide Using Ravix with Case Studies - International Series in Operations Research & Management Science (Gebundenes Buch) (2026)

Gebundenes Buch

Applied Linear Regression for Bu... (2026)

Daniel P. McGibney

Cover for Karl G. Joreskog · Multivariate Analysis with LISREL - Springer Series in Statistics (Gebundenes Buch) [Second Edition 2026 edition] (2026)

Gebundenes Buch

Second Edition 2026 edition

Multivariate Analysis with LISRE... (2026)

Karl G. Joreskog

Cover for Nichole Hugo · Towards Sustainability: Exploring Challenges Beyond the Environment (Gebundenes Buch) (2026)

Gebundenes Buch

Towards Sustainability: Explorin... (2026)

Cover for Eun Sang Dhong · Asian Septorhinoplasty: Septal L-Strut Extension Graft (Taschenbuch) (2026)

Asian Septorhinoplasty: Septal L... (2026)

Cover for Complex Ophthalmic Dosage Forms: Advances in Biomedical Applications and Future Perspectives (Taschenbuch) (2026)

Complex Ophthalmic Dosage Forms:... (2026)

Cover for 7th EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing: EAI BDCC 2024 - EAI / Springer Innovations in Communication and Computing (Gebundenes Buch) (2026)

Gebundenes Buch

7th EAI International Conference... (2026)

Cover for Ilijas Farah · Combinatorial Set Theory of C*-Algebras - Springer Monographs in Mathematics (Gebundenes Buch) [Second Edition 2026 edition] (2026)

Gebundenes Buch

Second Edition 2026 edition

Combinatorial Set Theory of C*-A... (2026)

Cover for Chaos and Complex Systems: Proceedings of the 6th International Interdisciplinary Chaos Symposium - Springer Proceedings in Complexity (Gebundenes Buch) (2026)

Gebundenes Buch

Chaos and Complex Systems: Proce... (2026)

Cover for Tze-San Lee · Misclassification in Epidemiology - Emerging Topics in Statistics and Biostatistics (Gebundenes Buch) (2026)

Gebundenes Buch

Misclassification in Epidemiolog... (2026)

Cover for Mehdi Mohammed Ghatus · Fundamentals of Corrosion Science and Engineering (Gebundenes Buch) (2026)

Gebundenes Buch

Fundamentals of Corrosion Scienc... (2026)

Mehdi Mohammed Ghatus

Cover for Data Science and Exploration in Artificial Intelligence: Second International Conference, CODE-AI 2025, Dubai, United Arab Emirates, April 7–8, 2025, Proceedings, Part I - Communications in Computer and Information Science (Taschenbuch) (2026)

Data Science and Exploration in ... (2026)

Cover for Sustainable Responsible Practices in Technology and Business for Society 5.0: Guideline for Next Generation, Volume 1 - Studies in Systems, Decision and Control (Gebundenes Buch) (2026)

Gebundenes Buch

Sustainable Responsible Practice... (2026)

Cover for A Comprehensive Guide to Adolescent Involvement in Health Research (Gebundenes Buch) (2026)

Gebundenes Buch

A Comprehensive Guide to Adolesc... (2026)

Cover for Textbook of Oesophageal Atresia (Gebundenes Buch) (2026)

Gebundenes Buch

Textbook of Oesophageal Atresia (2026)

Cover for Sujaul Chowdhury · Numerical Solutions Using the Taylor Series Method: Initial and Boundary Value Problems - Synthesis Lectures on Mathematics & Statistics (Gebundenes Buch) (2026)

Gebundenes Buch

Numerical Solutions Using the Ta... (2026)

Sujaul Chowdhury

Cover for Dependable Computer Systems: Methods, Models, and Applications: Proceedings of the Twenty First International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 2, 2026, Brunow, Poland - Lecture Notes in Networks and Systems (Taschenbuch) (2026)

Dependable Computer Systems: Met... (2026)

Cover for NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2026)

NASA Formal Methods: 18th Intern... (2026)

Cover for Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June (Taschenbuch) (2026)

Formal Techniques for Distribute... (2026)