Computer Science
New books from university presses
(1) Basic Category Theory for Computer Scientists
by Benjamin C. Pierce
ISBN: 9780262660716
MIT Press
View at publisher
by Benjamin C. Pierce
ISBN: 9780262660716
MIT PressView at publisher
(2) Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist
by Andrea Asperti and Guiseppe Longo
ISBN: 9780262011259
MIT Press
View at publisher
by Andrea Asperti and Guiseppe Longo
ISBN: 9780262011259
MIT PressView at publisher
(3) Lazy Functional Languages: Abstract Interpretation and Compilation
by Geoffrey Burn
ISBN: 9780262521604
MIT Press
View at publisher
by Geoffrey Burn
ISBN: 9780262521604
MIT PressView at publisher
(4) Warren's Abstract Machine: A Tutorial Reconstruction
by Hassan Aït-Kaci
ISBN: 9780262510585
MIT Press
View at publisher
by Hassan Aït-Kaci
ISBN: 9780262510585
MIT PressView at publisher
(5) The Universal Turing Machine: A Half-Century Survey
Rolf Herken
ISBN: 9780198537748
Oxford University Press
View at publisher
Rolf Herken
ISBN: 9780198537748
Oxford University PressView at publisher
(6) Asian Voices in English
Chan, Mimi Christine
ISBN: 9789622092822
University of Chicago Press
View at publisher
Chan, Mimi Christine
ISBN: 9789622092822
University of Chicago PressView at publisher