Autor: Dirk Pattinson

Apoio

3 Ebooks por Dirk Pattinson

Dirk Pattinson & Lutz Schroder: Coalgebraic Methods in Computer Science
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, Est …
PDF
Inglês
DRM
€58.02
Jasmin Blanchette & Laura Kovacs: Automated Reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full researc …
EPUB
Inglês
DRM
€3.86