Your search returned 7 results.

Not what you expected? Check for suggestions
1.
Analysis and Enumeration

by Andrea Marino.

Series: Atlantis Studies in ComputingEdition: 2015Material type: Computer file Computer file; Format: electronic Publication details: Atlantis Press 2015Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Code Generation with Templates

by Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef.

Series: Atlantis Studies in ComputingEdition: 2012Material type: Computer file Computer file; Format: electronic Publication details: Atlantis Press 2012Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

3.
Compressed Data Structures for Strings

by Rossano Venturini.

Series: Atlantis Studies in ComputingEdition: 2014Material type: Computer file Computer file; Format: electronic Publication details: Atlantis Press 2014Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

4.
Constraints Meet Concurrency

by Jacopo Mauro.

Series: Atlantis Studies in ComputingEdition: 2014Material type: Computer file Computer file; Format: electronic Publication details: Atlantis Press 2014Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

5.
Instruction Sequences for Computer Science

by Jan A Bergstra, Cornelis A. Middelburg.

Series: Atlantis Studies in ComputingEdition: 2012Material type: Computer file Computer file; Format: electronic Publication details: Atlantis Press 2012Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

6.
Logics in Computer Science

by Fabio Mogavero.

Series: Atlantis Studies in ComputingEdition: 2013Material type: Computer file Computer file; Format: electronic Publication details: Atlantis Press 2013Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

7.
Type Systems for Distributed Programs: Components and Sessions

by Ornela Dardha.

Series: Atlantis Studies in ComputingEdition: 1st ed. 2016Material type: Computer file Computer file; Format: electronic Publication details: Atlantis Press 2016Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .