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: International Symposium of Formal Methods Europe 35 träffar

Titel Författare År Språk
21 FME '93: Industrial-Strength Formal Methods electronic resource : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / edited by James C.P. Woodcock, Peter G. Larsen Denmark) 1993 : (1st International Symposium of Formal Methods Europe Odense uuuu-uuuu Okänt
22 FM 2012: Formal Methods electronic resource : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Mery France) 2012 : (18th International Symposium of Formal Methods Europe Paris uuuu-uuuu Okänt
23 FME 2003: Formal Methods electronic resource : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dion Mandrioli Italy) 2003 : (12th International Symposium of Formal Methods Europe Pisa uuuu-uuuu Okänt
24 FM 2008: Formal Methods electronic resource : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings / edited by Jorge Cuellar, Tom Maibaum Finland) 2008 : (15th International Symposium of Formal Methods Europe Turku uuuu-uuuu Okänt
25 FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings Germany), International Symposium of Formal Methods Europe 2001 : Berlin International Symposium of Formal Methods Europe 2001 Engelska
26 FME '96: Industrial Benefit and Advances in Formal Methods - Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings International Symposium of Formal Methods Europe International Symposium of Formal Methods Europe 1996 Engelska
27 FME '97 Industrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings International Symposium of Formal Methods Europe International Symposium of Formal Methods Europe 1997 Engelska
28-29 FME '94: Industrial Benefit of Formal Methods (flera utgåvor) International Symposium of Formal Methods Europe 1994 Engelska
30 FME '97: Industrial Applications and Strengthened Foundations of Formal Methods International Symposium of Formal Methods Europe 1997 Engelska
31 FME'96: Industrial Benefit and Advances in Formal Methods International Symposium of Formal Methods Europe 1996 Engelska
32-33 FME 2002 - formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings (flera utgåvor) International Symposium of Formal Methods Europe 2002 : Copenhagen) cop. 2002 Engelska
34 FME 2003. - formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings Italy) International Symposium of Formal Methods Europe 2003 : Pisa 2003 Engelska
35 FME 2003: Formal Methods - International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Italy) International Symposium of Formal Methods Europe 2003 : Pisa 2003 Engelska

Förra sidan 1 2

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.