Filter by
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
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, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906602
- Collation
- XXI, 269 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
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, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906435
- Collation
- XXVII, 399 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
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, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906534
- Collation
- XX, 387hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems
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, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906602
- Collation
- XXI, 269 hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
Annals of Scientific Society for Assembly, Handling and Industrial Robotics
This Open Access proceedings present a good overview of the current research landscape of industrial robots. The objective of MHI Colloquium is a successful networking at academic and management level. Thereby the colloquium is focussing on a high level academic exchange to distribute the obtained research results, determine synergetic effects and trends, connect the actors personally and in c…
- Edition
- 1
- ISBN/ISSN
- 9783662617557
- Collation
- VII, 344 ill; lamp
- Series Title
- -
- Call Number
- -
Monte Carlo N-Particle Simulations for Nuclear Detection and Safeguards
he authors acknowledge the Office of International Nuclear Safeguards–Human Capital Development Subprogram for the support and the Los Alamos National Laboratory (LANL) Research Library for the support in publishing the book as an open-access book. An important contribution to the quality of the manuscript was made by members of the XCP-3 group at Los Alamos National Laboratory, who r…
- Edition
- -
- ISBN/ISSN
- 9783031041297
- Collation
- XV, 307
- Series Title
- -
- Call Number
- -
Cyber-Physical Systems: A Model-Based Approach
In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-d…
- Edition
- 1
- ISBN/ISSN
- 9783030360719
- Collation
- XXIII, 187 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Toward Good Simulation Practice
The term GxP indicates a collection of good practices, e.g., quality guidelines, to ensure that a product is safe and meets its intended use. The most important examples of GxP in biomedicine are Good Laboratory Practice (GLP) and Good Clinical Practice (GCP). The GLP are curated by the Organisation for Economic Co-operation and Development (OECD); they provide “a managerial quality c…
- Edition
- -
- ISBN/ISSN
- 9783031482847
- Collation
- X, 144
- Series Title
- -
- Call Number
- -
VR Technologies in Cultural Heritage: First International Conference, VRTCH 2…
This open access book constitutes the refereed proceedings of the First International Conference on VR Technologies in Cultural Heritage, VRTCH 2018, held in Brasov, Romania in May 2018. The 13 revised full papers along with the 5 short papers presented were carefully reviewed and selected from 21 submissions. The papers of this volume are organized in topical sections on data acquisition and…
- Edition
- -
- ISBN/ISSN
- 9783030058197
- Collation
- X, 245
- Series Title
- 904
- Call Number
- -
Learning to Diagnose with Simulations
Making decisions require professionals in different fields to be able to identify, understand, and even predict situations and events relevant to their professions. This makes diagnosis an essential part of professional competences across domains. Diagnosis involves identifying the problem, analyzing the context, and application of obtained knowledge and experience to make practical decisio…
- Edition
- -
- ISBN/ISSN
- 9783030891473
- Collation
- VI, 157
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography