List of books
- ACM book on Tony Hoare
ACM are publishing books on Turing Award winners
- Teaching slides of my Semantics book
A base set of LaTeX/Beamer slides is available for my Springer book: Understanding Programming Languages
https://www.dropbox.com/sh/4dk04it0m80rfrd/AAA9qoDTLEFpxjzzXQrZxl-ya?dl=0- New Report "Industry Funding for Academic Research in Informatics in Europe"
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
The latest edition of the report “Informatics Education in Europe: Institutions, degrees, students, positions, salaries” is available for download.
- textbook on Distributed Algorithms
Distributed Algorithms: An Intuitive Approach
by Wan Fokkink
MIT Press, January 2014http://mitpress.mit.edu/books/distributed-algorithms
- Concepts, Techniques, and Models of Computer Programming
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.
