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: Model-Based Systems Engineering with OPM and SysML, Author: Dov Dori
Title: MATLAB for Engineering Applications, Author: Natalie Coffman
Title: Programming Languages and Systems in Computational Economics and Finance, Author: Soren Bo Nielsen
Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller Pre-Order Now
Title: Theories of Programming Languages, Author: John C. Reynolds
Title: Introduction to R for Terrestrial Ecology: Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R, Author: Milena Lakicevic
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data, Author: Jean-Francois Collard
Title: Efficient Polymorphic Calls, Author: Karel Driesen
Title: Finite-State Techniques: Automata, Transducers and Bimachines, Author: Stoyan Mihov

Pagination Links