Ergebnisse filtern
Fachgebiet
Medium
  • 8
Erscheinungsjahr
  • 3
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 8
Preis
  • 2
  • 5
  • 1
Sprachen
  • 8
Verfügbarkeit
  • 8
Katalog
  • 8
  • 1

Theoretische Informatik

8  Treffer  für „Programming and Software Engineering“
    Raschke / Riccobene / Schewe | Logic, Computation and Rigorous Methods | Buch | Sack Fachmedien

    Raschke / Riccobene / Schewe Logic, Computation and Rigorous Methods

    Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-76019-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Sullivan | Principles and Practice of Constraint Programming | Buch | Sack Fachmedien

    O'Sullivan Principles and Practice of Constraint Programming

    20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10427-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gutiérrez-Basulto / Kliegr / Soylu | Rules and Reasoning | Buch | Sack Fachmedien

    Gutiérrez-Basulto / Kliegr / Soylu Rules and Reasoning

    4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57976-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Wehrheim | Tests and Proofs | Buch | Sack Fachmedien

    Ahrendt / Wehrheim Tests and Proofs

    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-50994-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Falcone / Leucker | Formal Methods in Outer Space | Buch | Sack Fachmedien

    Bartocci / Falcone / Leucker Formal Methods in Outer Space

    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87347-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schürr / Varró | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Schürr / Varró Applications of Graph Transformations with Industrial Relevance

    4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34175-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dueck / Miller | Reversible Computation | Buch | Sack Fachmedien

    Dueck / Miller Reversible Computation

    5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38985-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pichardie / Sighireanu | Static Analysis | Buch | Sack Fachmedien

    Pichardie / Sighireanu Static Analysis

    27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-65473-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular