Book titles in this series

Type Systems for Distributed Programs: Components and Sessions

Authors:

• Ornela Dardha

• Copyright: 2016

Available Renditions

• Hard cover
• eBook

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

Authors:

• Fabio Mogavero

• Copyright: 2013

Available Renditions

• Hard cover
• Soft cover
• eBook

Analysis and Enumeration

Algorithms for Biological Graphs

Authors:

• Andrea Marino

• Copyright: 2015

Available Renditions

• Hard cover
• eBook

Instruction Sequences for Computer Science

Authors:

• Jan A Bergstra
• Cornelis A. Middelburg

• Copyright: 2012

Available Renditions

• Hard cover
• Soft cover
• eBook

Code Generation with Templates

Authors:

• Jeroen Arnoldus
• Mark van den Brand
• A. Serebrenik
• J.J. Brunekreef

• Copyright: 2012

Available Renditions

• Hard cover
• Soft cover
• eBook

Constraints Meet Concurrency

Authors:

• Jacopo Mauro

• Copyright: 2014

Available Renditions

• Hard cover
• eBook

Compressed Data Structures for Strings

On Searching and Extracting Strings from Compressed Textual Data

Authors:

• Rossano Venturini

• Copyright: 2014

Available Renditions

• Hard cover
• eBook