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-19 |
Static Analysis
(flera utgåvor)
|
International Static Analysis Symposium
|
2004 |
Engelska |
20 |
Static analysis - 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
|
International Static Analysis Symposium 2002 : Madrid)
|
cop. 2002 |
Engelska |