Filter by
Digital Health Transformation, Smart Ageing, and Managing Disability
This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023. The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and A…
- Edition
- -
- ISBN/ISSN
- 978-3-031-43949-0
- Collation
- XIV, 352
- Series Title
- -
- Call Number
- -
Automated Reasoning with Analytic Tableaux and Related Methods
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from…
- Edition
- -
- ISBN/ISSN
- 978-3-031-43512-6
- Collation
- XXV, 482
- 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
- -
- 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