6 results
Type of media (3)
Availability (2)
Language (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
6 results

Your search for Dirk Pattinson

  1. Cover: Coalgebraic Methods in Computer Science - Springer
    Dirk Pattinson | Lutz 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
    08/2012
    Springer
    9783642327841 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Recent Trends in Algebraic Development Techniques - Springer
    Martin Wirsing | Dirk Pattinson | Rolf Hennicker
    Recent Trends in Algebraic Development Techniques
    16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
    11/2003
    Springer
    9783540400202 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Coalgebraic Methods in Computer Science - Springer
    Dirk Pattinson | Lutz 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
    08/2012
    Springer
    9783642327834 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  4. Cover: Automated Reasoning - Springer
    Jasmin Blanchette | Laura Kovács | Dirk Pattinson
    Automated Reasoning
    11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
    07/2022
    Springer
    9783031107689 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  5. Cover: Recent Trends in Algebraic Development Techniques - Springer
    Martin Wirsing | Dirk Pattinson | Rolf Hennicker
    Recent Trends in Algebraic Development Techniques
    16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
    11/2003
    Springer
    9783540205371 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. This image is currently not available.
    Dirk Pattinson
    Expressivity Results in the Modal Logic of Coalgebras
    Dissertation
    2001
    Pohlmann, R
    9783931846428 (ISBN)
    Other
    Undefined
    €59.80
    Article not available