SOFSEM 2017: Theory and Practice of Computer ScienceBernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana MargariaHäftad554 kr
Del 10803Foundations of Software Science and Computation StructuresChristel Baier, Ugo Dal LagoHäftad554 kr
Del 10854Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier, Luís CairesHäftad554 kr
Validation of Stochastic SystemsChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus SiegleHäftad538 kr
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier, Cesare TinelliHäftad553 kr
Validation of Stochastic SystemsChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus SiegleHäftad538 kr
SOFSEM 2017: Theory and Practice of Computer ScienceBernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana MargariaHäftad554 kr
Del 10854Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier, Luís CairesHäftad554 kr
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, ProceedingsMarsha Chechik, Joost-Pieter Katoen650 kr
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier, Cesare TinelliHäftad553 kr
Del 11951Dependable Software Engineering. Theories, Tools, and ApplicationsNan Guan, Joost-Pieter Katoen, Jun SunHäftad554 kr
Del 10803Foundations of Software Science and Computation StructuresChristel Baier, Ugo Dal LagoHäftad554 kr