Dirk Pattinson - Böcker
Visar alla böcker från författaren Dirk Pattinson.
3 produkter
3 produkter
Del 13385 - Lecture Notes in Computer Science
Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Häftad, Engelska, 2022
579 kr
Skickas inom 10-15 vardagar
Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Häftad, Engelska, 2003
709 kr
Skickas inom 10-15 vardagar
Coalgebraic Methods in Computer Science
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Häftad, Engelska, 2012
689 kr
Skickas inom 10-15 vardagar