Ergebnisse filtern
-
- 3
- 2
-
- 1
- 2
- 2
-
- 1
- 2
- 1
- 5
- 2
- 2
-
- 5
-
- 1
- 4
-
- 5
-
- 5
-
- 5
-
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 Papers2012Verlag: SpringerISBN: 978-3-642-32784-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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 Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32783-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Blanchette / Kovács / Pattinson Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-10768-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wirsing / Pattinson / Hennicker Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers2003Verlag: SpringerISBN: 978-3-540-40020-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Wirsing / Pattinson / Hennicker Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-20537-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
