Electronic Books

Total Books: 1 - 20 /133

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 Field Guide to Algebra

This unique textbook focuses on the structure of fields and is intended for a second course in abstract algebra. Besides ...

A History of Abstract Algebra

This presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories ...

Abstract Algebra

In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...

Abstract Computing Machines

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...

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

Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

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

Agile Software Engineering

This textbook presents the crucial issues in software engineering using the agile approach to software development - one ...

Algebraic Methodology and Software Technology

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...

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 in Bioinformatics : 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, ...

An Invitation to Abstract Mathematics

this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...

Anaphora: Analysis, Algorithms and Applications

This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...

Anaphora: Analysis, Algorithms and Applications

This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...

Ant Colony Optimization and Swarm Intelligence : 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Workshop on Ant Colony Optimization and Swarm Intelligence, ...

Total Books: 1 - 20 /133