Ergebnisse filtern
Programmierung | Softwareentwicklung
-
Schmidt Automated Deduction - CADE-22
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02958-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt Relations and Kleene Algebra in Computer Science
9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37873-0Medium: 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