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: Dimitra. Giannakopoulou
8 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
FM 2012: Formal Methods
|
Dimitra Giannakopoulou
|
2012 |
Okänt |
| 2 |
Software Engineering and Formal Methods
|
Dimitra Giannakopoulou
|
2014 |
Okänt |
| 3 |
Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 1718, 2014, Revised Selected Papers
|
Dimitra Giannakopoulou
|
2014 |
Okänt |
| 4 |
Fundamental Approaches to Software Engineering : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings
|
|
2011 |
Okänt |
| 5 |
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
|
Dimitra. Giannakopoulou
|
2012 |
Engelska |
| 6 |
Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
|
Dimitra. Giannakopoulou
|
2011 |
Engelska |
| 7 |
Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
|
Dimitra. Giannakopoulou
|
2014 |
Engelska |
| 8 |
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
|
Dimitra. Giannakopoulou
|
2014 |
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.