Browse Books: Computers / Logic Design

The Munich Project Cip: Volume II: The Programme Transformation System Cip-S (Lecture Notes in Computer Science #292) By F. L. Bauer (Other), H. Ehler (Other), A. Horsch (Other) Cover Image

The Munich Project Cip: Volume II: The Programme Transformation System Cip-S (Lecture Notes in Computer Science #292) (Paperback)
By F. L. Bauer (Other), H. Ehler (Other), A. Horsch (Other)
$54.99
Usually arrives at our store within 4-7 days

Stacs 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings (Lecture Notes in Computer Science #294) By Robert Cori (Editor), Martin Wirsing (Editor) Cover Image

Stacs 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings (Lecture Notes in Computer Science #294) (Paperback)
By Robert Cori (Editor), Martin Wirsing (Editor)
$54.99
Usually arrives at our store within 4-7 days

Casl User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science #2900) By Michel Bidoit, Peter D. Mosses Cover Image

Casl User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science #2900) (Paperback)
By Michel Bidoit, Peter D. Mosses
$54.99
Usually arrives at our store within 4-7 days

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Lecture Notes in Computer Science #2772) By Nachum Dershowitz (Editor) Cover Image

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Lecture Notes in Computer Science #2772) (Paperback)
By Nachum Dershowitz (Editor)
$109.99
Usually arrives at our store within 4-7 days

Latin 2004: Theoretical Informatics: 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings (Lecture Notes in Computer Science #2976) By Martin Farach-Colton (Editor) Cover Image

Latin 2004: Theoretical Informatics: 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings (Lecture Notes in Computer Science #2976) (Paperback)
By Martin Farach-Colton (Editor)
$109.99
Usually arrives at our store within 4-7 days

Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Softw (Lecture Notes in Computer Science #2985) By Evelyn Duesterwald (Editor) Cover Image

Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Softw (Lecture Notes in Computer Science #2985) (Paperback)
By Evelyn Duesterwald (Editor)
$54.99
Usually arrives at our store within 4-7 days

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, Tacas 2004, Held as Part of the Joint European Confe (Lecture Notes in Computer Science #2988) By Kurt Jensen (Editor), Andreas Podelski (Editor) Cover Image

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, Tacas 2004, Held as Part of the Joint European Confe (Lecture Notes in Computer Science #2988) (Paperback)
By Kurt Jensen (Editor), Andreas Podelski (Editor)
$109.99
Usually arrives at our store within 4-7 days

Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science #2989) By Susanne Graf (Editor), Laurent Mounier (Editor) Cover Image

Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science #2989) (Paperback)
By Susanne Graf (Editor), Laurent Mounier (Editor)
$54.99
Usually arrives at our store within 4-7 days

Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science #2999) By Eerke Boiten (Editor), John Derrick (Editor), Graeme Smith (Editor) Cover Image

Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science #2999) (Paperback)
By Eerke Boiten (Editor), John Derrick (Editor), Graeme Smith (Editor)
$54.99
Usually arrives at our store within 4-7 days

Logic Programming: 20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science #3132) By Bart Demoen (Editor), Vladimir Lifschitz (Editor) Cover Image

Logic Programming: 20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science #3132) (Paperback)
By Bart Demoen (Editor), Vladimir Lifschitz (Editor)
$54.99
Usually arrives at our store within 4-7 days

Object-Oriented Technology. Ecoop 2004 Workshop Reader: Ecoop 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports By Jacques Malenfant (Editor), Bjarte M. Østvold (Editor) Cover Image

Object-Oriented Technology. Ecoop 2004 Workshop Reader: Ecoop 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports (Paperback)
By Jacques Malenfant (Editor), Bjarte M. Østvold (Editor)
$54.99
Usually arrives at our store within 4-7 days

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, Tacas 2005, Held as Part of the Joint European Confe By Nicolas Halbwachs (Editor), Lenore Zuck (Editor) Cover Image

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, Tacas 2005, Held as Part of the Joint European Confe (Paperback)
By Nicolas Halbwachs (Editor), Lenore Zuck (Editor)
$109.99
Usually arrives at our store within 4-7 days

Pages