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 10 träffar

Titel Författare År Språk
1 Software Engineering and Formal Methods Bernhard Rumpe 2015 Okänt
2 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Radu Calinescu 2023 Engelska
3 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
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 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
6 Architecture-Independence Loop Parallelisation Radu C. Calinescu 2000 Okänt
7 Large-Scale Complex IT Systems. Development, Operation and Management Radu Calinescu 2012 Okänt
8 Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings 2015 Engelska
9 Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings 2015 Okänt
10 Tele Assistance - A Self-Adaptive Service-Based System Examplar Danny Weyns 2015 Engelska

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.