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: Mario. Bravetti 10 träffar

Titel Författare År Språk
1-2 Formal Techniques for Computer Systems and Business Processes - European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings (flera utgåvor) Mario. Bravetti 2005 Engelska
3 Web Services and Formal Methods electronic resource - Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings Mario. Bravetti 2006 Engelska
4 CONCUR 2009 - Concurrency Theory - 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings Mario. Bravetti 2009 Engelska
5 Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers Mario. Bravetti 2011 Engelska
6 Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings Robert M. Hierons 2013 Engelska
7 Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : Proceedings (Lecture notes in computer science, 3670) Mario Bravetti 2005 Okänt
8 CONCUR 2009 - Concurrency Theory Mario Bravetti 2009 Okänt
9 Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings Robert M. Hierons 2013 Okänt
10 Web Services and Formal Methods Mario Bravetti 2006 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.