Reihe Atlantis Studies in Computing Type Systems for Distributed Programs: Components and Sessions Ornela DardhaAtlantis PressHardcover2016101,64 € Type Systems for Distributed Programs: Components and Sessions Ornela DardhaAtlantis PresseBook2016 Logics in Computer ScienceA Study on Extensions of Temporal and Strategic LogicsFabio MogaveroAtlantis PressSoftcover201553,49 € Analysis and EnumerationAlgorithms for Biological GraphsAndrea MarinoAtlantis PressHardcover201574,89 € Analysis and EnumerationAlgorithms for Biological GraphsAndrea MarinoAtlantis PresseBook201574,89 € Instruction Sequences for Computer Science Jan A BergstraAtlantis PressSoftcover2014106,99 € Code Generation with Templates Jeroen ArnoldusAtlantis PressSoftcover2014106,99 € Constraints Meet Concurrency Jacopo MauroAtlantis PressHardcover201453,49 € Constraints Meet Concurrency Jacopo MauroAtlantis PresseBook2014 Compressed Data Structures for StringsOn Searching and Extracting Strings from Compressed Textual DataRossano VenturiniAtlantis PressHardcover201353,49 €23 Treffer 1 2 3
