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)