Programming-Based Formal...
Marco T. Morazßn
Buy new from $65.47
|
Numerical Nonsmooth...
Adil M Bagirov (Editor),
Manlio Gaudioso (Editor)
Buy new from $196.87
eBook from $60.00
|
The Verilog Hardware...
Thomas
Buy new from $61.22
|
Probabilistic Reasoning in...
Yang Xiang
Buy new from $54.41
|
New Soft Computing Techniques...
Leszek Rutkowski
Buy new from $168.69
|
The Machine Learning...
David Ping
Buy new from $86.16
eBook from $71.99
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy new from $75.43
|
Algebraic Function Fields and...
Henning Stichtenoth
Buy new from $55.84
eBook from $19.50
|
Basic Proof Theory
A. S. Troelstra,
H. Schwichtenberg
Buy new from $51.82
|
Basic Simple Type Theory
J. Roger Hindley
Buy new from $40.81
|
A Course In Error-Correcting...
J°rn Justesen,
Tom H°holdt
Buy new from $26.95
|
Quantum Computer Science
Marco Lanzagorta,
Jeffrey Uhlmann
Buy new from $65.18
eBook from $10.50
|
Petri Nets for Systems...
Claude Girault,
R?diger Valk
Buy new from $88.64
eBook from $26.70
|
Action Semantics
Peter D. Mosses
Buy new from $59.85
|
Information from Processes:...
Robert M Losee
Buy new from $60.65
eBook from $16.50
|
Logical Foundations of Cyber...
Andr? Platzer
Buy new from $60.65
eBook from $16.50
|
Exploring Formalisation: A...
Clara L÷h
Buy new from $62.83
eBook from $16.50
|
Probability Logics:...
Zoran Ognjanovic,
Miodrag Raskovic
Buy new from $202.39
eBook from $41.70
|
Software Engineering:...
Suad Alagic
Buy new from $84.14
eBook from $24.00
|
The Incomputable: Journeys...
Professor S Barry Cooper (Editor),
Mariya I Soskova (Editor)
Buy new from $140.50
eBook from $41.70
|
Artificial General...
J Rgen Schmidhuber (Editor),
Kristinn R Thorisson (Editor)
Buy new from $72.45
|
Discrete Tomography:...
Gabor T. Herman (Editor),
Attila Kuba (Editor)
Buy new from $54.02
eBook from $47.70
|
Languages and Machines: An...
Thomas a Sudkamp
Buy new from $79.51
|
Methods of Information...
Shun-ichi Amari (Editor),
Hiroshi Nagaoka (Editor)
Buy new from $162.09
|
