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
- 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
- -
Truth and Responsibility: A Personalist Reading of Newman
This book goes beyond a simple study of Newman’s thought and work and seeks to apply his deductions to modern value conflicts. Although it will be of particular relevance to academic readers with some prior knowledge of Newman’s works, it may also be of wider interest to students of history, philosophy, theology and spirituality. More generally, its unusual focus on Newman’s epistemology …
- Edition
- -
- ISBN/ISSN
- 9789004682818
- Collation
- 244 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Ways of the Scientific World-Conception. Rudolf Carnap and Otto Neurath
Rudolf Carnap (1891-1970) and Otto Neurath (1882-1945) had a decisive influence on the development of the scientific world view of logical empiricism. Their relationship was marked by mutual intellectual stimulation, close collaboration, and personal friendship, but also by controversies that were as heated as they were rarely fought out in public. Carnap and Neurath were, in the words of Olga …
- Edition
- -
- ISBN/ISSN
- 9789004680203
- Collation
- 380 hlm; ill., lamp.,
- Series Title
- Studien zur Österreichischen Philosophie, Volume: 50
- Call Number
- -
Foundations of Software Science and Computation Structures: 28th Internationa…
This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025. The 19 papers included in these proceedings were carefully reviewed and selec…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-90897-2
- Collation
- XII, 424
- Series Title
- -
- Call Number
- -
Managed Software Evolution
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead …
- Edition
- 1
- ISBN/ISSN
- 9783030134990
- Collation
- XXII, 426 ill; hlm
- Series Title
- -
- Call Number
- -
Charting Spiritual Care = The Emerging Role of Chaplaincy Records in Global H…
This open access volume is the first academic book on the controversial issue of including spiritual care in integrated electronic medical records (EMR). Based on an international study group comprising researchers from Europe (The Netherlands, Belgium and Switzerland), the United States, Canada, and Australia, this edited collection provides an overview of different charting practices and expe…
- Edition
- 1
- ISBN/ISSN
- 9783030470708
- Collation
- XV, 232 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Bioethics Across the Globe = Rebirthing Bioethics
This open access book addresses a variety of issues relating to bioethics, in order to initiate cross-cultural dialogue. Beginning with the history, it introduces various views on bioethics, based on specific experiences from Japan. It describes how Japan has been confronted with Western bioethics and the ethical issues new to this modern age, and how it has found its foothold as it decides whe…
- Edition
- 1
- ISBN/ISSN
- 9789811535727
- Collation
- XVIII, 146 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Rethinking Causality, Complexity and Evidence for the Unique Patient = A Caus…
This open access book is a unique resource for health professionals who are interested in understanding the philosophical foundations of their daily practice. It provides tools for untangling the motivations and rationality behind the way medicine and healthcare is studied, evaluated and practiced. In particular, it illustrates the impact that thinking about causation, complexity and evidence h…
- Edition
- 1
- ISBN/ISSN
- 9783030412395
- Collation
- XXII, 241 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Autistic Community and the Neurodiversity Movement : Stories from the Frontline
This open access book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the activities and rationales of key leaders in their own words since it organized into a unique community in 1992. Sandwiched by editorial chapters that include critical analysis, the book contains 19 chapters by 21 authors about the forming of the autistic community…
- Edition
- 1
- ISBN/ISSN
- 9789811384370
- Collation
- XIX, 330 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