List of books

Call for Chapters - Automated Reasoning for Systems Biology and Medicine
by Paolo Zuliani, Feb. 12, 2018

Book title: Automated Reasoning for Systems Biology and Medicine

Editors: Pietro Lio' (University of Cambridge, UK) and Paolo Zuliani (Newcastle University, UK)

Publisher: Springer (Computational Biology Series), Summer 2018.

Deadline: 15 May 2018 (extended)

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.