Title: Types and Programming Languages, Author: Benjamin C. Pierce
Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen
Title: Programming Languages: Build, Prove, and Compare, Author: Norman Ramsey
Title: Java in Two Semesters: Featuring JavaFX, Author: Quentin Charatan
Title: Domain-Specific Languages, Author: Martin Fowler
Title: Programming Languages: Theory and Practice, Author: Katy Spalding
Title: Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors, Author: Jirí Adámek
Title: Answer Set Programming, Author: Vladimir Lifschitz
Title: Introduction to Choreographies, Author: Fabrizio Montesi
Title: The SuperCollider Book, second edition, Author: Scott Wilson
Title: Strukturiertes Basic: Die Volle Programmiersprache Unter MS-DOS Und UNIX Version 3.0, Author: Evelyn Sonder
Title: Fuzzy Logic Control in Energy Systems with design applications in MATLAB®/Simulink®, Author: Ismail H. Altas
Title: Syntax and Semantics of Petri Nets, Author: Roberto Gorrieri
Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller
Title: Programming Languages: A Modern Approach, Author: Katy Spalding
Title: Revised [6] Report on the Algorithmic Language Scheme, Author: Michael Sperber
Title: Introduction to Concurrency in Programming Languages, Author: Matthew J. Sottile
Title: Topological Duality for Distributive Lattices: Theory and Applications, Author: Mai Gehrke
Title: Basic Simple Type Theory, Author: J. Roger Hindley

Pagination Links