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 ...
اقرأ المزيد
