Verification of Sequential...
Krzysztof R Apt,
Amir Pnueli (Foreword by)
Buy new from $84.53
|
Logic of Analog & Digital...
Paolo Rocchi
Buy new from $86.87
|
Compact Models and...
Rohit Sharma,
Tapas Chakravarty
Buy new from $51.65
eBook from $16.50
|
New Advances in Computer...
Rae Earnshaw (Editor),
Brian Wyvill (Editor)
Buy new from $51.65
|
Interactive Systems: Design,...
Fabio Paterno (Editor)
Buy new from $51.65
|
Denkfallen Und...
Timm Grams
Buy new from $56.35
|
Computer-Aided Design and...
Kit Man Cham,
Soo-Young Oh
Buy new from $51.65
|
VLSI Placement and Routing:...
Alan T Sherman
Buy new from $51.65
|
VLSI Systems and Computations
H T Kung (Editor),
R Sproull (Editor)
Buy new from $103.32
|
Iteration Theories: The...
Stephen L Bloom,
Zoltan Esik
Buy new from $103.32
|
Current Sense Amplifiers for...
Bernhard Wicht
Buy new from $103.32
eBook from $29.70
|
Nonsequential Processes: A...
Eike Best,
Cesar Fernandez C
Buy new from $51.65
|
Proof and Computation
Helmut Schwichtenberg (Editor)
Buy new from $103.32
|
Abstrakte Modellierung...
Klaus Ten Hagen
Buy new from $56.35
|
Programming and Mathematical...
Manfred Broy,
F L Bauer
Buy new from $103.32
|
Structural Complexity II
Jose L Balcazar,
Josep Diaz
Buy new from $112.72
|
Beauty Is Our Business: A...
W H J Feijen (Editor),
A J M Van Gasteren (Editor)
Buy new from $206.66
|
Handbook of Philosophical...
Dov M Gabbay (Editor),
Franz Guenthner (Editor)
Buy new from $131.50
|
The Origins of Digital...
B Randell (Editor)
Buy new from $206.66
|
Temporal Logic of Programs
Fred Kröger
Buy new from $51.65
|
Computability
Klaus Weihrauch
Buy new from $51.65
|
Computer-Aided Design and...
Kit Man Cham,
Soo-Young Oh
Buy new from $159.69
|
Applications of Number Theory...
L -K Hua,
Y Wang
Buy new from $51.65
|
Petri Nets: An Introduction
Wolfgang Reisig
Buy new from $51.65
|
