|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Specification and Transformation of Programs: A Formal Approach to Software Development 1990 Edition (Monographs in Computer Science) | Partsch, Helmut A. | Hardcover | 3540523561 /
9783540523567 | 07/1990 | $52.24 |
|  | Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Iida, Shusaku | Paperback | 3642546234 /
9783642546235 | 02/2014 | $52.24 |
|  | SQL Data Analysis Programming for Beginners: How to Learn SQL Data Analysis in Less Than a Week. The Ultimate Step-by-Step Complete Course from Novice | Brown, William | Paperback | 1803668148 /
9781803668147 | 07/2021 | $27.86 |
|  | sql programming and coding: Learn the SQL Language Used by Apps and Organizations, How to Add, Remove and Update Data and Learn More about Compute | Learn, Michael | Hardcover | 1801329087 /
9781801329088 | 12/2020 | $26.99 |
|  | Sql Programming and Coding: Learn the SQL Language Used by Apps and Organizations, How to Add, Remove and Update Data and Learn More about Compute | Learn, Michael | Paperback | 1801329036 /
9781801329033 | 11/2020 | $17.99 |
|  | SQL: The SQL book in an innovative course to programming SQL easily and fastly | Myers, Erick | Paperback | 1801144818 /
9781801144810 | 01/2021 | $17.99 |
|  | Static Analysis: 20th International Symposium, SAS 2013, Seattle, Wa, Usa, June 20-22, 2012, Proceedings 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Logozzo, Francesco | Paperback | 3642388558 /
9783642388552 | 06/2013 | $52.24 |
|  | Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Müller-Olm, Markus | Paperback | 3319109359 /
9783319109350 | 08/2014 | $52.24 |
|  | Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science) | Blazy, Sandrine | Paperback | 3662482878 /
9783662482872 | 09/2015 | $52.24 |
|  | Static Analysis: 24th International Symposium, SAS 2017, New York, Ny, Usa, August 30 - September 1, 2017, Proceedings 2017 Edition (Lecture Notes in Computer Science) | Ranzato, Francesco | Paperback | 331966705X /
9783319667058 | 08/2017 | $52.24 |
|  | Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings 2018 Edition (Lecture Notes in Computer Science) | Podelski, Andreas | Paperback | 3319997246 /
9783319997247 | 08/2018 | $52.24 |
|  | Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings 2019 Edition | Chang, Bor-Yuh Evan | Paperback | 303032303X /
9783030323035 | 10/2019 | $52.24 |
|  | Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings 2022 Edition | Singh, Gagandeep | Paperback | 3031223071 /
9783031223075 | 12/2022 | $75.99 |
|  | Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings 2023 Edition | Hermenegildo, Manuel V. | Paperback | 303144244X /
9783031442445 | 10/2023 | $85.49 |
|  | Stochastic Model Checking: International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures 2014 Edition (Lecture Notes in Computer Science) | Remke, Anne | Paperback | 3662454882 /
9783662454886 | 10/2014 | $52.24 |
|  | Structured Object-Oriented Formal Language and Method: 4th International Workshop, Sofl+msvl 2014, Luxembourg, Luxembourg, November 6, 2014, Revised S 2015 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Liu, Shaoying | Paperback | 3319174037 /
9783319174037 | 04/2015 | $42.74 |
|  | Structured Object-Oriented Formal Language and Method: Second International Workshop, Sofl 2012, Kyoto, Japan, November 13, 2012. Revised Selected Pap 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Liu, Shaoying | Paperback | 3642392768 /
9783642392764 | 08/2013 | $47.49 |
|  | Structured Object-Oriented Formal Language and Method: Third International Workshop, Sofl+msvl 2013, Queenstown, New Zealand, October 29, 2013, Revise 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Liu, Shaoying | Paperback | 3319049143 /
9783319049144 | 03/2014 | $52.24 |
|  | Survey On Metrics Relevant To Software Quality Assurance | Maria, Arulraj L. | Paperback | 9798889950288 | 03/2023 | $29.70 |
|  | Symbolic Analysis for Parallelizing Compilers 1995 Edition | Haghighat, Mohammad R. | Hardcover | 0792396235 /
9780792396239 | 09/1995 | $104.49 |
|  | Symbolic Analysis for Parallelizing Compilers Softcover Repri Edition | Haghighat, Mohammad R. | Paperback | 1475783175 /
9781475783179 | 03/2013 | $104.49 |
|  | Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Denmark, May 22 - 26, 1995. Proceeding 1995 Edition (Advances in Spatial Sciences (Paperback)) | Mosses, Peter D. | Paperback | 3540592938 /
9783540592938 | 05/1995 | $104.49 |
|  | Termersetzungssysteme: Grundlagen Der Prototyp-Generierung Algebraischer Spezifikationen (Informatik-Fachberichte) (German) | Drosten, Klaus | Paperback | 3540511725 /
9783540511724 | 04/1989 | $66.49 |
|  | Tests and Proofs: 10th International Conference, Tap 2016, Held as Part of Staf 2016, Vienna, Austria, July 5-7, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Aichernig, Bernhard K. | Paperback | 3319411349 /
9783319411347 | 06/2016 | $52.24 |
|  | The Angelos Compiler: Easy compiler construction. | Angelos, Phillip M. | Paperback | 9798879245257 | 02/2024 | $16.15 |
|
|
|
