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: Efficient Polymorphic Calls, Author: Karel Driesen
Title: Finite-State Techniques: Automata, Transducers and Bimachines, Author: Stoyan Mihov
Title: Object-Oriented Technology, Author: Suad Alagic
Title: Simulink: Diverse Engineering Applications, Author: Linda Morant
Title: Topological Duality for Distributive Lattices: Theory and Applications, Author: Mai Gehrke
Title: MATLAB for Engineering Applications, Author: Natalie Coffman
Title: Modeling Languages in Mathematical Optimization, Author: Josef Kallrath
Title: Theories of Programming Languages, Author: John C. Reynolds
Title: Call-By-Push-Value: A Functional/Imperative Synthesis, Author: P.B. Levy
Title: Data Structure Using C: Theory and Program, Author: Ahmad Talha Siddiqui

Pagination Links