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

Titel Författare År Språk
1 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
2 Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers Zhiming. Liu 2005 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 Theoretical Aspects of Computing - ICTAC 2004 Keijiro. Araki 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 Zhiming Liu 2005 Okänt
7 Formal Methods and Software Engineering Shaoying Liu 2008 Okänt
8 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

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.