Computer Systems: A...
Randal Bryant,
David O'Hallaron
Buy from $38.48
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy from $50.21
eBook from $19.50
|
Principles of Program Analysis
Flemming Nielson,
Hanne R Nielson
Buy from $38.85
eBook from $21.00
|
Structured Computer...
Andrew Tanenbaum,
Todd Austin
Buy from $43.35
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy from $29.73
|
Symbolic Regression
Gabriel Kronberger,
Bogdan Burlacu
Buy from $82.13
eBook from $35.20
|
Temporal Logic and State...
Fred Kröger,
Stephan Merz
Buy from $40.69
|
Advances in Object-Oriented...
Christoph Zimmermann,
Zhixue Wu (Contributions by)
Buy from $101.83
|
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 $63.93
|
Adapting Proofs-As-Programs:...
Iman Poernomo,
John N Crossley
Buy from $59.32
eBook from $47.70
|
Categories for Software...
Jose Luiz Fiadeiro
Buy from $60.65
eBook from $16.50
|
Programming with Constraints:...
Kimbal Marriott,
Peter Stuckey
Buy from $32.29
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy from $44.97
|
Programming Language...
Martin Erwig
Buy from $77.97
eBook from $83.00
|
Software Specification Methods
Henri Habrias (Editor),
Marc Frappier (Editor)
Buy from $43.88
|
Concurrency Theory: Calculi...
Howard Bowman,
Rodolfo Gomez
Buy from $81.96
eBook from $47.70
|
Programming-Based Formal...
Marco T Morazán
Buy from $43.47
|
Introduction to Languages and...
John C Martin
Buy from $21.92
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy from $94.02
eBook from $21.00
|
Introduction to Computer...
Krishna Kant
Buy from $28.05
|
Interactive Theorem Proving...
Yves Bertot,
G Huet (Foreword by)
Buy from $57.80
eBook from $29.70
|
Structured Computer...
Andrew S Tanenbaum
Buy from $9.45
|
Structured Computer...
Andrew S Tanenbaum
Buy from $50.74
|
