A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lee mas
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
Lee mas
Ada 2005 Rationale : The Language, The Standard Libraries
The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
Lee mas
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
Lee mas
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
Lee masAgricultural Implications of the Fukushima Nuclear Accident : The First Three Years
The book consists of various topics, including radioactivity inspection of food products; decontamination trials for rice ...
Lee mas
Algorithmic Methods for Railway Optimization
This state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar ...
Lee mas
Algorithmic Methods for Railway Optimization
This state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar ...
Lee mas
Analysis and Modeling of Faces and Gestures
The book covered by these accepted papers include feature representation, 3D face, robust recognition under pose and illumination ...
Lee mas
Analysis and Modeling of Faces and Gestures
The book covered by these accepted papers include feature representation, 3D face, robust recognition under pose and illumination ...
Lee mas
Analysis and Modelling of Faces and Gestures
During the last 30 years, face recognition and related problems such as face detection/tracking and facial expression recognition ...
Lee mas
Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lee mas
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lee mas
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lee mas
Automotive Software- Connected Services in Mobile Networks
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...
Lee mas
Biologically Inspired Approaches to Advanced Information Technology
This book contains 30 articles and three abstracts of invited talks presented at The Second International Workshop on Biologically ...
Lee mas
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lee mas
Central European Functional Programming School
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Lee mas
Combinatorial Image Analysis (vol. # 4040)
This volume constitutes the refereed proceedings of the 11th International Workshop on Combinatorial Image Analysis, IWCIA ...
Lee mas
Compiler Construction (vol. # 3923)
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee mas
