Calinescu, Radu books & textbook
Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings (Programming and Software Engineering)
Calinescu, Radu Di Giandomenico, Felicita
Springer /2019-09-05 Paperback / 168 Pages
isbn-10: 3030308553 / isbn-13: 9783030308551
Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers (Programming and Software Engineering)
Springer /2012-09-14 Paperback / 429 Pages
isbn-10: 364234058X / isbn-13: 9783642340581
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Programming and Software Engineering)
Calinescu, Radu Rumpe, Bernhard
Springer /2015-08-21 Paperback / 380 Pages
isbn-10: 3319229680 / isbn-13: 9783319229683
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings (Theoretical Computer Science and General Issues)
Calinescu, Radu Păsăreanu, Corina S.
Springer /2021-12-03 Paperback / 540 Pages
isbn-10: 3030921239 / isbn-13: 9783030921231
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... Papers (Programming and Software Engineering)
Bianculli, Domenico Calinescu, Radu Rumpe, Bernhard
Springer /2016-02-03 Paperback / 354 Pages
isbn-10: 3662492237 / isbn-13: 9783662492239
Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, ... (Lecture Notes in Computer Science, 6662)
Calinescu, Radu Jackson, Ethan
Springer /2011-05-23 Paperback / 250 Pages
isbn-10: 3642212913 / isbn-13: 9783642212918
Architecture-Independent Loop Parallelisation (Distinguished Dissertations)
Springer /2000-06-14 Hardcover / 172 Pages
isbn-10: 1852332840 / isbn-13: 9781852332846
