List of books

ACM book on Tony Hoare
by Cliff Jones, Nov. 17, 2021

ACM are publishing books on Turing Award winners

Teaching slides of my Semantics book
by Cliff Jones, July 5, 2021

A base set of LaTeX/Beamer slides is available for my Springer book: Understanding Programming Languages

New Report "Industry Funding for Academic Research in Informatics in Europe"
by Svetlana Tikhonenko, Jan. 24, 2019

Informatics Europe is pleased to release a new report “Industry Funding for Academic Research in Informatics in Europe” prepared by the Data Collection and Reporting Working Group.

The latest edition of the Informatics Education in Europe: Key Data Report 2012-2017 is now available
by Svetlana Tikhonenko, Nov. 12, 2018

The latest edition of the report “Informatics Education in Europe: Institutions, degrees, students, positions, salaries” is available for download.

textbook on Distributed Algorithms
by Wan Fokkink, Dec. 17, 2013

Distributed Algorithms: An Intuitive Approach
by Wan Fokkink
MIT Press, January 2014

Concepts, Techniques, and Models of Computer Programming
by Peter Van Roy, Feb. 15, 2004

This textbook brings the computer science student a comprehensive and up-to-date presentation of all major programming concepts, techniques, and paradigms in a unified framework. It features a broad treatment of concurrent programming, a software platform, Mozart, that can run all the examples, and a simple but complete formal semantics.