Title: Zephyr RTOS Embedded C Programming: Using Embedded RTOS POSIX API, Author: Andrew Eliasz
Title: Why Learn C: Go Behind the Curtain of Modern Systems with C23, Author: Paul J. Lucas
Title: We Built Our Own Computers, Author: A. B. Bolt
Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Theories of Programming Languages, Author: John C. Reynolds
Title: The World of Programming Languages, Author: Michael Marcotty
Title: The Uncertain Reasoner's Companion: A Mathematical Perspective, Author: J. B. Paris
Title: The Remote System Explorer: Modern Developer Tools for the System i, Author: Don Yantzi
Title: The Pi-Calculus: A Theory of Mobile Processes, Author: Davide Sangiorgi
Title: The Description Logic Handbook: Theory, Implementation and Applications, Author: Franz Baader
Title: The Denotational Description of Programming Languages: An Introduction, Author: M.J.C. Gordon
Title: The Book of Batch Scripting: From Fundamentals to Advanced Automation, Author: Jack McLarney
Title: The Agent Modeling Language - AML: A Comprehensive Approach to Modeling Multi-Agent Systems, Author: Radovan Cervenka
Title: Testing and Tuning Market Trading Systems: Algorithms in C++, Author: Timothy Masters
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: Synchronous Programming of Reactive Systems, Author: Nicolas Halbwachs
Title: String Algorithms in C: Efficient Text Representation and Search, Author: Thomas Mailund
Title: Steps in Scala: An Introduction to Object-Functional Programming, Author: Christos K. K. Loverdos
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings, Author: Patrick Cousot
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings, Author: Radhia Cousot

Pagination Links