Volume 7
Title: Type Systems for Distributed Programs: Components and Sessions
Author(s): Ornela Dardha
Copyright: 2016
More info: https://www.springer.com/gp/book/9789462392038
Atlantis Studies in Computing
About this Series
This series aims to publish books in the areas of computer science, computer and network technology, IT management, information technology and informatics from the technological, managerial, theoretical/fundamental, social or historical perspective. We welcome books in the following categories:
- technical monographs: these will be reviewed as to timeliness, usefulness, relevance, completeness and clarity of presentation
- textbooks
- books of a more speculative nature: these will be reviewed as to relevance and clarity of presentation.
Volumes in this Series
Volume 6
Title: Analysis and Enumeration: Algorithms for Biological Graphs
Author(s): Andrea Marino
Copyright: 2015
More info: https://www.springer.com/gp/book/9789462390966
Volume 5
Title: Constraints Meet Concurrency
Author(s): Jacopo Mauro
Copyright: 2014
More info: https://www.springer.com/gp/book/9789462390669
Volume 4
Title: Compressed Data Structures for Strings: On Searching and Extracting Strings from Compressed Textual Data
Author(s): Rossano Venturini
Copyright: 2014
More info: https://www.springer.com/gp/book/9789462390324
Volume 3
Title: Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
Author(s): Fabio Mogavero
Copyright: 2013
More info: https://www.springer.com/gp/book/9789491216947
Volume 2
Title: Instruction Sequences for Computer Science
Author(s): Jan A. Bergstra, Cornelis A. Middelburg
Copyright: 2012
More info: https://www.springer.com/gp/book/9789491216640
Volume 1
Title: Code Generation with Templates
Author(s): Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef
Copyright: 2012
More info: https://www.springer.com/gp/book/9789491216558