Christel baier u a (5 risultati)

Taschenbuch. Condizione: Neu. Foundations of Software Science and Computation Structures | 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings | Christel Baier (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2018 | Springer | EAN 9783319893655 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Formal Techniques for Distributed Objects, Components, and Systems | 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings | Christel Baier (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2018 | Springer | EAN 9783319926117 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condizione: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings | Christel Baier (u. a.) | Taschenbuch | xviii | Englisch | 2015 | Springer | EAN 9783662466803 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condizione: Neu. SOFSEM 2017: Theory and Practice of Computer Science | 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings | Bernhard Steffen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2017 | Springer | EAN 9783319519623 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Validation of Stochastic Systems | A Guide to Current Research | Christel Baier (u. a.) | Taschenbuch | viii | Englisch | 2004 | Springer | EAN 9783540222651 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …