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

Titel Författare År Språk
1 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
2 Static Analysis electronic resource : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings / edited by Eran Yahav Italy) 2011 : (18th International Static Analysis Symposium Venice uuuu-uuuu Okänt
3 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
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 : Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings / edited by Alan Mycroft International Static Analysis Symposium uuuu-uuuu Okänt
6 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
7 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
8 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
9 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
10 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
11 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
12 Static Analysis electronic resource : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / edited by Roberto Giacobazzi Italy) 2004 : (11th International Static Analysis Symposium Verona uuuu-uuuu Okänt
13 Static Analysis electronic resource : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings / edited by María Alpuente, Germán Vidal-Oriola Spain) 2008 : (15th International Static Analysis Symposium Valencia uuuu-uuuu Okänt
14 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
15 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
16 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
17 Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / edited by Roberto Giacobazzi Italy) 2004 : (11th International Static Analysis Symposium Verona uuuu-uuuu Okänt
18 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
19-20 Static Analysis (flera utgåvor) International Static Analysis Symposium 2004 Engelska

1 2 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.