Reihe Atlantis Studies in ComputingBücher × Type Systems for Distributed Programs: Components and Sessions Ornela DardhaAtlantis PressHardcover2016101,64 € Logics in Computer ScienceA Study on Extensions of Temporal and Strategic LogicsFabio MogaveroAtlantis PressSoftcover201553,49 € Analysis and EnumerationAlgorithms for Biological GraphsAndrea MarinoAtlantis PressHardcover201574,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 € Compressed Data Structures for StringsOn Searching and Extracting Strings from Compressed Textual DataRossano VenturiniAtlantis PressHardcover201353,49 € Logics in Computer ScienceA Study on Extensions of Temporal and Strategic LogicsFabio MogaveroAtlantis PressHardcover201353,49 € Logics in Computer ScienceA Study on Extensions of Temporal and Strategic LogicsFabio MogaveroAtlantis PressHardcover201353,49 € Instruction Sequences for Computer Science Jan A BergstraAtlantis PressHardcover2012106,99 €13 Treffer 1 2