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

Mathematik | Informatik

3  Treffer  für „Pattinson, Dirk“
Alle Filter löschen
    Pattinson / Schröder | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    Pattinson / Schröder Coalgebraic Methods in Computer Science

    11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32783-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanchette / Kovács / Pattinson | Automated Reasoning | Buch | Sack Fachmedien

    Blanchette / Kovács / Pattinson Automated Reasoning

    11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-10768-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Pattinson / Hennicker | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Wirsing / Pattinson / Hennicker Recent Trends in Algebraic Development Techniques

    16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20537-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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