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 Python Workbook: A Brief Introduction with Exercises and Solutions / Edition 2, Author: Ben Stephenson
Title: The Librarian's Introduction to Programming Languages: A LITA Guide, Author: Beth Thomsett-Scott
Title: The Denotational Description of Programming Languages: An Introduction, Author: M.J.C. Gordon
Title: The Book of Batch Scripting: From Fundamentals to Advanced Automation, Author: Jack McLarney
Title: The Agent Modeling Language - AML: A Comprehensive Approach to Modeling Multi-Agent Systems, Author: Radovan Cervenka
Title: Testing and Tuning Market Trading Systems: Algorithms in C++, Author: Timothy Masters
Title: Synchronous Programming of Reactive Systems / Edition 1, Author: Nicolas Halbwachs
Title: String Algorithms in C: Efficient Text Representation and Search, Author: Thomas Mailund
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: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings, Author: Manuel Hermenegildo
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: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, Author: Agostino Cortesi

Pagination Links