|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Ambient Intelligence: Impact on Embedded System Design 2003 Edition | Basten, Twan | Paperback | 1441954074 /
9781441954077 | 11/2010 | $161.49 |
|  | An Artificial Intelligence Approach to Test Generation Softcover Repri Edition (The Springer International Engineering and Computer Science) | Singh, Narinder | Paperback | 1461291836 /
9781461291831 | 10/2011 | $104.49 |
|  | An Artificial Intelligence Approach to Test Generation 1987 Edition (The Springer International Engineering and Computer Science) | Singh, Narinder | Hardcover | 0898381851 /
9780898381856 | 02/1987 | $104.49 |
|  | An Introduction to Logic Circuit Testing (Synthesis Lectures on Digital Circuits and Systems) | Lala, Parag K. | Paperback | 1598293508 /
9781598293500 | 10/2008 | $33.25 |
|  | An Introduction to Logic Circuit Testing | Lala, Parag K. | Paperback | 3031797841 /
9783031797842 | 10/2008 | $28.49 |
|  | An Introduction to Practical Formal Methods Using Temporal Logic | Fisher, Michael | Hardcover | 0470027886 /
9780470027882 | 06/2011 | $151.00 |
|  | Analog Design Issues in Digital VLSI Circuits and Systems: A Special Issue of Analog Integrated Circuits and Signal Processing, an International Journ Softcover Repri Edition | Becerra, Juan J. | Paperback | 1461377951 /
9781461377955 | 03/2013 | $104.49 |
|  | Analog Design Issues in Digital VLSI Circuits and Systems: A Special Issue of Analog Integrated Circuits and Signal Processing, an International Journ 1997 Edition (Analog Integrated Circuits & Signal Processing) | Becerra, Juan J. | Hardcover | 0792399501 /
9780792399506 | 09/1997 | $104.49 |
|  | Analog VLSI Neural Networks: A Special Issue of Analog Integrated Circuits and Signal Processing (Kluwer International Series in Engineering & Computer Science) | Takefuji, Yoshiyasu | Hardcover | 0792392736 /
9780792392736 | 11/1992 | $161.49 |
|  | Analog VLSI Neural Networks: A Special Issue of Analog Integrated Circuits and Signal Processing 1993 Edition (The Springer International Engineering and Computer Science) | Takefuji, Yoshiyasu | Paperback | 1461365929 /
9781461365921 | 11/2012 | $161.49 |
|  | Architecture and CAD for Deep-Submicron FPGAs Softcover Repri Edition (The Springer International Engineering and Computer Science) | Betz, Vaughn | Paperback | 1461373425 /
9781461373421 | 11/2012 | $208.99 |
|  | Architecture and CAD for Deep-Submicron FPGAs 1999 Edition (The Springer International Engineering and Computer Science) | Betz, Vaughn | Hardcover | 0792384601 /
9780792384601 | 03/1999 | $208.99 |
|  | Arduino | Thompson, Matthew | Paperback | 172107662X /
9781721076628 | 06/2018 | $12.80 |
|  | Assertion-Based Design | Foster, Harry D. | Paperback | 1441954627 /
9781441954626 | 11/2010 | $161.49 |
|  | Assertion-Based Design Softcover Repri Edition | Foster, Harry D. | Paperback | 146134848X /
9781461348481 | 10/2012 | $52.24 |
|  | Assertion-Based Design 2004 Edition (Information Technology: Transmission, Processing & Storage) | Foster, Harry D. | Hardcover | 1402080271 /
9781402080272 | 05/2004 | $161.49 |
|  | Assertion-Based Design | Foster, Harry | Hardcover | 1402074980 /
9781402074981 | 06/2003 | $94.05 |
|  | Asynchronous Circuits 1995 Edition (Monographs in Computer Science) | Brzozowski, Janusz A. | Hardcover | 0387944206 /
9780387944203 | 02/1995 | $161.49 |
|  | Asynchronous Circuits Softcover Repri Edition (Monographs in Computer Science) | Brzozowski, Janusz A. | Paperback | 1461286980 /
9781461286981 | 11/2011 | $161.49 |
|  | Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings 2006 Edition (Lecture Notes in Computer Science) | Graf, Susanne | Paperback | 3540472371 /
9783540472377 | 10/2006 | $52.24 |
|  | Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings 2007 Edition (Lecture Notes in Computer Science) | Namjoshi, Kedar | Paperback | 3540755950 /
9783540755951 | 10/2007 | $52.24 |
|  | Automated Technology for Verification and Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings 2005 Edition (Lecture Notes in Computer Science) | Peled, Doron a. | Paperback | 3540292098 /
9783540292098 | 09/2005 | $52.24 |
|  | Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings 1990 Edition (Lecture Notes in Computer Science) | Sifakis, Joseph | Paperback | 3540521488 /
9783540521488 | 01/1990 | $52.24 |
|  | Automatische Synthese Rekursiver Programme ALS Beweisverfahren (Informatik-Fachberichte) (German) | Biundo, Susanne | Paperback | 3540553002 /
9783540553007 | 04/1992 | $66.49 |
|  | Axiomatising the Logic of Computer Programming 1982 Edition (Lecture Notes in Computer Science) | Goldblatt, R. | Paperback | 3540112103 /
9783540112105 | 03/1982 | $23.74 |
|
|
|
