Title: Mathematical Logic through Python, Author: Yannai A. Gonczarowski
Title: Unification Grammars, Author: Nissim Francez
Title: Introduction to Choreographies, Author: Fabrizio Montesi
Title: Programming Languages: A Modern Approach, Author: Katy Spalding
Title: Finite-State Techniques: Automata, Transducers and Bimachines, Author: Stoyan Mihov
Title: Topological Duality for Distributive Lattices: Theory and Applications, Author: Mai Gehrke
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data, Author: Jean-Francois Collard
Title: Transitions and Trees: An Introduction to Structural Operational Semantics, Author: Hans Hüttel
Title: Fuzzy Logic Control in Energy Systems with design applications in MATLABĀ®/SimulinkĀ®, Author: Ismail H. Altas
Title: Introduction to Programming with Fortran, Author: Ian Chivers
Title: Basic Simple Type Theory, Author: J. Roger Hindley
Title: Introduction to Concurrency in Programming Languages, Author: Matthew J. Sottile
Title: SAP Build: No-Code Development, Centralized Access, and Process Automation, Author: Rene Glavanovits
Title: Revised [6] Report on the Algorithmic Language Scheme, Author: Michael Sperber
Title: Modeling Languages in Mathematical Optimization, Author: Josef Kallrath
Title: 200 Problems on Languages, Automata, and Computation, Author: Filip Murlak
Title: Modelling Systems: Practical Tools and Techniques in Software Development, Author: John Fitzgerald
Title: Graphical Programming Using LabVIEWT: Fundamentals and advanced techniques, Author: Julio C sar Rodr guez-Qui onez
Title: Learn R: As a Language, Author: Pedro J. Aphalo
Title: Handbook of Programming Languages, Author: Samuel Green

Pagination Links