|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 2006 Edition (Lecture Notes in Computer Science) | Baier, Christel | Paperback | 3540373764 / 9783540373766 | 08/2006 | $104.49 |
| | Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 2018, Held as Part of the 13th In 2018 Edition (Lecture Notes in Computer Science) | Baier, Christel | Paperback | 331992611X / 9783319926117 | 05/2018 | $52.24 |
| | Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held as Part of the European Joint Conference 2018 Edition | Baier, Christel | Paperback | 3319893653 / 9783319893655 | 04/2018 | $56.99 |
| | Principles of Model Checking (Mit Press) | Baier, Christel | Hardcover | 026202649X / 9780262026499 | 05/2008 | $108.90 |
| | Sofsem 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Lime 2017 Edition | Steffen, Bernhard | Paperback | 331951962X / 9783319519623 | 01/2017 | $52.24 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Part of the European Joint Confe 2015 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Baier, Christel | Paperback | 3662466805 / 9783662466803 | 04/2015 | $52.24 |
| | Validation of Stochastic Systems: A Guide to Current Research 2004 Edition (Lecture Notes in Computer Science) | Baier, Christel | Paperback | 3540222650 / 9783540222651 | 08/2004 | $52.24 |
|
|
|