Pengarang: Andrew Pitts

Sokongan

3 Ebooks by 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
Inggeris
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
Inggeris
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
Inggeris
DRM
€57.90