S. auch (eventuell von anderen Autoren): |
2017 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 10205) |
2017 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 10206) |
2015 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 9035) |
2013 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 7795) |
2012 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 7214) |
2010 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 6015) |
2009 | Taschenbuch | Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 5505) |