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: Introduction to Choreographies, Author: Fabrizio Montesi
Title: SAP Build: No-Code Development, Centralized Access, and Process Automation, Author: Rene Glavanovits
Title: Introduction to Programming with Fortran, Author: Ian Chivers
Title: The SuperCollider Book, second edition, Author: Scott Wilson
Title: Data Structure Using C: Theory and Program, Author: Ahmad Talha Siddiqui
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: Computer Programming Languages, Author: Gordon Hurley
Title: Theories of Programming Languages, Author: John C. Reynolds
Title: Model-Based Systems Engineering with OPM and SysML, Author: Dov Dori
Title: Revised [6] Report on the Algorithmic Language Scheme, Author: Michael Sperber
Title: Strukturiertes Basic: Die Volle Programmiersprache Unter MS-DOS Und UNIX Version 3.0, Author: Evelyn Sonder
Title: MATLAB for Engineering Applications, Author: Natalie Coffman
Title: Languages for Digital Embedded Systems, Author: Stephen A. Edwards

Pagination Links