-
Brand: Springer
4: Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
$288.44 - $327.65 -
Brand: Springer
A Course in Computational Algebraic Number Theory (Graduate Texts in Mathematics)
$125.96 - $150.55 -
Brand: Springer
Algorithms for Memory Hierarchies: Advanced Lectures (Lecture Notes in Computer Science)
$94.88 - $108.48 -
Brand: Springer
An Introduction to Mathematical Cryptography (Undergraduate Texts in Mathematics)
$62.40 - $77.81 -
Brand: Springer
An Introduction to Soil Dynamics (Theory and Applications of Transport in Porous Media)
$123.03 - $140.14 -
-
Brand: Springer
Arithmetic on Elliptic Curves with Complex Multiplication (Lecture Notes in Mathematics)
$54.88 - $63.48 -
-
-
Brand: Springer
Constructing Predictable Real Time Systems (The Springer International Series in Engineering and Computer Science)
$219.78 - $256.17 -
-
