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 ...
Continue reading
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 ...
Continue reading
A History of Abstract Algebra
This presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories ...
Continue reading
Abstract Algebra
In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
Continue reading
Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Continue reading
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, ...
Continue reading
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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, ...
Continue reading
Agile Software Engineering
This textbook presents the crucial issues in software engineering using the agile approach to software development - one ...
Continue reading
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
An Invitation to Abstract Mathematics
this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...
Continue reading
Anaphora: Analysis, Algorithms and Applications
This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...
Continue reading
Anaphora: Analysis, Algorithms and Applications
This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...
Continue reading
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, ...
Continue reading
