Filter by
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…
- Edition
- 1
- ISBN/ISSN
- 9783319961453
- Collation
- XIX, 703
- Series Title
- -
- Call Number
- -
Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-o…
Diese Open-Access-Publikation bietet zu Beginn einen Einblick in die Grundlagen der modellbasierten Systementwicklung. Dabei analysiert die Publikation aktuell bestehende methodische Defizite in der Automotive System-on-Chip (SoC) Entwicklung. Anschließend beschreibt die Publikation, eine neue modellbasierte Entwicklungsmethode, mit deren Hilfe es ermöglicht wird die wachsenden Herausforderun…
- Edition
- -
- ISBN/ISSN
- 978-3-658-38437-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Aktives Altern im digitalen Zeitalter
Altersgerechte Assistenzsysteme leisten einen wichtigen Beitrag, die Lebensumgebung mit intelligenter Technik gesundheitsfördernder und selbstbestimmt zu gestalten. Diverse Sensoren, Geräte und Dienste (z.B. Sturzmeldesysteme, Exergames und Fitnessprogramme) sind heute verfügbar, jedoch steckt die Überprüfung der Wirksamkeit dieser Applikationen noch in den Kinderschuhen. Schlagworte wie …
- Edition
- -
- ISBN/ISSN
- 978-3-658-34970-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Die vielen Gestalten des Thomas Hobbes in der Deutung von Carl Schmitt und Le…
Dieses Open-Access-Buch stellt eine Untersuchung der Rezeption der politischen Philosophie Thomas Hobbes’ durch Carl Schmitt und Leo Strauss dar. Dies erfolgt zum einen anhand der Kontextualisierung, zum anderen durch eine textimmanente Aufarbeitung der relevanten Schriften beider Autoren. Die Letzteren werden als Teil des jeweiligen Gesamtwerkes von Schmitt und Strauss sowie als Teil der ide…
- Edition
- -
- ISBN/ISSN
- 978-3-658-38805-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Wertorientierungen und Wahlverhalten
In diesem Open-Access-Buch untersucht L. Constantin Wurthmann die sehr enge Beziehung zwischen Wertorientierungen und Wahlverhalten. Obwohl Wertorientierungen und gesellschaftliche Wertorientierungen im Speziellen zu den zentralsten Konzepten empirischer Sozialforschung gehören, wurde ihre Wirkungsweise im Wahlverhalten bisweilen stiefmütterlich behandelt. Die vorliegende Studie entwickelt ei…
- Edition
- -
- ISBN/ISSN
- 978-3-658-38456-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Duale Schriftnutzung: Brailleschrift und Schwarzschrift
In diesem Open-Access-Buch werden die schriftsprachlichen Kompetenzen von Schülerinnen und Schülern mit dualer Schriftnutzung untersucht. Von einem dualen Schriftspracherwerb spricht man, wenn Kinder oder Jugendliche mit Sehbeeinträchtigung neben der Schwarzschrift auch die Brailleschrift erlernen. Vom Erwerb eines zusätzlichen Schriftmediums profitieren insbesondere Lernende mit fortschrei…
- Edition
- -
- ISBN/ISSN
- 978-3-658-37928-5
- Collation
- -
- Series Title
- -
- Call Number
- -
High-Quality Outdoor Learning
This open access book reviews evidence and case studies on the effects of outdoor learning on teachers and learners. It shows how real-world learning outside the classroom contributes to unlocking the full potential of learners, demonstrating its benefits for academic learning, social competencies, personal and emotional development, psychological well-being, and physical activity and health. I…
- Edition
- -
- ISBN/ISSN
- 978-3-031-04108-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Global Perspectives on Educational Innovations for Emergency Situations
This open access book focuses on making the transition from in-person, classroom education to other feasible alternative modes and methodologies to deliver education at all levels. The book presents and analyzes research questions to explore in this arena, including pedagogical issues relating to technological and infrastructure challenges, teacher professional development, issues of disparity,…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99634-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Obstructions in Security-Aware Business Processes
This Open Access book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of …
- Edition
- -
- ISBN/ISSN
- 978-3-658-38154-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Designing Data Spaces
This open access book provides a comprehensive view on data ecosystems and platform economics from methodical and technological foundations up to reports from practical implementations and applications in various industries. To this end, the book is structured in four parts: Part I “Foundations and Contexts” provides a general overview about building, running, and governing data spaces a…
- Edition
- -
- ISBN/ISSN
- 978-3-030-93975-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography