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

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / Manuel V. Hermenegildo, Germán Puebla (eds.)

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

類似資料:

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

SAS, Hankin, Chris, Siveroni, Igor

Springer
7 図書 Advances in intelligent data analysis VI : 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005 : proceedings

International Symposium on Advances in Intelligent Data Analysis, Famili, A. Fazel, Kok, Joost N., Peña, José M., …

Springer
2 電子ブック Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Hermenegildo, Manuel V., Morales, José F.

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

SAS, Cousot, Radhia

Springer
3 図書 Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael

Springer
9 図書 Recent advances in intrusion detection : 9th international symposium, RAID 2006, Hamburg, Germany, September 20-22, 2006, proceedings

RAID, Zamboni, Diego, Kruegel, Christopher

Springer
4 図書 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings (: us ; : gw)

International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955-

Springer-Verlag
10 図書 Human computer interaction with mobile devices : 4th International Symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002 : proceedings

International Symposium, Mobile HCI, Paternó, Fabio, 1960-

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

SAS, Yi, Kwangkeun

Springer
11 図書 String processing and information retrieval : 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 : proceedings

International Symposium on String Processing and Information Retrieval, Laender, Alberto H. F., 1951-, Oliveira, Arlindo …

Springer
6 図書 Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

SAS, Giacobazzi, Roberto

Springer
12 図書 Software Reuse : Methods, Techniques, and Tools : 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 : proceedings

International Conference on Software Reuse, Bosch, Jan, Krueger, Charles

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