|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen 1998 Edition (Lecture Notes in Computer Science) | Steffen, Bernhard | Paperback | 3540643567 /
9783540643562 | 03/1998 | $52.24 |
|  | Topology Via Logic Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Vickers, Steven | Paperback | 0521576512 /
9780521576512 | 09/1996 | $65.54 |
|  | Towards a Design Flow for Reversible Logic 2010 Edition | Wille, Robert | Hardcover | 9048195780 /
9789048195787 | 08/2010 | $104.49 |
|  | Towards a Design Flow for Reversible Logic 2010 Edition | Wille, Robert | Paperback | 9400794258 /
9789400794252 | 10/2014 | $104.49 |
|  | Towards One-Pass Synthesis 2002 Edition | Drechsler, Rolf | Hardcover | 1402070446 /
9781402070440 | 05/2002 | $104.49 |
|  | Towards One-Pass Synthesis | Drechsler, Rolf | Paperback | 1441952799 /
9781441952790 | 12/2010 | $104.49 |
|  | Trace Theory and VLSI Design 1985 Edition (Lecture Notes in Computer Science) | Snepscheut, Jan L. a. Van De | Paperback | 3540159886 /
9783540159889 | 10/1985 | $52.24 |
|  | Transactions on Computational Science XXIV: Special Issue on Reversible Computing 2014 Edition (Lecture Notes in Computer Science / Transactions on Computat) | Gavrilova, Marina L. | Paperback | 3662457105 /
9783662457108 | 12/2014 | $52.24 |
|  | Transactions on High-Performance Embedded Architectures and Compilers V 2019 Edition (Lecture Notes in Computer Science) | Stenström, Per | Paperback | 3662588331 /
9783662588338 | 03/2019 | $52.24 |
|  | Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers 2008 Edition (Lecture Notes in Computer Science) | Miculan, Marino | Paperback | 3540680845 /
9783540680840 | 05/2008 | $52.24 |
|  | Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers 2009 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Berardi, Stefano | Paperback | 3642024432 /
9783642024436 | 06/2009 | $52.24 |
|  | Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers 2006 Edition (Lecture Notes in Computer Science) | Filliatre, Jean-Christophe | Paperback | 3540314288 /
9783540314288 | 01/2006 | $52.24 |
|  | Types for Proofs and Programs: International Workshop, Types 2006, Nottingham, Uk, April 18-21, 2006, Revised Selected Papers 2007 Edition (Lecture Notes in Computer Science) | Altenkirch, Thorsten | Paperback | 3540744630 /
9783540744634 | 10/2007 | $52.24 |
|  | ULSI Semiconductor Technology Atlas | Tung, Chih-Hang | Hardcover | 0471457728 /
9780471457725 | 10/2003 | $249.80 |
|  | Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs) | Esparza, Javier | Paperback | 3642096050 /
9783642096051 | 11/2010 | $104.49 |
|  | Unfoldings: A Partial-Order Approach to Model Checking 2008 Edition (Monographs in Theoretical Computer Science. an Eatcs) | Esparza, Javier | Hardcover | 3540774254 /
9783540774259 | 03/2008 | $104.49 |
|  | Unified Methods for VLSI Simulation and Test Generation 1989 Edition (The Springer International Engineering and Computer Science) | Kwang-Ting | Hardcover | 0792390253 /
9780792390251 | 06/1989 | $104.49 |
|  | Unifying Theories of Programming (Lecture Notes in Computer Science) | Butterfield, Andrew | Paperback | 3642145205 /
9783642145209 | 07/2010 | $52.24 |
|  | Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings (Lecture Notes in Computer Science) | Qin, Shengchao | Paperback | 364216689X /
9783642166891 | 10/2010 | $52.24 |
|  | Using Microsoft Paint To Design Book Covers: A Guide for e-book and print book cover designs | Maluth, John Monyjok | Paperback | 1494242095 /
9781494242091 | 11/2013 | $37.04 |
|  | VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings 1990 Edition (Lecture Notes in Computer Science) | Bjørner, Dines | Paperback | 3540525130 /
9783540525134 | 04/1990 | $52.24 |
|  | Verification of Sequential and Concurrent Programs 2009, Corr. 3rd Edition (Texts in Computer Science) | Apt, Krzysztof R. | Hardcover | 184882744X /
9781848827448 | 10/2009 | $104.49 |
|  | Verification of Sequential and Concurrent Programs (Texts in Computer Science) | Apt, Krzysztof R. | Paperback | 1447125134 /
9781447125136 | 03/2012 | $85.49 |
|  | Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages 2004 Edition | James, Peet | Hardcover | 1402076193 /
9781402076190 | 10/2003 | $170.99 |
|  | Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages 2004 Edition | James, Peet | Paperback | 1461350948 /
9781461350941 | 11/2012 | $170.99 |
|
|
|
