Filter by
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
Kumpulan buku akses terbuka LNCS 14933 + 14934 merupakan prosiding yang diseleksi dari Simposium Internasional ke-26 tentang Metode Formal, FM 2024, yang berlangsung di Milan, Italia, pada bulan September 2024. 51 makalah lengkap dan 4 makalah pendek yang disertakan dalam prosiding ini ditinjau dan dipilih secara saksama dari 219 kiriman. Prosiding ini juga mencakup 2 ceramah undangan dengan pa…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-71177-0
- Collation
- 1 online resource ( XXII, 652 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.21 PLA f
The Lives of Extraction = Identities, Communities and the Politics of Place
The frontiers of extraction are expanding rapidly, driven by a growing demand for minerals and metals that is often motivated by sustainability considerations. Two volumes of International Development Policy are dedicated to the paradoxes and futures of green extractivism, with analyses of experiences from five continents. In this, the first of these two volumes, 16 authors offer a critical and…
- Edition
- -
- ISBN/ISSN
- 9789004685994
- Collation
- 320 hlm; ill., lamp.,
- Series Title
- International Development Policy
- Call Number
- -
Blockchain and Private International Law
The open access publication of this book has been published with the support of the Swiss National Science Foundation. Blockchain is the first global mechanism for the transfer and storage of value. Despite being conceived as an alternative to state and law, the technology and its use cases raise many legal questions, most notably, regarding jurisdiction and applicable law with respect to tran…
- Edition
- Volume: 4
- ISBN/ISSN
- 978-90-04-51485-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Resiliente Infrastrukturen = Perspektiven und Handlungsempfehlungen für ein …
Störungen, Krisen und Katastrophen stellen immer weniger die Ausnahme dar. Vielmehr werden und sind sie Teil unseres Alltags. Die Resilienz der Infrastrukturen zu stärken ist daher eine essenzielle Aufgabe unserer Zeit. Der vorliegende Sammelband betrachtet branchen- sowie ressortübergreifend die komplexer werdenden Rahmenbedingungen, mit denen unsere Gesellschaft konfrontiert ist. Die Beson…
- Edition
- 1
- ISBN/ISSN
- 9783503238439
- Collation
- 350 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Migration, Displacement, and Higher Education
This open access book is a nuanced introduction to Forced Migration Studies and a toolkit for faculty and undergraduate students, with a special emphasis on community-engaged learning. Experts from the social sciences, humanities, arts, and experimental sciences offer interdisciplinary perspectives to translate critical analysis into concrete action. The collection highlights activists, artists…
- Edition
- 1
- ISBN/ISSN
- 9783031123504
- Collation
- XXVIII, 299 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Datenwirtschaft und Datentechnologie
erzeit wachsen im Zuge der Digitalisierung und durch das Aufkommen neuer Informations- und Kommunikationstechnologien die Datenbestände weltweit exponentiell an. Diese Daten erlangen eine immer wichtigere Rolle als Wirtschaftsgut. Als Grundlage neuer Dienstleistungen und Produkte stellen sie die zentrale Ressource der Datenwirtschaft dar. Jedoch wird das in ihnen liegende Wertschöpfungsp…
- Edition
- -
- ISBN/ISSN
- 9783662652329
- Collation
- XI, 303
- Series Title
- -
- Call Number
- -
De sphaera of Johannes de Sacrobosco in the Early Modern Period : The Authors…
This open access book explores commentaries on an influential text of pre-Copernican astronomy in Europe. It features essays that take a close look at key intellectuals and how they engaged with the main ideas of this qualitative introduction to geocentric cosmology. Johannes de Sacrobosco compiled his Tractatus de sphaera during the thirteenth century in the frame of his teaching activities a…
- Edition
- 1
- ISBN/ISSN
- 9783030308339
- Collation
- XV, 396 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
The Vision Zero Handbook : Theory, Technology and Management for a Zero Casua…
This handbook provides a comprehensive treatment of Vision Zero, an innovative policy on public road safety developed in Sweden. Covering all the major topics of the subject, the book starts out with a thorough examination of the philosophy, ideas and principles behind Vision Zero. It looks at conditions for the effectiveness of the policy, principles of safety and responsibility as well as cri…
- Edition
- 1
- ISBN/ISSN
- 9783030231767
- Collation
- XX, 1240: ill; lamp
- Series Title
- -
- Call Number
- -
Children in Custody Disputes : Matching Legal Proceedings to Problems
This open access book explores how legal proceedings in and out-of-court can be matched to the complex problems underlying disputes concerning child custody, residence and contact between parents. It focusses in particular on Nordic experiences of in and out-of-court mechanisms as means of resolving custody disputes. The contributors are internationally renowned and experienced researchers f…
- Edition
- -
- ISBN/ISSN
- 978-3-031-46301-3
- Collation
- XIII, 221
- Series Title
- -
- Call Number
- -
Industry 4.0 for SMEs : Challenges, Opportunities and Requirements
Dominik T. Matt holds the Chair for Production Systems and Technologies and heads the Industrial Engineering and Automation (IEA) research department in the Faculty of Science and Technology at the Free University of Bozen-Bolzano, Italy. Dominik is also the Director of Fraunhofer Italia, the largest applied research organization in Europe. Vladimír Modrák is Professor of Manufacturing Tec…
- Edition
- 1
- ISBN/ISSN
- 9783030254254
- Collation
- XXXV, 412 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