Electronic Books

Total Books: 1 - 20 /343

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

A Cost Based Approach to Project Management : Planning and Controlling Construction Project Costs /

Illustrates the principles of project management and the essentials of cost planning and control with easy-to-understand ...

A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...

A Guide to Graph Algorithms / Ton Kloks, Prof. Mingyu Xiao

Offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. ...

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

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

Acoustic Emission Testing : Basics for Research - Applications in Civil Engineering

The book covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms ...

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

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

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

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 Bioinformatics and Computational Biology : Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings

This book constitutes the refereed proceedings of the Third Brazilian Symposium on Bioinformatics, BSB 2008, held in Sao ...

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

Advances in Computer Science - ASIAN 2004 Higher Level Decision Making

This book constitutes the proceedings of the 9th Asian Computing Science Conference was held in Chiang Mai in Decem-ber 2004. ...

Advances in Construction Materials 2007

The book is a compilation of recent research results on building construction materials. The construction industry consumes ...

Advances in Control Theory and Applications

This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at ...

Advances in Cryptology - ASIACRYPT 2008 : 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Cryptology ...

Advances in Cryptology - CRYPTO 2008 : 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings

This book constitutes the refereed proceedings of the 28th Annual International Cryptology Conference, CRYPTO 2008, held ...

Advances in Cryptology - EUROCRYPT 2008 : 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings

Here are the refereed proceedings of the 27th Annual International Conference on the Theory and Applications of Cryptographic ...

Advances in Discrete Differential Geometry

This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access ...

Total Books: 1 - 20 /343