alexandra silva u a (8 Ergebnisse)

Taschenbuch. Zustand: Neu. Computer Aided Verification | 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I | Alexandra Silva (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2021 | Springer | EAN 9783030816841 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Computer Aided Verification | 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II | Alexandra Silva (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2021 | Springer | EAN 9783030816872 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Intelligent Technologies for Interactive Entertainment | 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings | Yoram Chisik (u. a.) | Taschenbuch | xii | Englisch | 2018 | Springer | EAN 9783319730615 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Language, Logic, and Computation | 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers | Alexandra Silva (u. a.) | Taschenbuch | xiv | Englisch | 2019 | Springer | EAN 9783662595640 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Formal Techniques for Distributed Objects, Components, and Systems | 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings | Ahmed Bouajjani (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2017 | Springer | EAN 9783319602240 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Logic, Language, Information, and Computation | 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings | Alexandra Silva (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2021 | Springer | EAN 9783030888527 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Creativity and HCI: From Experience to Design in Education | Selected Contributions from HCIEd 2007, March 29-30, 2007, Aveiro, Portugal | Paula Kotzé (u. a.) | Taschenbuch | IFIP Advances in Information and Communication Technology | Einband - flex.(Paperback) | Englisch | 2010 | Springer | EAN 9781441947048 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Methods and Procedures for Building Sustainable Farming Systems | Application in the European Context | Ana Alexandra Marta-Costa (u. a.) | Taschenbuch | xxiv | Englisch | 2014 | Springer | EAN 9789400796614 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.