Logica Universalis: Towards a General Theory of Logic (Paperback) By Jean-Yves Beziau (Editor) $54.99 Usually Ships in 1-5 Days	Primality Testing and Abelian Varieties Over Finite Fields (Lecture Notes in Mathematics #1512) (Paperback) By Leonard M. Adleman, Ming-Deh A. Huang $39.99 Usually Ships in 1-5 Days	High -- Level Synthesis: Introduction to Chip and System Design (Paperback) By Daniel D. Gajski, Nikil D. Dutt, Allen C-H Wu $169.99 Usually Ships in 1-5 Days
Relational Methods in Computer Science (Advances in Computing Sciences) (Paperback) By Chris Brink (Editor), Wolfram Kahl (Editor), Günther Schmidt (Editor) $54.99 Usually Ships in 1-5 Days	Low Power Design with High-Level Power Estimation and Power-Aware Synthesis (Paperback) By Sumit Ahuja, Avinash Lakshminarayana, Sandeep Kumar Shukla $109.99 Usually Ships in 1-5 Days	Closing the Gap Between ASIC & Custom: Tools and Techniques for High-Performance ASIC Design (Paperback) By David Chinnery, Kurt Keutzer $169.99 Usually Ships in 1-5 Days
Compact Models and Measurement Techniques for High-Speed Interconnects (Springerbriefs in Electrical and Computer Engineering) (Paperback) By Rohit Sharma, Tapas Chakravarty $54.99 Usually Ships in 1-5 Days	Testing of Interposer-Based 2.5d Integrated Circuits (Paperback) By Ran Wang, Krishnendu Chakrabarty $119.99 Usually Ships in 1-5 Days	Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science #36) (Paperback) By Sheila A. Greibach $24.99 Usually Ships in 1-5 Days
Combinatorial Algorithms for Integrated Circuit Layout (Xapplicable Theory in Computer Science) (Paperback) By Thomas Lengauer (With) $54.99 Usually Ships in 1-5 Days	Design of Experiments for Reinforcement Learning (Springer Theses) (Paperback) By Christopher Gatti $109.99 Usually Ships in 1-5 Days	Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science) (Paperback) By Steven S. Skiena, Miguel A. Revilla $79.99 Email or call for price.