Thema Computermodellierung und -simulation – alle Bücher, Seite 4

Metamodeling: Applications and Trajectories to the Future

This Festschrift honors the remarkable career of Prof. Dr. Dimitris Karagiannis whose research has been focused on metamodeling, method engineering and its application in practice. Metamodeling stands for…

lieferbar innerhalb 2-3 Wochen

Buch

Modeling, Simulation and Computer Technology

Communications in Computer and Information Science - Band 2606

.- A Secure and Energy-Efficient IoT Protocol for Smart Cities Using Fuzzy Logic and Blockchain Technology..- Building a secure enterprise network: a blueprint for SDP and SDN Integration..- A Comparative…

sofort lieferbar

Buch

Modelling and Simulation for Autonomous Systems

Lecture Notes in Computer Science - Band 15761

This book constitutes the proceedings of the 11th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2024, which took place in Chania, Crete, Greece, during October 1--3, 2…

lieferbar innerhalb 2-3 Wochen

Buch

NASA Formal Methods

Lecture Notes in Computer Science - Band 15682

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in t…

lieferbar innerhalb 2-3 Wochen

Buch

New Trends in the Applications of Differential Equations in Sciences

Springer Proceedings in Mathematics & Statistics

This book gathers selected works covering research in mathematics on new methods and techniques for the applications of differential equations, presented at the 12th International Conference "New Tre…

lieferbar ab 22.4.2026.

Buch

Omics Approaches in Biomedicine and Biotechnology

Advances in Experimental Medicine and Biology

This book explores current omics technologies and provides researchers with a comprehensive understanding of them.In recent years, technological advances have transformed the life sciences, ushering in th…

lieferbar ab 30.4.2026.

Buch

Participatory Modelling and Simulation to Improve AI-based Public Social Services

Artificial Intelligence, Simulation and Society

This open access volume showcases a series of models - particularly agent-based simulations - that explore pressing issues on national policy agendas, engaging with frontier questions around artificial in…

lieferbar ab 28.4.2026.

Buch

Recent Advances in the Message Passing Interface

Lecture Notes in Computer Science - Band 15977

This book constitutes the proceedings of the 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1--October 3, 2025.The 10 full papers presented in this book w…

lieferbar innerhalb 2-3 Wochen

Buch

Remotely Sensed Rivers in the Age of Anthropocene

Environmental Science and Engineering

This book offers a geospatial technology approach to data mining techniques, data analysis, modeling, risk assessment, and visualization, as well as management strategies in many elements of river basin r…

lieferbar innerhalb 2-3 Wochen

Buch

Simulation Tools and Techniques

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering - Band 603

This book constitutes the refereed post-conference proceedings of the 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024, held in Bratislava, Slovakia, in December 2024.T…

lieferbar innerhalb 2-3 Wochen

Buch

Technologies of Information and Modeling

Communications in Computer and Information Science - Band 2655

This book constitutes the refereed proceedings of the 7th International Conference on Information Technology and Modeling, ICTIM 2024, held in Casablanca, Morocco, during November 26--27, 2024.The 37 full…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science - Band 15698

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was hel…

lieferbar ab 21.4.2026.

Buch

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science - Band 15697

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science - Band 15696

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was hel…

lieferbar ab 23.4.2026.

Buch