城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(書名(完全形): Atlantis Studies in Computing. ISSN:22128565)
該当件数:7件
Constraints Meet Concurrency / by Jacopo Mauro
1st ed. 2014.. - Paris : Atlantis Press : Imprint: Atlantis Press , 2014. - (Atlantis Studies in Computing. ISSN:22128565 ; 5)
電子ブック
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)
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)
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)