Parallel Algorithms for Regular Architectures : Meshes and Pyramids
Russ Miller
Download Now
Format: eBook (PDF)
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce
Download Now
Format: eBook (PDF)
Numerica : A Modeling Language for Global Optimization
Pascal Van Hentenryck
Download Now
Format: eBook (PDF)
Logic Programming and Non-Monotonic Reasoning : Proceedings of the Second International Workshop 1993
Luis Moniz Pereira
Download Now
Format: eBook (PDF)
Software Abstractions : Logic, Language, and Analysis
Daniel Jackson
Download Now
Format: eBook (PDF)
The Game Design Reader : A Rules of Play Anthology
Katie Salen Tekinbas
Download Now
Format: eBook (PDF)
Programming Distributed Computing Systems : A Foundational Approach
Carlos A. Varela
Download Now
Format: eBook (PDF)
Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant
Adam Chlipala
Download Now
Format: eBook (PDF)
Processing : A Programming Handbook for Visual Designers and Artists
Casey Reas
Download Now
Format: eBook (PDF)