Filter by
Model-Driven Development and Operation of Multi-Cloud Applications : The MODA…
This books is open access under a CC BY 4.0 license. This book summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview o…
- Edition
- -
- ISBN/ISSN
- 978-3-319-46031-4
- Collation
- VIII, 149
- Series Title
- SpringerBriefs in Applied Sciences and Technology (BRIEFSAPPLSCIENCES)
- Call Number
- 620 MOD
Künstliche Intelligenz in der Forschung: Neue Möglichkeiten und Herausforde…
Dieses Buch ist eine Open Access Publikation. Der lange gehegte Traum von künstlicher Intelligenz (KI) wird in unserer Alltagswelt zunehmend Realität. Damit verbinden sich hohe gesellschaftliche Erwartungen, aber auch Sorgen hinsichtlich einer schleichenden Entmündigung des Menschen. Am Beispiel des Forschungssektors lotet dieser Band die Optionen, Entwicklungschancen und Risiken von KI-Tec…
- Edition
- 1st Edition
- ISBN/ISSN
- 9783662634493
- Collation
- XXIV, 179
- Series Title
- -
- Call Number
- -
The Logical Writings of Karl Popper
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Poppe…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-94926-6
- Collation
- XXIV, 552
- Series Title
- -
- Call Number
- -
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Embedded System Design : Embedded Systems Foundations of Cyber-Physical Syste…
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices u…
- Edition
- -
- ISBN/ISSN
- 978-3-030-60910-8
- Collation
- XXII, 433
- Series Title
- Embedded Systems (EMSY)
- Call Number
- 620 MAR e
Geographies of Schooling
This open access book explores the complex relationship between schooling as a set of practices embedded in educational institutions and their specific spatial dimensions from different disciplinary perspectives. It presents innovative empirical and conceptual research by international scholars from the fields of social geography, pedagogy, educational and social sciences in Germany, the United…
- Edition
- -
- ISBN/ISSN
- 978-3-030-18799-6
- Collation
- XII, 359
- Series Title
- Knowledge and Space (KNAS, volume 14)
- Call Number
- 334 GEO
Geographies of the University
This open access volume raises awareness of the histories, geographies, and practices of universities and analyzes their role as key actors in today’s global knowledge economy. Universities are centers of research, teaching, and expertise with significant economic, social, and cultural impacts at different geographical scales. Scholars from a variety of disciplines and countries offer origina…
- Edition
- -
- ISBN/ISSN
- 978-3-319-75593-9
- Collation
- XIV, 676
- Series Title
- Knowledge and Space (KNAS, volume 12)
- Call Number
- 900 GEO
Knowledge and Action
This volume explores interdependencies between knowledge, action, and space from different interdisciplinary perspectives. Some of the contributors discuss knowledge as a social construct based on collective action, while others look at knowledge as an individual capacity for action. The chapters contain theoretical frameworks as well as experimental outcomes. Readers will gain insight int…
- Edition
- -
- ISBN/ISSN
- 978-3-319-44588-5
- Collation
- X, 300
- Series Title
- Knowledge and Space (KNAS, volume 9)
- Call Number
- 334 KNO
Mobilities of Knowledge
This collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ideas have shaped the production, circulation, and transfer of knowledge in different historical and geographical contexts. Targeting an interdisciplinary audience, Mobilities of Knowledge combines detailed empirical analyses with innovative conceptual approaches. The first…
- Edition
- -
- ISBN/ISSN
- 978-3-319-44654-7
- Collation
- X, 303
- Series Title
- Knowledge and Space (KNAS, volume 10)
- Call Number
- 334 MOB
Punishing the Criminal Corpse, 1700-1840
This book analyses the different types of post-execution punishments and other aggravated execution practices, the reasons why they were advocated, and the decision, enshrined in the Murder Act of 1752, to make two post-execution punishments, dissection and gibbeting, an integral part of sentences for murder. It traces the origins of the Act, and then explores the ways in which Act was actually…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-51361-8
- Collation
- -
- Series Title
- Palgrave Historical Studies in the Criminal Corpse and its Afterlife
- Call Number
- XV, 212
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography