|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Computing and Software Science: State of the Art and Perspectives 2019 Edition | Steffen, Bernhard | Paperback | 3319919075 / 9783319919072 | 10/2019 | $31.34 |
| | Correct System Design: Recent Insights and Advances 1999 Edition (Lecture Notes in Computer Science) | Olderog, Ernst-Rüdiger | Paperback | 3540666249 / 9783540666240 | 09/1999 | $52.24 |
| | Grundlagen Der Höheren Informatik: Induktives Vorgehen 2014 Edition (eXamen.Press) (German) | Steffen, Bernhard | Hardcover | 3642401457 / 9783642401459 | 10/2013 | $37.99 |
| | Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text (German) | Steffen, Bernhard | Paperback | 1146298080 / 9781146298087 | 03/2010 | $16.86 |
| | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus 2018 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3030034232 / 9783030034238 | 10/2018 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus 2018 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3030034267 / 9783030034269 | 10/2018 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 2018 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3030034178 / 9783030034177 | 10/2018 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3662452308 / 9783662452301 | 10/2014 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3662452332 / 9783662452332 | 10/2014 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem 2018 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3030034208 / 9783030034207 | 10/2018 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15- 2012 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3642340318 / 9783642340314 | 09/2012 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15- 2012 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3642340253 / 9783642340253 | 09/2012 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20 2016 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3319471686 / 9783319471686 | 10/2016 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co 2016 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3319471651 / 9783319471655 | 10/2016 | $104.49 |
| | Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15, 2008 Edition (Communications in Computer and Information Science) | Margaria, Tiziana | Paperback | 3540884785 / 9783540884781 | 10/2008 | $161.49 |
| | Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion, (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3642165605 / 9783642165603 | 10/2010 | $52.24 |
| | Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3642165575 / 9783642165573 | 10/2010 | $104.49 |
| | Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004, Revised Selected Pa 2006 Edition (Lecture Notes in Computer Science) | Maragria, Tiziana | Paperback | 3540489282 / 9783540489283 | 11/2006 | $52.24 |
| | Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches 2018 Edition | Steffen, Bernhard | Hardcover | 3319683969 / 9783319683966 | 04/2018 | $37.99 |
| | Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches Softcover Repri Edition | Steffen, Bernhard | Paperback | 3030098338 / 9783030098339 | 01/2019 | $37.99 |
| | Services and Visualization: Towards User-Friendly Design: Acos'98, Visual'98, Ain'97, Selected Papers 1998 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3540643672 / 9783540643678 | 03/1998 | $52.24 |
| | 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: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen 1998 Edition (Lecture Notes in Computer Science) | Steffen, Bernhard | Paperback | 3540643567 / 9783540643562 | 03/1998 | $52.24 |
| | Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Pro 1996 Edition (Lecture Notes in Artificial Intelligence) | Margaria, Tiziana | Paperback | 3540610421 / 9783540610427 | 03/1996 | $52.24 |
| | Transactions on Foundations for Mastering Change I 2016 Edition (Lecture Notes in Computer Science) | Steffen, Bernhard | Paperback | 3319465074 / 9783319465074 | 09/2016 | $52.24 |
|
|
|