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
- -
Economics and Mathematical Modeling in Health-Related Research
The definition of a healthcare system evolves continuously, becoming broader and more complex with each rendering. Healthcare systems can consist of many different elements, including but not limited to: access to comprehensive medical care, health promotion, disease prevention, institutional framework, financing schemes, government responsibility over health, etc. In light of its broad classif…
- Edition
- -
- ISBN/ISSN
- 978-90-04-51729-5
- Collation
- oer.unej.ac.id
- Series Title
- -
- Call Number
- -
Economics and Mathematical Modeling in Health-Related Research
The definition of a healthcare system evolves continuously, becoming broader and more complex with each rendering. Healthcare systems can consist of many different elements, including but not limited to: access to comprehensive medical care, health promotion, disease prevention, institutional framework, financing schemes, government responsibility over health, etc. In light of its broad classif…
- Edition
- -
- ISBN/ISSN
- 978-90-04-51729-5
- Collation
- oer.unej.ac.id
- Series Title
- -
- Call Number
- -
Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection
This open access book focuses on robot introspection, which has a direct impact on physical human–robot interaction and long-term autonomy, and which can benefit from autonomous anomaly monitoring and diagnosis, as well as anomaly recovery strategies. In robotics, the ability to reason, solve their own anomalies and proactively enrich owned knowledge is a direct way to improve autonomous beha…
- Edition
- 1
- ISBN/ISSN
- 9789811562631
- Collation
- XVII, 137 hlm; ill., lamp.,
- 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
- -
Mathematical Modeling of the Human Brain
This open access book bridges common tools in medical imaging and neuroscience with the numerical solution of brain modelling PDEs. The connection between these areas is established through the use of two existing tools, FreeSurfer and FEniCS, and one novel tool, the SVM-Tk, developed for this book. The reader will learn the basics of magnetic resonance imaging and quickly proceed to generating…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-95136-8
- Collation
- -
- Series Title
- Simula SpringerBriefs on Computing
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography