Radu Calinescu

Identifiers

Open LibraryOL7214251A

Top Subjects

Software engineering (3)
Computer science (2)
Artificial intelligence (1)
Information systems (1)
Computer networks (1)
Information storage and retrieval systems (1)
Computer system performance (1)

Books by Radu Calinescu

Total count: 6

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer Berlin Heidelberg2011-01-01
Foundations of Computer SoftwareModeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers

Springer2011-09-09
Large-Scale Complex IT Systems. Development, Operation and Management17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Springer London, Limited2012-01-01
Software Engineering and Formal Methods13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Springer London, Limited2015-01-01
Software Engineering and Formal Methods : SEFM 2015 Collocated WorkshopsATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Springer London, Limited2016-01-01
Software Engineering for Resilient Systems11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Springer2019-09-05