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.93
|
Living machines: A handbook...
Tony J. Prescott (Editor),
Nathan Lepora (Editor)
Buy from $110.99
eBook from $113.99
|
Elementary Number Theory with...
Thomas Koshy
Buy from $157.82
eBook from $110.00
|
Algorithmic Information Theory
Gregory. J. Chaitin
Buy from $33.27
|
Evolutionary Computation
David B Fogel,
IEEE
Buy from $7.99
|
Logic Programming:...
James H. Andrews
Buy from $28.99
|
Living Computers: Replicators...
Prof. Alvis Brazma
Buy from $33.94
eBook from $24.99
|
Bio-Inspired Computing for...
D P Acharjya (Editor),
V Santhi (Editor)
Buy from $231.65
eBook from $40.70
|
Computational Evolution of...
Yaochu Jin
Buy from $146.28
eBook from $60.00
|
Basic Proof Theory
A. S. Troelstra,
H. Schwichtenberg
Buy from $38.55
|
Logic and Computation:...
Lawrence C. Paulson
Buy from $84.25
|
Foundations of Computer...
Alfred V. Aho,
Jeffrey D. Ullman
Buy from $99.22
|
Evolutionary Computation: A...
Kenneth a De Jong
Buy from $25.02
|
Illustrating Evolutionary...
Christian Jacob
Buy from $13.93
eBook from $113.00
|
Topology via Logic
Steven Vickers
Buy from $292.10
|
Fundamentals of Natural...
Leandro Nunes de Castro
Buy from $22.70
|
The Uncertain Reasoner's...
J. B. Paris
Buy from $83.02
|
Fungal Machines: Sensing and...
Andrew Adamatzky (Editor)
Buy from $163.55
eBook from $56.70
|
Elementary Number Theory with...
Thomas Koshy
Buy from $56.36
|
Physics for Computer Science...
Narciso Garcia,
Stephen Schwarz
Buy from $107.10
|
Evolutionary Optimization...
Dan Simon
Buy from $75.64
eBook from $118.00
|
Advances in Spectrum Analysis...
Simon S Haykin
Buy from $18.44
|
Foundations of Computer...
Alfred V Aho,
Jeffrey D Ullman (Editor)
Buy from $10.37
|
