Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Radu Calinescu 9 träffar

Titel Författare År Språk
1 Software Engineering and Formal Methods Bernhard Rumpe 2015 Okänt
2 Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers Radu. Calinescu 2011 Engelska
3 Large-Scale Complex IT Systems. Development, Operation and Management Radu Calinescu 2012 Okänt
4 Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers Radu. Calinescu 2012 Engelska
5 Tele Assistance - A Self-Adaptive Service-Based System Examplar Danny Weyns 2015 Engelska
6 Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings 2015 Engelska
7 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Radu Calinescu 2023 Engelska
8 Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings 2015 Okänt
9 Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31-April 2, Revised Selected Papers 2011 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.