Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Verification-based software-fault detection

Author:Gladisch Christoph Davi
Publisher:KIT Scientific Publishing
Abstract: Software is used in many safety- and security-critical systems. Software development is, however, a…

State-of-the-Art Sensors Technology in Spain 2015: Volume 2

Author:Gonzalo Pajares Martinsan
Publisher:MDPI - Multidisciplinary Digital Publishing Institute
Abstract: This book provides a comprehensive overview of state-of-the-art sensors technology in specific lead…

State-of-the-Art Sensors Technology in Spain 2015: Volume 1

Author:Gonzalo Pajares Martinsan
Publisher:MDPI - Multidisciplinary Digital Publishing Institute
Abstract: This book provides a comprehensive overview of state-of-the-art sensors technology in specific lead…

State-of-the-Art Sensors Technology in Spain 2017 Volume 2

Author:Gonzalo Pajares Martinsanz (Ed.
Publisher:MDPI - Multidisciplinary Digital Publishing Institute
Abstract: A comprehensive overview of sensors technology is provided in specific leading areas. Researchers, …

Rethinking the Internet of Things: A Scalable Approach to Connecting Everything

Author:Francis daCosta, Byron Henderso
Publisher:Apress
Abstract: Apress is proud to announce that Rethinking the Internet of Things was a 2014 Jolt Award Finalist, …

State Estimation for Distributed Systems with Stochastic and Set-membership Uncertainties

Author:Noack Benjami
Publisher:KIT Scientific Publishing
Abstract: State estimation techniques for centralized, distributed, and decentralized systems are studied. An…

Specification Languages for Preserving Consistency between Models of Different Languages

Author:Kramer Max Emanue
Publisher:KIT Scientific Publishing
Abstract: When complex IT systems are being developed, the usage of several programming and modelling languag…

Shared Grasping: a Combination of Telepresence and Grasp Planning

Author:Hertkorn Katharin
Publisher:KIT Scientific Publishing
Abstract: ''Shared Grasping'' describes a new approach to shared autonomy for grasping and manipulation tasks…

Service-oriented design of environmental information systems

Author:Usländer Thoma
Publisher:KIT Scientific Publishing
Abstract: Service-orientation has an increasing impact upon the design process and the architecture of enviro…

Sensors and Actuators in Smart Cities

Author:Mounir Arioua (Ed.), Mohammad Hammoudeh (Ed.
Publisher:MDPI - Multidisciplinary Digital Publishing Institute
Abstract: Cities across the globe are installing sensors and actuators to become more sustainable, safe, effi…
Privacy Policy
Powered by: