Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Transitions and Trees: An Introduction to Structural Operational Semantics, Author: Hans Hüttel
Title: Theories of Programming Languages / Edition 1, Author: John C. Reynolds
Title: Theories of Programming Languages, Author: John C. Reynolds
Title: The World of Programming Languages / Edition 1, Author: Michael Marcotty
Title: The Uncertain Reasoner's Companion: A Mathematical Perspective, Author: J. B. Paris
Title: The Remote System Explorer: Modern Developer Tools for the System i, Author: Don Yantzi
Title: The Python Workbook: A Brief Introduction with Exercises and Solutions / Edition 2, Author: Ben Stephenson
Title: The Pi-Calculus: A Theory of Mobile Processes, Author: Davide Sangiorgi
Title: The Description Logic Handbook: Theory, Implementation and Applications / Edition 2, Author: Franz Baader
Title: The Denotational Description of Programming Languages: An Introduction, Author: M.J.C. Gordon
Title: Steps in Scala: An Introduction to Object-Functional Programming, Author: Christos K. K. Loverdos
Title: Steps in Scala: An Introduction to Object-Functional Programming, Author: Christos K. K. Loverdos
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / Edition 1, Author: Patrick Cousot
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings / Edition 1, Author: Radhia Cousot
Title: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings / Edition 1, Author: Alan Mycroft
Title: Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / Edition 1, Author: Patrick Cousot
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / Edition 1, Author: Jens Palsberg
Title: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / Edition 1, Author: Pascal van Hentenryck
Title: Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / Edition 1, Author: Roberto Giacobazzi

Pagination Links