Autor: Andrew Pitts

Ajutor

3 Ebooks de Andrew Pitts

Artur Czumaj & Kurt Mehlhorn: Automata, Languages, and Programming
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in Ju …
PDF
Engleză
DRM
€57.17
Artur Czumaj & Kurt Mehlhorn: Automata, Languages, and Programming
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in Ju …
PDF
Engleză
DRM
€57.57
Andrew Pitts: Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of t …
PDF
Engleză
DRM
€57.90