Title: Beginner's Step-by-Step Coding Course: Learn Computer Programming the Easy Way, Author: DK
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: Introducing String Diagrams: The Art of Category Theory, Author: Ralf Hinze
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: >CLI: A Practical Guide to Creating Modern Command-Line Interfaces, Author: Derick Schaefer
Title: The Inform Designer's Manual, Author: Graham Nelson
Title: The SuperCollider Book, second edition, Author: Scott Wilson
Title: Efficient Polymorphic Calls, Author: Karel Driesen
Title: The OOP Playbook: Strategies for Modern Developers, Author: Suchita Sharma
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

Pagination Links