Computer Systems: A...
Randal Bryant,
David O'Hallaron
Buy from $25.68
eBook from $64.98
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy from $22.73
|
Decision Procedures: An...
Daniel Kroening,
Ofer Strichman
Buy from $49.05
eBook from $19.50
|
Principles of Program Analysis
Flemming Nielson,
Hanne R Nielson
Buy from $31.85
eBook from $21.00
|
Structured Computer...
Andrew Tanenbaum,
Todd Austin
Buy from $36.35
eBook from $64.98
|
Symbolic Regression
Gabriel Kronberger,
Bogdan Burlacu
Buy from $75.13
eBook from $35.20
|
Temporal Logic and State...
Fred Kröger,
Stephan Merz
Buy from $54.53
|
Advances in Object-Oriented...
Christoph Zimmermann,
Zhixue Wu (Contributions by)
Buy from $94.83
|
Logic for Applications
Anil Nerode,
Richard A Shore
Buy from $11.49
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy from $78.99
eBook from $98.40
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy from $60.75
|
Adapting Proofs-As-Programs:...
Iman Poernomo,
John N Crossley
Buy from $80.09
eBook from $47.70
|
Categories for Software...
Jose Luiz Fiadeiro
Buy from $51.65
eBook from $16.50
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy from $37.89
|
Programming Language...
Martin Erwig
Buy from $70.67
eBook from $83.00
|
Predicate Calculus and...
Edsger W Dijkstra,
Carel S Scholten
Buy from $95.01
|
Programming-Based Formal...
Marco T Morazán
Buy from $36.47
|
Constraint Handling Rules
Thom Frühwirth
Buy from $18.15
eBook from $57.60
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy from $87.02
eBook from $21.00
|
Software Specification Methods
Henri Habrias (Editor),
Marc Frappier (Editor)
Buy from $36.88
|
The Calculus of Computation:...
Aaron R Bradley,
Zohar Manna
Buy from $41.55
|
Logical Foundations of...
Michael R Genesereth,
Nils J Nilsson
Buy from $33.99
eBook from $72.95
|
Temporal Type Theory: A Topos...
Patrick Schultz,
David I Spivak
Buy from $109.23
eBook from $35.70
|
Introduction to Languages and...
John C Martin
Buy from $14.92
|
