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