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: Keijiro. Araki 9 träffar

Titel Författare År Språk
1 "FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings" Keijiro Araki 2003 Okänt
2 Theoretical Aspects of Computing - ICTAC 2004 Keijiro. Araki Engelska
3 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
4 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
5 Formal Methods and Software Engineering - 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings David. Hutchison 2008 Engelska
6 Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers Zhiming. Liu 2005 Engelska
7 RIMS Symposia on Software Science and Engineering II - proceedings of the symposia 1983 and 1984, Kyoto, Japan RIMS Symposia on Software Science and Engineering 1983-1984) Kyoto : cop. 1986 Engelska
8 Formal Methods and Software Engineering Shaoying Liu 2008 Okänt
9 Theoretical Aspects of Computing - ICTAC 2004 Zhiming Liu 2005 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.