|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Softw 2006 Edition (Lecture Notes in Computer Science) | Mycroft, Alan | Paperback | 354033050X /
9783540330509 | 03/2006 | $52.24 |
|  | Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Softw 2007 Edition (Lecture Notes in Computer Science) | Krishnamurthi, Shriram | Paperback | 3540712283 /
9783540712282 | 03/2007 | $52.24 |
|  | Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Softw 2008 Edition (Lecture Notes in Computer Science) | Hendren, Laurie | Paperback | 3540787909 /
9783540787907 | 03/2008 | $52.24 |
|  | Composition Notebook College Ruled & Graph: Half College Ruled-Half Graph 5x5 Paper Styles on One Sheet to Get Creative: Coordinate, Grid, Squared, Ma | O. Pitt, Craig | Paperback | 1799171469 /
9781799171461 | 03/2019 | $5.30 |
|  | Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship 1989 Edition (Lecture Notes in Computer Science) | Zwiers, Job | Paperback | 3540508457 /
9783540508458 | 02/1989 | $52.24 |
|  | Compressed Data Structures for Strings: On Searching and Extracting Strings from Compressed Textual Data 2014 Edition (Atlantis Studies in Computing) | Venturini, Rossano | Hardcover | 9462390320 /
9789462390324 | 11/2013 | $52.24 |
|  | Computation and Reasoning - A Type Theory for Computer Science | Luo, Zhaohui | Hardcover | 0198538359 /
9780198538356 | 05/1994 | $99.75 |
|  | Computational Logic and Set Theory 2004. Corr. 2nd Edition (Texts in Computer Science) | Schwartz, Jacob | Hardcover | 0387407626 /
9780387407623 | 04/2007 | $66.45 |
|  | Computer Aided Logical Design with Emphasis on VLSI Revised Edition | Hill, Frederick J. | Paperback | 0471575275 /
9780471575276 | 03/1993 | $239.53 |
|  | Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, Bc, Canada, June 28-July 2, 1998, Proceedings 1998 Edition (Lecture Notes in Computer Science,) | Hu, Alan J. | Paperback | 3540646086 /
9783540646082 | 06/1998 | $104.49 |
|  | Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science) | Halbwachs, Nicolas | Paperback | 3540662022 /
9783540662020 | 06/1999 | $52.24 |
|  | Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Hunt Jr, Warren A. | Paperback | 3540405240 /
9783540405245 | 06/2003 | $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 |
|  | Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings 2005 Edition (Lecture Notes in Computer Science) | Etessami, Kousha | Paperback | 3540272313 /
9783540272311 | 06/2005 | $104.49 |
|  | Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings 2006 Edition (Lecture Notes in Computer Science) | Ball, Thomas | Paperback | 354037406X /
9783540374060 | 08/2006 | $104.49 |
|  | Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Germany, July 3-7, 2007, Proceedings 2007 Edition (Lecture Notes in Computer Science) | Damm, Werner | Paperback | 3540733671 /
9783540733676 | 07/2007 | $52.24 |
|  | Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Gupta, Aarti | Paperback | 3540705430 /
9783540705437 | 06/2008 | $132.05 |
|  | Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science) | Bouajjani, Ahmed | Paperback | 3642026575 /
9783642026577 | 06/2009 | $104.49 |
|  | Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings 2010 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Touili, Tayssir | Paperback | 364214294X /
9783642142949 | 06/2010 | $104.49 |
|  | Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994. Proceedings 1994 Edition (Lecture Notes in Computer Science) | Dill, David L. | Paperback | 3540581790 /
9783540581796 | 06/1994 | $52.24 |
|  | Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings 1995 Edition (Lecture Notes in Computer Science) | Wolper, Pierre | Paperback | 3540600450 /
9783540600459 | 06/1995 | $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: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings 1997 Edition (Lecture Notes in Computer Science) | Grumberg, Orna | Paperback | 3540631666 /
9783540631668 | 06/1997 | $52.24 |
|  | Computer Aids For VLSI Design | Rubin, Steven M. | Paperback | 0972751424 /
9780972751421 | 01/2009 | $28.45 |
|  | Computer Engineering and Technology: 20th Ccf Conference, Nccet 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers 2016 Edition (Communications in Computer and Information Science) | Xu, Weixia | Paperback | 9811031584 /
9789811031588 | 12/2016 | $52.24 |
|
|
|
