Your search returned 13 results. Subscribe to this search

|
1. Congrès Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings / Alan Mycroft, edPublication :Berlin, New York : Springer, c1995Description : viii, 421 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1800] (1).
2. Congrès Static analysis [Texte imprimé] : 4th International Symposium, SAS'97, Paris, France, September 1997 : proceedings / Pascal van Hentenryck (ed.)Publication :New York : Springer, cop. 1997Description : 1 vol. (X-412 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 97] (1).
3. Congrès Static analysis [Texte imprimé] : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto FilePublication :New York : Springer Verlag, cop. 1999Description : 1 vol. (VIII-356 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VEN 99] (1).
4. Congrès Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.)Publication :Berlin, New York : Springer, 2000Description : viii, 432 p. : ill.Availability: Copies available for reference: Centre de recherche en informatique[SAN 00] (1).
5. Congrès Static analysis [Texte imprimé] : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.)Publication :Berlin, New York : Springer, cop. 2003Description : XIV-503 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 03] (1).
6. Congrès Static analysis [Texte imprimé] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004proceedings / Roberto Giacobazzi (ed.)Publication :Berlin, New York : Springer, cop. 2004Description : XI-392 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VER 04] (1).
7. Congrès Static analysis [Texte imprimé] : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (eds.)Publication :Berlin, New York : Springer, cop. 2005Description : 1 vol. (X-367 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[LON 05] (1).
8. Congrès Static analysis [ [Texte imprimé]] : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings ; Manuel V. Hermenegildo, Germán Puebla, (eds.)Publication :Berlin, New York : Springer, cop. 2002Description : 1 vol. (XI-525 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MAD 02] (1).
9. Congrès Static analysis [ [Texte imprimé]] : 14th International symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings ; editeurs: Hanne Riis Nielson, Gilberto FiléPublication :Berlin, New York : Springer, 2007Description : 1 vol. (XI-467 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[KON 07] (1).
10. Congrès Static analysis [ [Texte imprimé]] : 15th International symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings ; María Alpuente, Germán Vidal (Eds.)Publication :Berlin, New York : Springer, 2008Description : 1 vol. (X-377 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[VAL 08] (1).
11. Congrès Static analysis [ [Texte imprimé]] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings ; Jens Palsberg, Zhendong Su (eds.)Publication :Berlin, Heidelberg : Springer, cop. 2009Description : 1 vol. (X-359 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[LOS 09] (1).
12. Congrès Static analysis [ [Texte imprimé]] : 18th international symposium, SAS 2011, Venice, Italy, September 14 - 16, 2011 : proceedings ; Eran Yahav (ed.)Publication :Berlin, Heidelberg : Springer, 2011Description : 1 vol. (XII-385 p.) : fig., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[VEN 11] (2).
13. Congrès Static Analysis, 17th International Symposium, SAS 2010, Perpignan, France, September 2010 [ [Texte imprimé]] ; Eds.: Radhia Cousot, Matthieu MartelPublication :2010, Berlin : SpringerDescription : 1 vol. (XI-471 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PER 10] (1).

Powered by Koha

//]]>