Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy from $51.65
eBook from $16.50
|
Two-level functional languages
Nielson
Buy from $60.23
|
Scientific Metrics: Towards...
Fred Y. Ye
Buy from $103.32
eBook from $29.70
|
From Cells to Societies:...
Alexander S. Mikhailov,
Vera Calenbuhr
Buy from $103.32
eBook from $29.70
|
Nano, Quantum and Molecular...
Sandeep Kumar Shukla (Editor),
R. Iris Bahar (Editor)
Buy from $159.69
eBook from $47.70
|
Carl Adam Petri: Life and...
Einar Smith,
Tim Denvir (Translator)
Buy from $21.22
eBook from $9.00
|
Sketching as a Tool for...
David P. Woodruff
Buy from $85.03
|
Higher Order Operational...
Andrew D. Gordon (Editor),
Andrew M. Pitts (Editor)
Buy from $104.03
|
A Logical Theory of...
Alexander Bochman
Buy from $159.69
eBook from $47.70
|
Logical Aspects of...
Nicholas Asher (Editor),
Sergei Soloviev (Editor)
Buy from $51.65
eBook from $16.50
|
Adventures in Computer...
Vicente Moret-Bonillo
Buy from $79.84
eBook from $16.50
|
Fundamentals of Quantum...
Dieter Heiss (Editor)
Buy from $103.32
eBook from $29.70
|
Incomplete Information: Rough...
Ewa Orlowska (Editor)
Buy from $159.69
|
Logical Thinking in the...
Lutz Geldsetzer,
Richard L Schwartz
Buy from $122.11
eBook from $35.70
|
Proof and Computation
Helmut Schwichtenberg (Editor)
Buy from $103.32
|
The Geospatial Web: How...
Arno Scharl (Editor),
Klaus Tochtermann (Editor)
Buy from $103.32
eBook from $29.70
|
Combinatorial Optimization:...
Ivana Ljubic (Editor),
Francisco Barahona (Editor)
Buy from $79.84
eBook from $25.50
|
Contracts, Scenarios and...
Reinhold Ploesch
Buy from $51.65
eBook from $16.50
|
Formal Specification and...
L. M. G. Feijs,
H. B. M. Jonkers
Buy from $56.57
|
Fuzzy Probability and...
James J. Buckley
Buy from $103.32
|
Transactions on Petri Nets...
Kurt Jensen (Editor-in-chief),
Susanna Donatelli (Guest editor)
Buy from $51.65
eBook from $16.50
|
Quantum Hamiltonian Complexity
Sevag Gharibian,
Yichen Huang
Buy from $77.30
|
Concise Guide to Computation...
Akira Maruoka
Buy from $51.65
eBook from $16.50
|
Global Optimization with Non...
Roman G. Strongin,
Yaroslav D. Sergeyev
Buy from $159.69
eBook from $47.70
|
