Title: Types and Programming Languages, Author: Benjamin C. Pierce
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen
Title: Programming Languages: Build, Prove, and Compare, Author: Norman Ramsey
Title: Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors, Author: Jirí Adámek
Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Java in Two Semesters: Featuring JavaFX, Author: Quentin Charatan
Title: Answer Set Programming, Author: Vladimir Lifschitz
Title: SAP Build: No-Code Development, Centralized Access, and Process Automation, Author: Rene Glavanovits
Title: Introduction to Choreographies, Author: Fabrizio Montesi
Title: The SuperCollider Book, second edition, Author: Scott Wilson
Title: Domain-Specific Languages, Author: Martin Fowler
Title: Foundations of Probabilistic Programming, Author: Gilles Barthe
Title: Introductory MEMS: Fabrication and Applications, Author: Thomas M. Adams
Title: Model Checking Quantum Systems: Principles and Algorithms, Author: Mingsheng Ying
Title: Computer Programming Languages, Author: Gordon Hurley
Title: Programming Languages: Advanced Principles and Systems, Author: Katy Spalding
Title: Object-Oriented Technology, Author: Suad Alagic
Title: Introduction to Concurrency in Programming Languages, Author: Matthew J. Sottile
Title: Session Types, Author: Simon J. Gay
Title: Data Structure Using C: Theory and Program, Author: Ahmad Talha Siddiqui

Pagination Links