default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAtlantis Studies in Computing
7Ornela Dardha:
Type Systems for Distributed Programs: Components and Sessions. Atlantis Studies in Computing 7, Springer / Atlantis Press 2016, ISBN 978-94-6239-203-8- 5Jacopo Mauro:
Constraints Meet Concurrency. Atlantis Studies in Computing 5, Atlantis Press 2014, ISBN 978-94-6239-066-9, pp. i-xv, 1-148 - 4Rossano Venturini
:
Compressed Data Structures for Strings - On Searching and Extracting Strings from Compressed Textual Data. Atlantis Studies in Computing 4, Atlantis Press 2014, ISBN 978-94-6239-032-4, pp. i-xiv, 1-118 - 3Fabio Mogavero:
Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics. Atlantis Studies in Computing 3, Atlantis Press 2013, ISBN 978-94-91216-94-7, pp. I-XVII, 1-149 - 2Jan A. Bergstra, Cornelis A. Middelburg:
Instruction Sequences for Computer Science. Atlantis Studies in Computing 2, Atlantis Press 2012, ISBN 978-94-91216-64-0, pp. i-xvi, 1-229 - 1Jeroen Arnoldus, Mark G. J. van den Brand, Alexander Serebrenik, Jacob Brunekreef:
Code Generation with Templates. Atlantis Studies in Computing 1, Atlantis Press 2012, ISBN 978-94-91216-55-8, pp. I-IX, 1-204
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
