Electronic Books

Total Books: 1 - 20 /39

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Autonomous Systems - Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008

The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support : Results of the IMPROVE Project

The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...

Computer And Computing Technologies In Agriculture, Volume I : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Computer And Computing Technologies In Agriculture, Volume II : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...

Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...

Cryptographic Hardware and Embedded Systems - CHES 2008 : 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...

CyberParks – The Interface Between People, Places and Technology

This book is about public open spaces, about people, and about the relationship between them and the role of technology in ...

Data and Applications Security XXII : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings

This volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...

Deep Learning for Computational Problems in Hardware Security : Modeling Attacks on Strong Physically Unclonable Function Circuits / Pranesh Santikellur, Rajat Subhra Chakraborty

Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems

In this book defense and security related applications are increasingly being tackled by researchers and practioners using ...

Embedded Systems Specification and Design Languages : Selected contributions from FDL’07

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...

Enabling Things to Talk : Designing IoT solutions with the IoT Architectural Reference Model /

The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings

This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...

How AI Impacts Urban Living and Public Health

This book cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and ...

Intelligent Human Computer Interaction

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer ...

Interactive Storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings

This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ...

Total Books: 1 - 20 /39