Reihe Atlantis Studies in ComputingeBooks × Type Systems for Distributed Programs: Components and Sessions Ornela DardhaAtlantis PresseBook2016 Analysis and EnumerationAlgorithms for Biological GraphsAndrea MarinoAtlantis PresseBook201574,89 € Constraints Meet Concurrency Jacopo MauroAtlantis PresseBook2014 Compressed Data Structures for StringsOn Searching and Extracting Strings from Compressed Textual DataRossano VenturiniAtlantis PresseBook201353,49 € Logics in Computer ScienceA Study on Extensions of Temporal and Strategic LogicsFabio MogaveroAtlantis PresseBook201353,49 € Logics in Computer ScienceA Study on Extensions of Temporal and Strategic LogicsFabio MogaveroAtlantis PresseBook201353,49 € Instruction Sequences for Computer Science Jan A BergstraAtlantis PresseBook201296,29 € Instruction Sequences for Computer Science Jan A BergstraAtlantis PresseBook201296,29 € Code Generation with Templates Jeroen ArnoldusAtlantis PresseBook201296,29 € Code Generation with Templates Jeroen ArnoldusAtlantis PresseBook201296,29 €
