Concurrent Patterns and Best...
Atul S. Khot
Buy from $37.78
eBook from $33.99
|
Foundations of Deductive...
Jack Minker (Editor)
Buy from $59.90
eBook from $93.95
|
A Primer on Compression in...
Somayeh Sardashti,
Angelos Arelakis
Buy from $24.75
eBook from $9.00
|
First-Order Logic and...
Melvin Fitting
Buy from $62.10
|
Efficient Graph Rewriting and...
Heiko D÷rr
Buy from $46.63
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy from $51.63
eBook from $16.50
|
Z-80 Microprocessor:...
Ramesh Gaonkar
Buy from $89.95
|
Categories for Types
Roy L Crole
Buy from $58.78
|
Verified Software: Theories,...
Gary T Leavens (Editor),
Peter O'Hearn (Editor)
Buy from $102.55
|
Logical Foundations of...
Pavel Pudlßk
Buy from $187.87
eBook from $56.70
|
Combinatorial Algorithms for...
Thomas Lengauer
Buy from $51.65
|
High Performance Enterprise...
Ockert J Du Preez
Buy from $25.72
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $51.65
eBook from $16.50
|
Verification, Induction,...
Simon Siegler (Editor),
Nathan Wasser (Editor)
Buy from $63.00
|
Compiling Algorithms for...
Steven Bell,
Jing Pu
Buy from $14.25
eBook from $16.50
|
Understanding Programming and...
Matthew Anniss
Buy from $10.04
|
Foundations of Logic...
J W Lloyd
Buy from $13.25
|
Beginning MATLAB and Simulink...
Sulaymon Eshkabilov
Buy from $39.99
eBook from $10.50
|
Programming Logic and Design:...
Joyce Farrell
Buy from $5.00
eBook from $59.99
|
Logic, Programming, and PROLOG
Ulf Nilsson,
Jan Maluszynski
Buy from $52.31
|
Programmable Logic Controllers
Colin D Simpson
Buy from $27.05
|
Computer Organization and...
C William Gear
Buy from $5.18
|
Computational Category Theory
D E Rydeheard
Buy from $283.35
|
Logic Programming: Systematic...
Yves Deville
Buy from $23.05
|