Title: Unification Grammars, Author: Nissim Francez
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: Topological Duality for Distributive Lattices: Theory and Applications, Author: Mai Gehrke
Title: Theories of Programming Languages, Author: John C. Reynolds
Title: The Python Workbook: A Brief Introduction with Exercises and Solutions, Author: Ben Stephenson
Title: Syntax and Semantics of Petri Nets, Author: Roberto Gorrieri Pre-Order Now
Title: Synchronous Programming of Reactive Systems, Author: Nicolas Halbwachs
Title: Steps in Scala: An Introduction to Object-Functional Programming, Author: Christos K. K. Loverdos
Title: Simulink: Diverse Engineering Applications, Author: Linda Morant
Title: Session Types, Author: Simon J. Gay
Title: Semiotics of Programming, Author: Kumiko Tanaka-Ishii PhD
Title: SAP Build: No-Code Development, Centralized Access, and Process Automation, Author: Rene Glavanovits
Title: Revised [6] Report on the Algorithmic Language Scheme, Author: Michael Sperber
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data, Author: Jean-Francois Collard
Title: Python Programming, Author: William Gunnells Pre-Order Now
Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller Pre-Order Now
Title: Programming with Python: And Its Applications to Physical Systems, Author: M. Shubhakanta Singh
Title: Programming Languages: Theory and Practice, Author: Katy Spalding
Title: Programming Languages: Principles and Practices, Author: Hector Nicolson

Pagination Links