Reihe Texts in Theoretical Computer Science. An EATCS Series Formal Methods for Software EngineeringLanguages, Methods, Application DomainsMarkus RoggenbachSpringer International PublishingSoftcover202358,84 € Formal Methods for Software EngineeringLanguages, Methods, Application DomainsMarkus RoggenbachSpringer International PublishingHardcover202280,24 € Formal Methods for Software EngineeringLanguages, Methods, Application DomainsMarkus RoggenbachSpringer International PublishingeBook202258,84 € Simulation Algorithms for Computational Systems Biology Luca MarchettiSpringer International PublishingSoftcover201860,98 € Models of Computation Roberto BruniSpringer International PublishingSoftcover201864,19 € Decision ProceduresAn Algorithmic Point of ViewDaniel KroeningSpringer BerlinSoftcover201853,49 € An Introduction to Online ComputationDeterminism, Randomization, AdviceDennis KommSpringer International PublishingSoftcover201869,54 € Simulation Algorithms for Computational Systems Biology Luca MarchettiSpringer International PublishingHardcover201760,98 € Simulation Algorithms for Computational Systems Biology Luca MarchettiSpringer International PublishingeBook201760,98 € Models of Computation Roberto BruniSpringer International PublishingHardcover201764,19 €130 Treffer 1 2 3 4 ...