Ina Schaefer U A (5 results)

Taschenbuch. Condition: Neu. Ernst Denert Award for Software Engineering 2020 | Practice Meets Foundations | Michael Felderer (u. a.) | Taschenbuch | vi | Englisch | 2022 | Springer | EAN 9783030831301 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condition: Neu. Software Reuse for Dynamic Systems in the Cloud and Beyond | 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings | Ina Schaefer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2014 | Springer | EAN 9783319141299 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Software Engineering and Formal Methods | 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings | Einar Broch Johnsen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2018 | Springer | EAN 9783319929699 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Formal Methods for Executable Software Models | 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures | Marco Bernardo (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2014 | Springer | EAN 9783319073163 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Buch. Condition: Neu. Schlaft gut! | Die schönsten Gutenachtgeschichten von Kirsten Boie, Cornelia Funke, Paul Maar und anderen | Kirsten Boie (u. a.) | Buch | 176 S. | Deutsch | 2026 | Oetinger | EAN 9783751209434 | Verantwortliche Person für die EU: Verlag Friedrich Oetinger GmbH, Produktsicherheit, Max-Brauer-Allee 34, 22765 Hamburg, produkt[at]verlagsgruppe-oetinger[dot]de | Anbieter: preigu. Korthues, Barbara; Dietl, Erhard; Schäfer, Jasmin; Bartsch, Jochen; Seipelt, Johanna; Engelking, Katrin; Rachner, Marina; Ishida, Naeko; Janßen, Rike; Reiner, Traudl; Reiner, Walter; Haas, Cornelia; Henze, Dagmar; Worms, Ina; Christians, Julia; Gertenbach, Pina; Pricken, Stephan; Swoboda, Annette; Livanios, Eleni (illustrator). …