Title: Functional Programming and Input/Output, Author: Andrew D. Gordon
Title: Higher Order Logic and Hardware Verification, Author: T. F. Melham
Title: Essentials of Compilation: An Incremental Approach in Racket, Author: Jeremy G. Siek
Title: Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, Author: Stephanie Weirich
Title: The Creative Programmer, Author: Wouter Groeneveld
Title: Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I, Author: Viktor Vafeiadis
Title: Introduction to Compiler Design, Author: Torben Ægidius Mogensen
Title: A Practical Approach to Compiler Construction, Author: Des Watson
Title: Python Programming Fundamentals, Author: Kent D. Lee
Title: Introducing String Diagrams: The Art of Category Theory, Author: Ralf Hinze
Title: OCaml from the Very Beginning, Author: John Whitington
Title: The Python Workbook: A Brief Introduction with Exercises and Solutions, Author: Ben Stephenson
Title: Grokking Concurrency, Author: Kirill Bobrov
Title: Object-Oriented Technology, Author: Suad Alagic
Title: Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II, Author: Viktor Vafeiadis
Title: Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml, Author: Liang Wang
Title: The Python Workbook: A Brief Introduction with Exercises and Solutions, Author: Ben Stephenson
Title: Numerical C: Applied Computational Programming with Case Studies, Author: Philip Joyce
Title: Modern C++ for Absolute Beginners: A Friendly Introduction to the C++ Programming Language and C++11 to C++23 Standards, Author: Slobodan Dmitrovic
Title: Ruby on Rails Tutorial: Learn Web Development with Rails, Author: Michael Hartl

Pagination Links