Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data / Edition 1, Author: Jean-Francois Collard
Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: The Python Workbook: A Brief Introduction with Exercises and Solutions / Edition 2, Author: Ben Stephenson
Title: Object-Oriented Technology, Author: Suad Alagic
Title: Synchronous Programming of Reactive Systems, Author: Nicolas Halbwachs
Title: The Life of Miranda Volume II, Author: William Spence Robertson
Title: The Life of Miranda Volume I, Author: William Spence Robertson
Title: Session Types, Author: Simon J. Gay
Title: The Fascist Experience: Italian Society and Culture, 1922-1945, Author: Edward R. Tannenbaum
Title: Answer Set Programming, Author: Vladimir Lifschitz
Title: Modelling Systems: Practical Tools and Techniques in Software Development / Edition 2, Author: John Fitzgerald
Title: Foundations of XML Processing: The Tree-Automata Approach, Author: Haruo Hosoya
Title: Model Checking Quantum Systems: Principles and Algorithms, Author: Mingsheng Ying
Title: Mathematical Logic through Python, Author: Yannai A. Gonczarowski
Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller Pre-Order Now
Title: Java in Two Semesters: Featuring JavaFX, Author: Quentin Charatan
Title: Computer Programming in C for Beginners, Author: Avelino J. Gonzalez
Title: Semiotics of Programming, Author: Kumiko Tanaka-Ishii PhD
Title: Topological Duality for Distributive Lattices: Theory and Applications, Author: Mai Gehrke
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen Pre-Order Now

Pagination Links