Electronic Books

Total Books: 12/150
25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

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

Weiterlesen
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings

This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...

Weiterlesen
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

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

Weiterlesen
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...

Weiterlesen
Advanced Functional Programming

This volume contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International ...

Weiterlesen
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceeding

This book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...

Weiterlesen
Advanced Memory Optimization Techniques for Low-Power Embedded Processors

this book explores a collaborative approach by proposing novel memory hierarchies and software optimization techniques for ...

Weiterlesen
Advances in Artificial Intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...

Weiterlesen
Advances in Case-Based Reasoning : 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th European Conference on Case-Based Reasoning, ECCBR 2008, held in ...

Weiterlesen
Advances in Computer Systems Architecture

This book Covering hardware and software techniques for state-of-the-art multicore and multithreaded architectures.

Weiterlesen
Total Books: 12/150