Del 10139SOFSEM 2017: Theory and Practice of Computer ScienceBernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana MargariaHäftad, 2017739 kr
Del 10803Foundations of Software Science and Computation StructuresChristel Baier, Ugo Dal LagoHäftad, 2018739 kr
Del 10854Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier, Luís CairesHäftad, 2018739 kr
Validation of Stochastic SystemsChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus SiegleHäftad, 2004719 kr
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier, Cesare TinelliHäftad, 2015739 kr
Validation of Stochastic SystemsChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus SiegleHäftad, 2004719 kr
Del 10139SOFSEM 2017: Theory and Practice of Computer ScienceBernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana MargariaHäftad, 2017739 kr
Del 10854Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier, Luís CairesHäftad, 2018739 kr
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier, Cesare TinelliHäftad, 2015739 kr
Del 11951Dependable Software Engineering. Theories, Tools, and ApplicationsNan Guan, Joost-Pieter Katoen, Jun SunHäftad, 2019739 kr
Foundations of Probabilistic ProgrammingGilles Barthe, Joost-Pieter Katoen, Alexandra SilvaInbunden, 20201 069 kr
Del 10803Foundations of Software Science and Computation StructuresChristel Baier, Ugo Dal LagoHäftad, 2018739 kr