Ergebnisse filtern
Fachgebiet
Medium
  • 10
Erscheinungsjahr
  • 4
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
Verlag
  • 10
Preis
  • 2
  • 6
  • 2
Sprachen
  • 10
Verfügbarkeit
  • 10
Katalog
  • 10
  • 1

Theoretische Informatik

10  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
    Rueher | Principles and Practice of Constraint Programming | Buch | Sack Fachmedien

    Rueher Principles and Practice of Constraint Programming

    22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44952-4
    Medium: Buch
    106,99 € (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
    Moschoyiannis / Peñaloza / Vanthienen | Rules and Reasoning | Buch | Sack Fachmedien

    Moschoyiannis / Peñaloza / Vanthienen Rules and Reasoning

    5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91166-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Silva / Simao | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Davies / Silva / Simao Formal Methods: Foundations and Applications

    13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19828-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowles / Broccia / Nanni | From Data to Models and Back | Buch | Sack Fachmedien

    Bowles / Broccia / Nanni From Data to Models and Back

    9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-70649-4
    Medium: Buch
    64,19 € (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
    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
    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

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