|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Concur 2005 - Concurrency Theory: 16th International Conference, Concur 2005, San Francisco, Ca, Usa, August 23-26, 2005, Proceedings 2005 Edition (Lecture Notes in Computer Science) | Abadi, Martín | Paperback | 3540283099 / 9783540283096 | 08/2005 | $52.24 |
| | Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings 1997 Edition (Lecture Notes in Computer Science,) | Abadi, Martin | Paperback | 354063388X / 9783540633884 | 08/1997 | $104.49 |
| | Communicating Sequential Processes. the First 25 Years: Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Pape 2005 Edition (Lecture Notes in Computer Science) | Abdallah, Ali E. | Paperback | 3540258132 / 9783540258131 | 05/2005 | $52.24 |
| | Foundations of Software Science and Computational Structures: 9th International Conference, Fossacs 2006, Held as Part of the Joint European Conferenc 2006 Edition (Lecture Notes in Computer Science) | Aceto, Luca | Paperback | 3540330453 / 9783540330455 | 03/2006 | $52.24 |
| | Fst Tcs 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings 2002 Edition (Lecture Notes in Computer Science) | Agrawal, Manindra | Paperback | 3540002251 / 9783540002253 | 11/2002 | $52.24 |
| | Circuit Synthesis with VHDL 1994 Edition (The Springer International Engineering and Computer Science) | Airiau, Roland | Hardcover | 0792394291 / 9780792394297 | 02/1994 | $161.49 |
| | Circuit Synthesis with VHDL Softcover Repri Edition (The Springer International Engineering and Computer Science) | Airiau, Roland | Paperback | 1461361915 / 9781461361916 | 10/2012 | $161.49 |
| | Designing Sorting Networks: A New Paradigm 2011 Edition | Al-Haj Baddar, Sherenaz W. | Hardcover | 146141850X / 9781461418504 | 11/2011 | $52.24 |
| | Decision Theory with Imperfect Information | Aliev, Rafik Aziz | Hardcover | 9814611034 / 9789814611039 | 10/2014 | $159.60 |
| | Advanced Research in VLSI: Proceedings of the Fifth MIT Conference | Allen, Jonathan | Paperback | 0262511533 / 9780262511537 | 03/1988 | $44.55 |
| | Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Pa (Lecture Notes in Computer Science) | Alpuente, María | Paperback | 364220550X / 9783642205507 | 05/2011 | $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 |
| | Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, Nj, Usa, July 31 - August 3, 1996. Proceedings 1996 Edition (Lecture Notes in Computer Science) | Alur, Rajeev | Paperback | 3540614745 / 9783540614746 | 07/1996 | $52.24 |
| | Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings 2004 Edition (Lecture Notes in Computer Science) | Alur, Rajeev | Paperback | 3540223428 / 9783540223429 | 06/2004 | $104.49 |
| | Foundations of Software Science and Computational Structures: 11th International Conference, Fossacs 2008, Held as Part of the Joint European Conferen 2008 Edition (Lecture Notes in Computer Science) | Amadio, Roberto | Paperback | 3540784977 / 9783540784975 | 03/2008 | $52.24 |
| | Concur 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Amadio, Roberto | Paperback | 3540407537 / 9783540407539 | 08/2003 | $52.24 |
| | Principles and Structures of FPGAs 2018 Edition | Amano, Hideharu | Hardcover | 9811308233 / 9789811308239 | 09/2018 | $189.99 |
| | Principles and Structures of FPGAs Softcover Repri Edition | Amano, Hideharu | Paperback | 9811345104 / 9789811345104 | 02/2019 | $189.99 |
| | Algebraic Biology: Second International Conference, AB 2007 2007 Edition (Lecture Notes in Computer Science) | Anai, Hirokazu | Paperback | 3540734325 / 9783540734321 | 06/2007 | $52.24 |
| | Microarchitecture of VLSI Computers Softcover Repri Edition (NATO Science Series E:) | Antognetti, P. | Paperback | 940108775X / 9789401087759 | 10/2011 | $52.24 |
| | Microarchitecture of VLSI Computers 1985 Edition (NATO Science Series E:) | Antognetti, P. | Hardcover | 9024732026 / 9789024732029 | 07/1985 | $94.99 |
| | Programmverifikation: Sequentielle, Parallele Und Verteilte Programme 1994 Edition (Springer-Lehrbuch) (German) | Apt, Krzysztof R. | Paperback | 3540574794 / 9783540574798 | 03/1994 | $37.95 |
| | 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 |
| | Logic Programming Languages: Constraints, Functions, and Objects | Apt, Krzysztof R. | Paperback | 0262511673 / 9780262511674 | 03/1993 | $29.70 |
|
|
|