Computer Systems: A...
Randal Bryant,
David O'Hallaron
Buy from $40.90
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy from $28.07
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy from $50.21
eBook from $19.50
|
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
|
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 $18.49
|
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 $76.11
eBook from $83.00
|
Introduction to Languages and...
John C Martin
Buy from $21.92
|
Predicate Calculus and...
Edsger W Dijkstra,
Carel S Scholten
Buy from $100.56
|
Principles of Program Analysis
Flemming Nielson,
Hanne R Nielson
Buy from $38.85
eBook from $21.00
|
Constraint Handling Rules
Thom Frühwirth
Buy from $7.15
eBook from $57.60
|
Programming-Based Formal...
Marco T Morazán
Buy from $43.47
|
Introduction to Computer...
Krishna Kant
Buy from $28.05
|
Logical Foundations of...
Michael R Genesereth,
Nils J Nilsson
Buy from $12.96
eBook from $72.95
|
Software Specification Methods
Henri Habrias (Editor),
Marc Frappier (Editor)
Buy from $43.88
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy from $94.02
eBook from $21.00
|
Handbook of Logic in...
Gabbay,
Hogger
Buy from $347.50
|
Type Theory and Functional...
Simon Thompson
Buy from $185.00
|
