Proofs and Types
Jean-Yves Girard,
Yves Lafont
Buy from $247.50
|
Graph Drawing: Algorithms for...
Ioannis G. Tollis,
Giuseppe Di Battista
Buy from $24.91
|
Living machines: A handbook...
Tony J. Prescott (Editor),
Nathan Lepora (Editor)
Buy from $49.95
eBook from $113.99
|
Algorithmic Information Theory
Gregory. J. Chaitin
Buy from $32.92
|
Evolutionary Computation
David B Fogel,
IEEE
Buy from $7.99
|
Elementary Number Theory with...
Thomas Koshy
Buy from $157.82
eBook from $110.00
|
Basic Proof Theory
A. S. Troelstra,
H. Schwichtenberg
Buy from $38.55
|
Logic and Computation:...
Lawrence C. Paulson
Buy from $84.25
|
Evolutionary Computation: A...
Kenneth a De Jong
Buy from $25.02
|
Bio-Inspired Computing for...
D P Acharjya (Editor),
V Santhi (Editor)
Buy from $230.12
eBook from $40.70
|
Elementary Number Theory with...
Thomas Koshy
Buy from $56.36
|
Logic Programming:...
James H. Andrews
Buy from $28.99
|
Foundations of Computer...
Alfred V. Aho,
Jeffrey D. Ullman
Buy from $99.22
|
Fungal Machines: Sensing and...
Andrew Adamatzky (Editor)
Buy from $163.55
eBook from $56.70
|
The Uncertain Reasoner's...
J. B. Paris
Buy from $83.02
|
Illustrating Evolutionary...
Christian Jacob
Buy from $13.93
eBook from $113.00
|
Living Computers: Replicators...
Prof. Alvis Brazma
Buy from $33.94
eBook from $24.99
|
Fundamentals of Natural...
Leandro Nunes de Castro
Buy from $72.27
|
Physics for Computer Science...
Narciso Garcia,
Stephen Schwarz
Buy from $107.10
|
Evolutionary Optimization...
Dan Simon
Buy from $75.63
eBook from $118.00
|
Generating Functions in...
Rajan Chattamvelli,
Ramalingam Shanmugam
Buy from $38.29
eBook from $13.50
|
Advances in Spectrum Analysis...
Simon S Haykin
Buy from $18.44
|
Foundations of Computer...
Alfred V Aho,
Jeffrey D Ullman (Editor)
Buy from $10.22
|
Elements of the Theory of...
Christos H Papadimitriou
Buy from $2.45
|
