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
Translation technology in accessible health communication
Meng Ji, Pierrette Bouillon, Mark Seligman ; with contributions from Bastien David, Magali Norre?, Irene Strasly, Herve? Spechbach, Johanna Gerlach, Lu?cia Morado Va?squez, Silvia Rodri?guez Va?squez.
- Edition
- -
- ISBN/ISSN
- 9781108837378
- Collation
- xiii, 212 pages; illustration
- Series Title
- Studies in natural language processing
- Call Number
- 610.1 JI t
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
Graph structures for knowledge representation and reasoning : 6th internation…
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were revie…
- Edition
- -
- ISBN/ISSN
- 9783030723088
- Collation
- IX, 151 p
- Series Title
- -
- Call Number
- 006.332 MIC g
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
Programming for computations - MATLAB/Octave : a gentle introduction to numer…
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the s…
- Edition
- -
- ISBN/ISSN
- 9783319324524
- Collation
- XVI, 216 p
- Series Title
- -
- Call Number
- 004.0151 SVE p
Mobile edge computing
It offers comprehensive, self-contained knowledge on Mobile Edge Computing (MEC), which is a very promising technology for achieving intelligence in the next-generation wireless communications and computing networks. The book starts with the basic concepts, key techniques and network architectures of MEC. Then, we present the wide applications of MEC, including edge caching, 6G networks, Inter…
- Edition
- -
- ISBN/ISSN
- 9783030839444
- Collation
- xiv + 113 p
- Series Title
- Simula SpringerBriefs on Computing
- Call Number
- 004.167 ZHA m
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
Aesthetic programming: a handbook of software studies
Aesthetic Programming explores the technical as well as cultural imaginaries of programming from its insides. It follows the principle that the growing importance of software requires a new kind of cultural thinking — and curriculum — that can account for, and with which to better understand the politics and aesthetics of algorithmic procedures, data processing and abstraction. It takes a p…
- Edition
- -
- ISBN/ISSN
- 9781785420931
- Collation
- 298p. black and white, ill.
- Series Title
- -
- Call Number
- 005.118 SOO a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography