Computer Systems: A...
Randal Bryant,
David O'Hallaron
Buy from $40.90
|
Structured Computer...
Andrew Tanenbaum,
Todd Austin
Buy from $43.35
|
Logics for Computer Science:...
Anita Wasilewska
Buy from $123.18
eBook from $41.70
|
Advances in Object-Oriented...
Christoph Zimmermann,
Zhixue Wu (Contributions by)
Buy from $101.83
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy from $50.21
eBook from $19.50
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy from $85.99
eBook from $98.40
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy from $95.89
|
Logic for Applications
Anil Nerode,
Richard A Shore
Buy from $30.49
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy from $28.07
|
Adapting Proofs-As-Programs:...
Iman Poernomo,
John N Crossley
Buy from $80.93
eBook from $47.70
|
Categories for Software...
Jose Luiz Fiadeiro
Buy from $60.65
eBook from $16.50
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy from $37.41
|
Programming Language...
Martin Erwig
Buy from $75.93
eBook from $83.00
|
The Calculus of Computation:...
Aaron R Bradley,
Zohar Manna
Buy from $48.38
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy from $94.02
eBook from $21.00
|
Structured Computer...
Andrew S Tanenbaum
Buy from $10.93
|
Principles of Program Analysis
Flemming Nielson,
Hanne R Nielson
Buy from $38.85
eBook from $21.00
|
Introduction to Languages and...
John C Martin
Buy from $21.92
|
Temporal Logic and State...
Fred Kröger,
Stephan Merz
Buy from $55.63
|
Logical Foundations of...
Michael R Genesereth,
Nils J Nilsson
Buy from $12.96
eBook from $72.95
|
Constraint Handling Rules
Thom Frühwirth
Buy from $7.15
eBook from $57.60
|
Temporal Type Theory: A Topos...
Patrick Schultz,
David I Spivak
Buy from $116.23
eBook from $35.70
|
Interactive Theorem Proving...
Yves Bertot,
G Huet (Foreword by)
Buy from $57.80
eBook from $29.70
|
Programming with Constraints:...
Kimbal Marriott,
Peter Stuckey
Buy from $31.95
|
