Title: Types and Programming Languages, Author: Benjamin C. Pierce
Title: Programming Languages: Build, Prove, and Compare, Author: Norman Ramsey
Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller
Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Answer Set Programming, Author: Vladimir Lifschitz
Title: Domain-Specific Languages, Author: Martin Fowler
Title: Programming Languages: Theory and Practice, Author: Katy Spalding
Title: Introduction to Programming with Fortran, Author: Ian Chivers
Title: Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors, Author: Jirí Adámek
Title: The SuperCollider Book, second edition, Author: Scott Wilson
Title: Topological Duality for Distributive Lattices: Theory and Applications, Author: Mai Gehrke
Title: Call-By-Push-Value: A Functional/Imperative Synthesis, Author: P.B. Levy
Title: Introduction to Choreographies, Author: Fabrizio Montesi
Title: Semiotics of Programming, Author: Kumiko Tanaka-Ishii PhD
Title: Synchronous Programming of Reactive Systems, Author: Nicolas Halbwachs
Title: MATLAB for Engineering Applications, Author: Natalie Coffman
Title: Programming Languages and Systems in Computational Economics and Finance, Author: Soren Bo Nielsen
Title: 200 Problems on Languages, Automata, and Computation, Author: Filip Murlak
Title: Fuzzy Logic Control in Energy Systems with design applications in MATLAB®/Simulink®, Author: Ismail H. Altas
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen

Pagination Links