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 Static Analysis Symposium 48 träffar

Titel Författare År Språk
1 Static Analysis electronic resource : Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings / edited by Radhia Cousot, David A. Schmidt Germany) 1996 : (3rd International Static Analysis Symposium Aachen uuuu-uuuu Okänt
2 Static Analysis electronic resource : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / edited by Antoine Mine, David Schmidt France) 2012 : (19th International Static Analysis Symposium Deauville uuuu-uuuu Okänt
3 Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (eds.) England) 2005 : (12th International Static Analysis Symposium London uuuu-uuuu Okänt
4 Static Analysis electronic resource : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings / edited by Jens Palsberg, Zhendong Su Calif.) 2009 : (16th International Static Analysis Symposium Los Angeles uuuu-uuuu Okänt
5 Static Analysis electronic resource : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings / edited by Hanne Riis Nielson, Gilberto Filé Denmark) 2007 : (14th International Static Analysis Symposium Lyngby uuuu-uuuu Okänt
6 Static Analysis electronic resource : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / edited by Pascal van Hentenryck France) 1997 : (4th International Static Analysis Symposium Paris uuuu-uuuu Okänt
7 Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot, ed France) 2001 : (8th International Static Analysis Symposium Paris uuuu-uuuu Okänt
8 Static Analysis electronic resource : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings / edited by Radhia Cousot, Matthieu Martel France) 2010 : (17th International Static Analysis Symposium Perpignan uuuu-uuuu Okänt
9 Static Analysis electronic resource : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / edited by Radhia Cousot Calif.) 2003 : (10th International Static Analysis Symposium San Diego uuuu-uuuu Okänt
10 Static Analysis electronic resource : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / edited by Jens Palsberg Calif.) 2000 : (7th International Static Analysis Symposium Santa Barbara uuuu-uuuu Okänt
11 Static Analysis electronic resource : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings / edited by Kwangkeun Yi Korea) 2006 : (13th International Static Analysis Symposium Seoul uuuu-uuuu Okänt
12 "Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings" International Static Analysis Symposium 2006 Okänt
13 "Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings" International Static Analysis Symposium 2007 Okänt
14 "Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings" International Static Analysis Symposium 2008 Okänt
15 "Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings" International Static Analysis Symposium 2009 Okänt
16 "Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings" International Static Analysis Symposium 2012 Okänt
17 "Static analysis : 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings" International Static Analysis Symposium 1997 Okänt
18 "Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings" International Static Analysis Symposium 2002 Okänt
19 Static Analysis electronic resource : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / edited by Manuel Hermenegildo, German Puebla International Static Analysis Symposium uuuu-uuuu Okänt
20 Static Analysis electronic resource : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings / edited by Baudouin LeCharlier International Static Analysis Symposium 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.