>> Google Books
所蔵情報QRコード

Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / Roberto Giacobazzi (ed.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2004
形態:
xi, 392 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3148 <BA00009279>
著者名:
ISBN:
9783540227915 [3540227911]
書誌ID:
BA68500698
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Static analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings

SAS, Yi, Kwangkeun

Springer
7 図書 Document analysis systems VI : 6th International Workshop, DAS 2004, Florence, Italy, September 8-10, 2004 : proceedings

IAPR Workshop on Document Analysis Systems, Marinai, Simone, Dengel, Andreas

Springer
2 図書 Static analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

SAS, Cousot, Radhia

Springer
8 図書 Telecommunications and networking - ICT 2004 : 11th International Conference on Telecommunications, Fortaleza, Brazil, August 1-6, 2004 : proceedings

International Conference on Telecommunications, Souza, José Numan de, Dini, Petre, Lorenz, Pascal, 1965-

Springer
3 図書 Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

SAS, Hermenegildo, Manuel V., Puebla, Germán

Springer
9 図書 Pattern recognition : 26th DAGM Symposium, Tübingen, Germany, August 30 - Sepember 1, 2004 : proceedings

DAGM Symposium, Rasmussen, Carl Edward, Bülthoff, Heinrich H., Giese, Martin A., Schölkopf, Bernhard

Springer
4 図書 Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

SAS, Hankin, Chris, Siveroni, Igor

Springer
10 図書 Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

VMCAI, Steffen, Bernhard, Levi, Giorgia

Springer
5 図書 Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

International Workshop on Logic Program Synthesis and Transformation, Etalle, Sandro

Springer
11 図書 String processing and information retrieval : 11th international conference, SPIRE 2004, Padova, Italy, October 5-8, 2004 : proceedings

Apostolico, Alberto, 1948-, Melucci, Massimo

Springer
6 図書 Knowledge exploration in life science informatics : International Symposium KELSI 2004, Milan, Italy, November 25-26, 2004 : proceedings

International Symposium on Knowledge Exploration in Life Science Informatics, López, Jesús A., Benfenati, Emilio, …

Springer
12 図書 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

SAS, Cortesi, Agostino, Filé, Gilberto, 1951-

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12