Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Types and Programming Languages / Edition 1, Author: Benjamin C. Pierce
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 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: Synchronous Programming of Reactive Systems / Edition 1, Author: Nicolas Halbwachs
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: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings / Edition 1, Author: Baudouin LeCharlier
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

Pagination Links