Electronic Books

Total Books: 1 - 20 /170

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

3D Mesh Processing and Character Animation : With Examples Using OpenGL, OpenMesh and Assimp / Ramakrishnan Mukundan

Focusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...

A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...

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

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

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

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings

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

Advances in Artificial Intelligence - IBERAMIA 2008 : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA ...

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

Advances in Neural Networks - ISNN 2008 : 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II

The two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...

Advances in Neural Networks - ISNN 2008 ك 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I

The two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...

Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...

Advances in Visual Computing : 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I

The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...

Advances in Visual Computing : 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II

The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...

Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...

Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...

Algorithmic Aspects of Wireless Sensor Networks : Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers

This book constitutes the reviewed proceedings of the Fourth International Workshop on Algorithmic Aspects of Wireless Sensor ...

Algorithms - ESA 2008 : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, ...

Algorithms and Architectures for Parallel Processing : 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel ...

Algorithms and Data Structures : The Basic Toolbox

This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical ...

Total Books: 1 - 20 /170