Dirk Pattinson | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

COALGEBRAIC METHODS IN COMPUTER SCIENCE - 11TH INTERNATIONAL WORKSHOP, CMCS 2012, COLOCATED WITH ETAPS 2012, TALLINN, ESTONIA, M

Dirk Pattinson; Lutz Schröder
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

49,60 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES - 16TH INTERNATIONAL WORKSHOP, WADT 2002, FRAUENCHIEMSEE, GERMANY, SEPTEMBER 2

Martin Wirsing; Dirk Pattinson; Rolf Hennicker
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja

49,60 €

AUTOMATED REASONING - 11TH INTERNATIONAL JOINT CONFERENCE, IJCAR 2022, HAIFA, ISRAEL, AUGUST 8–10, 2022, PROCEEDINGS

Jasmin Blanchette; Laura Kovács; Dirk Pattinson
Springer International Publishing AG (2022)
Pehmeäkantinen kirja

40,00 €

Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, M

Dirk Pattinson, Lutz Schröder

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 259 sivua
Asu: Pehmeäkantinen kirja
Painos: 2012
Julkaisuvuosi: 2012, 02.08.2012 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus