|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-Sur-Seine, France, May 16 - 20, 1994. Selected Papers 1995 Edition (Lecture Notes in Computer Science) | Podelski, Andreas | Paperback | 3540591559 / 9783540591559 | 03/1995 | $52.24 |
| | Networked Systems: 6th International Conference, Netys 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers 2019 Edition (Lecture Notes in Computer Science) | Podelski, Andreas | Paperback | 3030055280 / 9783030055288 | 01/2019 | $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 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, Tacas 2004, Held as Part of the Joint European Confe 2004 Edition (Lecture Notes in Computer Science,) | Jensen, Kurt | Paperback | 354021299X / 9783540212997 | 03/2004 | $104.49 |
| | Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings 2007 Edition (Lecture Notes in Computer Science) | Cook, Byron | Paperback | 3540697357 / 9783540697350 | 01/2007 | $52.24 |
| | Verified Software: Theories, Tools, Experiments: 4th International Conference, Vstte 2012, Philadelphia, Pa, Usa, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science) | Joshi, Rajeev | Paperback | 3642277047 / 9783642277047 | 01/2012 | $52.24 |
|
|
|