Atlantis Studies in Computing

Dardha

Type Systems for Distributed Programs: Components and Sessions

Type Systems for Distributed Programs: Components and Sessions

Type Systems for Distributed Programs: Components and Sessions

1st ed. 2016 2016 Buch Atlantis Press ISBN 9789462392038

1st ed. 2016

Mogavero

Logics in Computer Science

Logics in Computer Science

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

A Study on Extensions of Temporal and Strategic Logics

Softcover reprint of the original 1st ed. 2013 2015 Buch Atlantis Press ISBN 9789462390560

Softcover reprint of the original 1st ed. 2013

Arnoldus / van den Brand / Serebrenik

Code Generation with Templates

Code Generation with Templates

Code Generation with Templates

An Illumination of the Template Enigma

An Illumination of the Template Enigma

2012 Buch Atlantis Press ISBN 9789491216558

Bergstra / Middelburg

Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

2012 Buch Atlantis Press ISBN 9789491216640

Mogavero

Logics in Computer Science

Logics in Computer Science

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

A Study on Extensions of Temporal and Strategic Logics

2013 Buch Atlantis Press ISBN 9789491216947

Venturini

Compressed Data Structures for Strings

Compressed Data Structures for Strings

Compressed Data Structures for Strings

On Searching and Extracting Strings from Compressed Textual Data

On Searching and Extracting Strings from Compressed Textual Data

2013 Buch Atlantis Press ISBN 9789462390324

Mauro

Constraints Meet Concurrency

Constraints Meet Concurrency

Constraints Meet Concurrency

2014 Buch Atlantis Press ISBN 9789462390669

Arnoldus / van den Brand / Serebrenik

Code Generation with Templates

Code Generation with Templates

Code Generation with Templates

2014 Buch Atlantis Press ISBN 9789462390522

Bergstra / Middelburg

Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

2014 Buch Atlantis Press ISBN 9789462390492

Marino

Analysis and Enumeration

Analysis and Enumeration

Analysis and Enumeration

Algorithms for Biological Graphs

Algorithms for Biological Graphs

2015 Buch Atlantis Press ISBN 9789462390966

Dardha

Type Systems for Distributed Programs: Components and Sessions

Type Systems for Distributed Programs: Components and Sessions

Type Systems for Distributed Programs: Components and Sessions

1st ed. 2016 2016 eBook (PDF mit Wasserzeichen) Springer-Verlag GmbH ISBN 9789462392045

1st ed. 2016

Arnoldus / Brand / Serebrenik

Code Generation with Templates

Code Generation with Templates

Code Generation with Templates

2012 2012 eBook (PDF mit Wasserzeichen) Springer-Verlag GmbH ISBN 9789491216565

2012

Marino

Analysis and Enumeration

Analysis and Enumeration

Analysis and Enumeration

Algorithms for Biological Graphs

Algorithms for Biological Graphs

2015 2015 eBook (PDF mit Wasserzeichen) Springer-Verlag GmbH ISBN 9789462390973

2015

Bergstra / Middelburg

Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

2012 2012 eBook (PDF mit Wasserzeichen) Springer-Verlag GmbH ISBN 9789491216657

2012

Venturini

Compressed Data Structures for Strings

Compressed Data Structures for Strings

Compressed Data Structures for Strings

On Searching and Extracting Strings from Compressed Textual Data

On Searching and Extracting Strings from Compressed Textual Data

2014 2013 eBook (PDF mit Wasserzeichen) Springer-Verlag GmbH ISBN 9789462390331

2014

Mauro

Constraints Meet Concurrency

Constraints Meet Concurrency

Constraints Meet Concurrency

2014 2014 eBook (PDF mit Wasserzeichen) Springer-Verlag GmbH ISBN 9789462390676

2014

Mogavero

Logics in Computer Science

Logics in Computer Science

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

A Study on Extensions of Temporal and Strategic Logics

2013 2013 eBook (PDF mit Wasserzeichen) Springer-Verlag GmbH ISBN 9789491216954

2013