Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Full Title: Atlantis Studies in Computing. ISSN:22128565)
Results:7items
Constraints Meet Concurrency / by Jacopo Mauro
1st ed. 2014.. - (Paris : Atlantis Press : Imprint: Atlantis Press , 2014). - (Atlantis Studies in Computing. ISSN:22128565 ; 5)
E-Book
Instruction Sequences for Computer Science / by Jan A Bergstra, Cornelis A. Middelburg
1st ed. 2012.. - (Paris : Atlantis Press : Imprint: Atlantis Press , 2012). - (Atlantis Studies in Computing. ISSN:22128565 ; 2)
Code Generation with Templates / by Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef
1st ed. 2012.. - (Paris : Atlantis Press : Imprint: Atlantis Press , 2012). - (Atlantis Studies in Computing. ISSN:22128565 ; 1)
Type Systems for Distributed Programs: Components and Sessions / by Ornela Dardha
1st ed. 2016.. - (Paris : Atlantis Press : Imprint: Atlantis Press , 2016). - (Atlantis Studies in Computing. ISSN:22128565 ; 7)
Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero
1st ed. 2013.. - (Paris : Atlantis Press : Imprint: Atlantis Press , 2013). - (Atlantis Studies in Computing. ISSN:22128565 ; 3)
Compressed Data Structures for Strings : On Searching and Extracting Strings from Compressed Textual Data / by Rossano Venturini
1st ed. 2014.. - (Paris : Atlantis Press : Imprint: Atlantis Press , 2014). - (Atlantis Studies in Computing. ISSN:22128565 ; 4)
Analysis and Enumeration : Algorithms for Biological Graphs / by Andrea Marino
1st ed. 2015.. - (Paris : Atlantis Press : Imprint: Atlantis Press , 2015). - (Atlantis Studies in Computing. ISSN:22128565 ; 6)