Title: Synchronous Programming of Reactive Systems, Author: Nicolas Halbwachs
Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data, Author: Jean-Francois Collard
Title: Object-Oriented Technology, Author: Suad Alagic
Title: The Python Workbook: A Brief Introduction with Exercises and Solutions, Author: Ben Stephenson
Title: Domain-Specific Languages, Author: Martin Fowler
Title: Session Types, Author: Simon J. Gay
Title: Answer Set Programming, Author: Vladimir Lifschitz
Title: Introduction to Choreographies, Author: Fabrizio Montesi
Title: Foundations of XML Processing: The Tree-Automata Approach, Author: Haruo Hosoya
Title: Modelling Systems: Practical Tools and Techniques in Software Development, Author: John Fitzgerald
Title: Model Checking Quantum Systems: Principles and Algorithms, Author: Mingsheng Ying
Title: Mathematical Logic through Python, Author: Yannai A. Gonczarowski
Title: Java in Two Semesters: Featuring JavaFX, Author: Quentin Charatan
Title: Computer Programming in C for Beginners, Author: Avelino J. Gonzalez
Title: Semiotics of Programming, Author: Kumiko Tanaka-Ishii PhD
Title: Topological Duality for Distributive Lattices: Theory and Applications, Author: Mai Gehrke
Title: Steps in Scala: An Introduction to Object-Functional Programming, Author: Christos K. K. Loverdos
Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: SAP Build: No-Code Development, Centralized Access, and Process Automation, Author: Rene Glavanovits

Pagination Links