Filter by
Smittestopp − A Case Study on Digital Contact Tracing
This open access book describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05466-2
- Collation
- -
- Series Title
- Simula SpringerBriefs on Computing
- Call Number
- -
Smittestopp − A Case Study on Digital Contact Tracing
This open access book describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05466-2
- Collation
- -
- Series Title
- Simula SpringerBriefs on Computing
- Call Number
- XI, 141
Web Programming with PHP and MySQL A Practical Guide
Introductory textbook covering all the main features of the 'web programming' languages PHP and MySQL together with detailed examples that will enable readers (whether students on a taught course or independent learners) to use them to create their own applications or understand existing ones. A particular focus is the use of PHP to generate MySQL commands from a script as it is executed. E…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22659-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Trustworthy Computing and Services International Conference, ISCTCS 2014, Be…
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The 51 revised full papers presented were carefully reviewed and selected from 279 submissions. The topics covered are architecture for trusted computing systems; trusted computing platform; trusted system building;…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47401-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Modeling and Verification of Cyber-Physical Systems
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. …
- Edition
- -
- ISBN/ISSN
- 9783658099947
- Collation
- X, 313 pages
- Series Title
- -
- Call Number
- -
Wireless Communications, Networking and Applications Proceedings of WCNA 2014
This book is based on a series of conferences on Wireless Communications, Networking and Applications that have been held on December 27-28, 2014 in Shenzhen, China. The meetings themselves were a response to technological developments in the areas of wireless communications, networking and applications and facilitate researchers, engineers and students to share the latest research results and …
- Edition
- -
- ISBN/ISSN
- 978-81-322-2580-5
- Collation
- XXI, 1310
- Series Title
- -
- Call Number
- -
Web Programming with PHP and MySQL A Practical Guide
Introductory textbook covering all the main features of the 'web programming' languages PHP and MySQL together with detailed examples that will enable readers (whether students on a taught course or independent learners) to use them to create their own applications or understand existing ones. A particular focus is the use of PHP to generate MySQL commands from a script as it is executed. E…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22659-0
- Collation
- XIII, 388
- Series Title
- -
- Call Number
- -
Trustworthy Computing and Services International Conference, ISCTCS 2014, Be…
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The 51 revised full papers presented were carefully reviewed and selected from 279 submissions. The topics covered are architecture for trusted computing systems; trusted computing platform; trusted system building;…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47401-3
- Collation
- 206 b/w illustrations
- Series Title
- -
- Call Number
- -
Trustworthy Computing and Services
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The 51 revised full papers presented were carefully reviewed and selected from 279 submissions. The topics covered are architecture for trusted computing systems; trusted computing platform; trusted system building;…
- Edition
- 1
- ISBN/ISSN
- 1865-0929
- Collation
- XII, 414
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Trustworthy Computing and Services
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The 51 revised full papers presented were carefully reviewed and selected from 279 submissions. The topics covered are architecture for trusted computing systems; trusted computing platform; trusted system building;…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47401-3
- Collation
- XII, 414
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography