Electronic Books

Total Books: 121 - 140 /381

Embedded Firmware Solutions : Development Best Practices for the Internet of Things

Embedded Firmware Solutions is the perfect introduction and daily-use field guide--for the thousands of firmware designers, ...

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in ...

Embedded Systems Design

Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...

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 ...

Engineering Environment-Mediated Multi-Agent Systems : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers

This book constitutes the thoroughly refereed proceedings of the International Workshop on Engineering Environment-Mediated ...

Engineering Interactive Systems : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction ...

Engineering Societies in the Agents World VIII : 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering ...

Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations

This book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering ...

Euro-Par 2007 Workshops: Parallel Processing : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

Parallel and distributed processing , although within the focus of computer science research for along time ,is gainingmore ...

Euro-Par 2008 - Parallel Processing : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, ...

Evolvable Systems: From Biology to Hardware : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Evolvable Systems, ICES 2008, held ...

Experimental Algorithms : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings

The Workshop on Experimental Algorithms, WEA, is intended to be an international forum for research on the experimental evaluation ...

FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...

Facebook API Developers Guide

The Facebook API allows web developers to create Facebook applications and access Facebook data from other applications. ...

Facelets Essentials: Guide to JavaServer™ Faces View Definition Framework

Facelets is a templating language developed from the ground up with JavaServer Faces in mind. Created in response to the ...

Flexitranstore Special Session in the 21st International Symposium on High Voltage Engineering (ISH 2019)

This book comprises 10 high-level papers on research and innovation within the Flexitranstore Project that were presented ...

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...

Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Total Books: 121 - 140 /381