Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
WeiterlesenThis unique textbook focuses on the structure of fields and is intended for a second course in abstract algebra. Besides ...
WeiterlesenThis presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories ...
WeiterlesenIn Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
WeiterlesenThe book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
WeiterlesenThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
WeiterlesenThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
WeiterlesenThis book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
WeiterlesenThis book - in conjunction with the two volumes CCIS 0015 and LNAI 5226 - constitutes the refereed proceedings of the 4th ...
WeiterlesenThis book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
WeiterlesenThe two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...
WeiterlesenThe two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...
WeiterlesenThis textbook presents the crucial issues in software engineering using the agile approach to software development - one ...
WeiterlesenThis is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
WeiterlesenThis book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel ...
WeiterlesenThis book constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, ...
Weiterlesenthis book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...
WeiterlesenThis book presented sections on human processing and performance, language analysis and representation, resolution methodology ...
WeiterlesenThis book presented sections on human processing and performance, language analysis and representation, resolution methodology ...
WeiterlesenThis book constitutes the refereed proceedings of the 6th International Workshop on Ant Colony Optimization and Swarm Intelligence, ...
Weiterlesen