Electronic Books

Total Books: 121 - 140 /381
978-1-4842-0070-4
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, ...

Continue reading
978-3-030-60910-8
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 ...

Continue reading
978-3-540-31973-3
Embedded Systems Design

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

Continue reading
978-1-4020-8297-9
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 ...

Continue reading
978-3-540-85029-8
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 ...

Continue reading
978-3-540-92698-6
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 ...

Continue reading
978-3-540-87654-0
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-540-78474-6
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 ...

Continue reading
978-3-540-85451-7
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, ...

Continue reading
978-3-540-85857-7
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 ...

Continue reading
978-3-540-68552-4
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 ...

Continue reading
978-3-540-68237-0
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, ...

Continue reading
978-1-4302-0970-6
Facebook API Developers Guide

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

Continue reading
978-1-4302-1050-4
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 ...

Continue reading
978-3-030-37818-9
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 ...

Continue reading
978-3-540-88194-0
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 ...

Continue reading
978-3-540-78917-8
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 ...

Continue reading
978-3-540-92188-2
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 ...

Continue reading
978-3-540-68894-5
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 ...

Continue reading
Total Books: 121 - 140 /381