Open Library beta
Log in
Search Results
    More search options

There are 258 matching records. Show: List / Covers

full text
Not available   258
authors
Jan M. Rabaey   3
Alberto L. Sangiovanni-Vincentelli   2
Hans Liebig   2
Maria Rynn   2
Marilyn Bohl   2
Robert K. Brayton   2
subjects
Computers / Logic Design   [x]
Logic Design   231
Computers   189
Computers - General Information   174
Computer Books: General   124
Congresses   123
publication date
2000–now   152
1980-1999   100
pre-1920   4
1960-1979   2
languages
English   254
German   4
French   2
publishers
Springer   247
Prentice Hall   4
Addison Wesley   3
Cambridge University Press   3
Kendall/Hunt Publishing Company   1
CSL '87
Springer, October 17, 1988 Paperback
CAAP '83
Springer, November 3, 1983 Paperback
Program Specification by J. Staunstrup
Springer, May 12, 1982 Paperback
Logic of Programs by E. Engeler
Springer, December 1, 1981 Paperback
Programming Logic by McKinney-Wiggin
Kendall/Hunt Publishing Company, November 1, 2000 Spiral-bound
Logics of Programs by D. Kozen
Springer, April 26, 1982 Paperback
L Systems (Lecture Notes in Computer Science)
Springer, November 4, 1974 Paperback
Category Theory and Computer Programming
Springer, November 21, 1986 Paperback
Concise Prelude to Programming by Stewart Venit
Addison Wesley, October 15, 2003 Paperback
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Springer, December 14, 2004 Paperback
Types for Proofs and Programs
Springer, August 5, 2004 Paperback
Formal Modeling and Analysis of Timed Systems
Springer, June 24, 2004 Paperback
Field Programmable Logic and Application
Springer, October 5, 2004 Hardcover
Automated Technology for Verification and Analysis by Farn Wang
Springer, November 23, 2004 Paperback
A Theory of Distributed Objects by Denis Caromel, Ludovic Henrio
Springer, December 31, 1899 Hardcover
Perspectives of Systems Informatics
Springer, March 5, 2004 Paperback
Fundamentals of Structured Program Design (2nd Edition) by Dan Robinson
Prentice Hall, February 12, 2002 Paperback
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Springer, January 12, 2005 Paperback
Types for Proofs and Programs
Springer, March 16, 2006 Paperback
Fundamentals of Algebraic Specification 2 by Hartmut Ehrig, Bernd Mahr
Springer, January 22, 1990 Hardcover


More results:  1  2  3  4  5  6  7  ... 13 NEXT >
Can't find the book you are searching for? Add a new book.
Search = 0.18 sec; Presentation = 0.00 sec