Computer Arithmetic and...
Sylvie Boldo,
Guillaume Melquiond
Buy from $184.13
eBook from $150.00
|
The Description Logic...
Franz Baader (Editor),
Diego Calvanese (Editor)
Buy from $123.69
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy from $38.71
|
Handbook of Formal Languages:...
Grzegorz Rozenberg (Editor),
Arto Salomaa (Editor)
Buy from $93.00
|
Lecture Notes on Empirical...
Natalia Juristo (Editor),
Ana M Moreno (Editor)
Buy from $204.30
eBook from $58.00
|
Verilog Digital Computer...
Mark Arnold, QC
Buy from $14.95
|
Essentials of Computer...
Douglas E Comer
Buy from $3.67
|
Numbers and Computers
Ronald T Kneusel
Buy from $127.77
eBook from $19.50
|
Foundations of Deductive...
Jack Minker (Editor)
Buy from $64.00
eBook from $93.95
|
Programming Concepts and...
David Gries (Editor),
Willem-Paul de Roever (Editor)
Buy from $206.66
|
Syntax-Directed Semantics:...
Zoltan Fulop,
Heiko Vogler
Buy from $51.85
|
The Description Logic...
Franz Baader (Editor),
Diego Calvanese (Editor)
Buy from $34.24
|
Logic Programming:...
James H. Andrews
Buy from $27.96
|
Representing and Reasoning...
Fahiem Bacchus
Buy from $74.83
|
Specification of Software...
V S Alagar,
K Periyasamy
Buy from $51.65
eBook from $16.50
|
Programming-Based Formal...
Marco T Morazán
Buy from $61.05
|
Basic Proof Theory
A. S. Troelstra,
H. Schwichtenberg
Buy from $128.34
|
Complexity Theory: Exploring...
Ingo Wegener,
R Pruim (Translator)
Buy from $60.00
|
Handbook of Logic in Computer...
Thomas S E Maibaum,
Samson Abramsky (Editor)
Buy from $286.10
|
Collected Papers: Volume 4:...
Alfred Tarski
Buy from $234.84
|
Digital System Design and...
John P Hayes
Buy from $10.73
|
Threshold Logic and Its...
Saburo Muroga
Buy from $155.15
|
Principles of Automated...
David A Duffy
Buy from $60.99
|
Type Theory and Functional...
Simon Thompson
Buy from $102.42
|
