Filter by
Autonomous control for a reliable internet of services : methods, models, app…
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, res…
- Edition
- -
- ISBN/ISSN
- 9783319904153
- Collation
- xvi, 400p. : ill.
- Series Title
- -
- Call Number
- 004.678 AUT a
A practical guide to tpm 2.0 : using the trusted platform module in the new a…
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp t…
- Edition
- -
- ISBN/ISSN
- 9781430265849
- Collation
- XXVII, 392 p
- Series Title
- -
- Call Number
- 005.82 ART a
Internet of things. information processing in an increasingly connected world…
This open access book constitutes the refereed post-conference proceedings of the First IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 12 full papers presented were carefully reviewed and selected from 24 submissions. Also included in this volume are 4 WCC 2018 pl…
- Edition
- -
- ISBN/ISSN
- 9783030156510
- Collation
- XII, 235 p
- Series Title
- -
- Call Number
- 004.678 LEO i
Model-based engineering of collaborative embedded systems : extensions of the…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
- Edition
- -
- ISBN/ISSN
- 9783030621360
- Collation
- XIV, 373 p
- Series Title
- -
- Call Number
- 006.22 WOL m
Automated reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- xv; 756 PG; ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 AUT a
S-BPM in the wild : practical value creation
This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). Each case presents a specific story and focuses on an essential modeling or implementation issue, and most end with implications or suggestions for further studies. Significant variables and success factors are identified that were discovered during the respective study an…
- Edition
- -
- ISBN/ISSN
- 9783319175423
- Collation
- v, 283 p.; ill.
- Series Title
- -
- Call Number
- 658.4038011 SPM s
Building better interfaces for remote autonomous systems : an introduction fo…
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of th…
- Edition
- -
- ISBN/ISSN
- 9783030477752
- Collation
- xii, 127p. : ill.
- Series Title
- -
- Call Number
- 005.437 OUR b
Model-based engineering of collaborative embedded systems : extensions of the…
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual system…
- Edition
- -
- ISBN/ISSN
- 9783030621360
- Collation
- xiii, 404p. : ill.
- Series Title
- -
- Call Number
- 005.1 MOD m
Introduction to scientific programming with Python
This open access book offers an initial introduction to programming for scientific and computational applications using the Python programming language. The presentation style is compact and example-based, making it suitable for students and researchers with little or no prior experience in programming. The book uses relevant examples from mathematics and the natural sciences to present prog…
- Edition
- -
- ISBN/ISSN
- 9783030503567
- Collation
- xiv, 148p. : ill.
- Series Title
- -
- Call Number
- 005.133 SUN i
Technical, economic and societal effects of manufacturing 4.0 : automation, a…
This open access book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, the economic, and the social aspects of this important phenomenon. Together the material presented allows the reader to develop a holistic picture of where the manufacturing industry and the parts of the society that depend on it may be going in the future. Manuf…
- Edition
- -
- ISBN/ISSN
- 9783030461034
- Collation
- xxviii, 266p. : ill.
- Series Title
- -
- Call Number
- 670.427 TEC t
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography