>> 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

類似資料:

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

Springer

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

Springer-Verlag

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

Springer

International Symposium, PLILP, Hermenegildo, Manuel, Swierstra, S. Doaitse

Springer-Verlag

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

Springer

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

Springer

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