Proofs and Types
Jean-Yves Girard,
Yves Lafont
Buy from $254.50
|
Graph Drawing: Algorithms for...
Ioannis G. Tollis,
Giuseppe Di Battista
Buy from $31.99
|
Living machines: A handbook...
Tony J. Prescott (Editor),
Nathan Lepora (Editor)
Buy from $117.99
eBook from $131.25
|
Evolutionary Computation: A...
Kenneth a De Jong
Buy from $32.02
|
Algorithmic Information Theory
Gregory. J. Chaitin
Buy from $41.03
|
Evolutionary Computation
David B Fogel,
IEEE
Buy from $14.99
|
Logic and Computation:...
Lawrence C. Paulson
Buy from $74.25
|
Basic Proof Theory
A. S. Troelstra,
H. Schwichtenberg
Buy from $28.55
|
The Uncertain Reasoner's...
J. B. Paris
Buy from $90.02
|
Living Computers: Replicators...
Prof. Alvis Brazma
Buy from $39.46
eBook from $28.50
|
Computational Evolution of...
Yaochu Jin
Buy from $153.28
eBook from $60.00
|
Topology via Logic
Steven Vickers
Buy from $194.50
|
Foundations of Computer...
Alfred V. Aho,
Jeffrey D. Ullman
Buy from $106.22
|
Bio-Inspired Computing for...
D P Acharjya (Editor),
V Santhi (Editor)
Buy from $224.00
eBook from $40.70
|
Illustrating Evolutionary...
Christian Jacob
Buy from $8.12
eBook from $113.00
|
Elementary Number Theory with...
Thomas Koshy
Buy from $46.10
|
Fundamentals of Natural...
Leandro Nunes de Castro
Buy from $29.70
|
Fungal Machines: Sensing and...
Andrew Adamatzky (Editor)
Buy from $175.50
eBook from $56.70
|
Logic Programming:...
James H. Andrews
Buy from $18.99
|
Physics for Computer Science...
Narciso Garcia,
Stephen Schwarz
Buy from $114.10
|
Evolutionary Optimization...
Dan Simon
Buy from $82.72
eBook from $118.00
|
Advances in Spectrum Analysis...
Simon S Haykin
Buy from $25.44
|
Foundations of Computer...
Alfred V Aho,
Jeffrey D Ullman (Editor)
Buy from $18.33
|
