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 Conference on Formal Engineering Methods 42 träffar

Titel Författare År Språk
1 Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia Qld.) 1998 : (2nd IEEE International Conference on Formal Engineering Methods Brisbane uuuu-uuuu Okänt
2 First IEEE International Conference Conference sic on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 Japan) 1997 : (1st IEEE International Conference on Formal Engineering Methods Hiroshima-shi uuuu-uuuu Okänt
3 ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 England) 2000 : (3rd IEEE International Conference on Formal Engineering Methods York uuuu-uuuu Okänt
4-5 SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam (flera utgåvor) Vietnam) 2009 : (7th IEEE International Conference on Software Engineering and Formal Methods Hanoi uuuu-uuuu Okänt
6 Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings / Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (editors) Fla.) 2007 : (9th International Conference on Formal Engineering Methods Boca Raton uuuu-uuuu Okänt
7 Formal Methods and Software Engineering electronic resource : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu England) 2011 : (13th International Conference on Formal Engineering Methods Durham uuuu-uuuu Okänt
8 "Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings" International Conference on Formal Engineering Methods 2008 Okänt
9 "Formal Methods and Software Engineering: 11th International Conference on Formal Engineering MethodsICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings" International Conference on Formal Engineering Methods 2009 Okänt
10 "Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings" International Conference on Formal Engineering Methods 2012 Okänt
11 "Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings" International Conference on Formal Engineering Methods 2002 Okänt
12 "Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings" International Conference on Formal Engineering Methods 2006 Okänt
13 "Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings" International Conference on Formal Engineering Methods 2007 Okänt
14 Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / edited by Shaoying Liu, Tom Maibaum, Keijiro Araki Japan) 2008 : (10th International Conference on Formal Engineering Methods Kitakyūshū-shi uuuu-uuuu Okänt
15 Formal Methods and Software Engineering electronic resource : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings / edited by Toshiaki Aoki, Kenji Taguchi Japan) 2012 : (14th International Conference on Formal Engineering Methods Kyoto uuuu-uuuu Okänt
16 Formal Methods and Software Engineering electronic resource : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / edited by Zhiming Liu, Jifeng He China) 2006 : (8th International Conference on Formal Engineering Methods Macau uuuu-uuuu Okänt
17 Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.) England) 2005 : (7th International Conference on Formal Engineering Methods Manchester uuuu-uuuu Okänt
18 Formal Methods and Software Engineering electronic resource : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / edited by Karin Breitman, Ana Cavalcanti Brazil) 2009 : (11th International Conference on Formal Engineering Methods Rio de Janeiro uuuu-uuuu Okänt
19 Formal Methods and Software Engineering electronic resource : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett Wash.) 2004 : (6th International Conference on Formal Engineering Methods Seattle uuuu-uuuu Okänt
20 Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett Wash.) 2004 : (6th International Conference on Formal Engineering Methods Seattle uuuu-uuuu Okänt

1 2 3 Nästa sida

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.