Thinking About Programs
Gavin Lowe
Buy from $77.66
|
Symbolic Regression
Gabriel Kronberger,
Bogdan Burlacu
Buy from $82.13
eBook from $35.20
|
Programming Language...
Martin Erwig
Buy from $77.67
eBook from $83.00
|
Programming-Based Formal...
Marco T Morazán
Buy from $43.47
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy from $94.02
eBook from $21.00
|
Foundations of Probabilistic...
Fabrizio Riguzzi
Buy from $130.68
eBook from $82.50
|
Twenty Years of a New Kind of...
Stephen Wolfram
Buy from $29.73
|
R-Calculus, II: Many-Valued...
Wei Li,
Yuefei Sui
Buy from $138.46
eBook from $47.70
|
Teaching Computational...
Marina Bers (Editor)
Buy from $225.40
|
Complexity of Infinite-Domain...
Manuel Bodirsky
Buy from $175.09
|
Tools and Algorithms for the...
Bernhard Steffen,
Fabrice Kordon
Buy from $59.63
|
Circuit Design with Vhdl,...
Volnei A Pedroni
Buy from $79.12
eBook from $39.99
|
Train Your Brain with...
Emilee Hillman
Buy from $124.49
|
Loopy Logic!
Kirsty Holmes
Buy from $26.55
|
Formal Languages and...
Stefano Crespi Reghizzi,
Luca Breveglieri
Buy from $93.83
eBook from $29.70
|
Temporal Type Theory: A Topos...
Patrick Schultz,
David I Spivak
Buy from $116.23
eBook from $35.70
|
Essential Logic for Computer...
Rex Page,
Ruben Gamboa
Buy from $39.32
eBook from $30.99
|
Nothing Loopy about This:...
Brian P. Cleary
Buy from $9.74
|
Logics for Computer Science:...
Anita Wasilewska
Buy from $120.68
eBook from $41.70
|
Foundations of Probabilistic...
Fabrizio Riguzzi
Buy from $104.96
eBook from $68.75
|
Handbook of Model Checking
Edmund M. Clarke, Jr. (Editor),
Thomas A. Henzinger (Editor)
Buy from $146.66
eBook from $48.00
|
Semigroups in Complete...
Patrik Eklund,
Javier Gutie rrez Garci a
Buy from $116.24
eBook from $39.00
|
An Introduction to the...
Domenico Cantone,
Pietro Ursino
Buy from $60.65
eBook from $16.50
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy from $85.99
eBook from $98.40
|
