Series: Atlantis Studies in Computing

Instruction Sequences for...

Atlantis Studies in Computing (Series)

Book 2

Jan A Bergstra Author
Cornelis A. Middelburg Author
(2012)

Compressed Data Structures...

Atlantis Studies in Computing (Series)

Book 4

Rossano Venturini Author
(2013)

Analysis and Enumeration

Atlantis Studies in Computing (Series)

Book 6

Andrea Marino Author
(2015)

Logics in Computer Science

Atlantis Studies in Computing (Series)

Book 3

Fabio Mogavero Author
(2013)

Constraints Meet Concurrency

Atlantis Studies in Computing (Series)

Book 5

Jacopo Mauro Author
(2014)

Type Systems for Distributed...

Atlantis Studies in Computing (Series)

Book 7

Ornela Dardha Author
(2016)