>> Google Books
タイトル、所在を表示します

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>
書誌ID:
BA58896195
ISBN:
9783540442356 [3540442359]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

SAS, Hankin, Chris, Siveroni, Igor

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

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

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

SAS, Giacobazzi, Roberto

Springer
8 図書 Tubular structures X : proceedings of the 10th International Symposium on Tubular Structures, 18-20 September 2003, Madrid, Spain

Jaurrieta, M.A., Alonso, A., Chica, J.A.

A.A. Balkema
3 図書 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : …

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

Springer-Verlag
9 図書 Algorithms and computation : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006 : proceedings

ISAAC (Conference), 浅野, 哲夫(1949-)

Springer
4 図書 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings

SAS, Cousot, Radhia, Schmidt, David A., 1953-

Springer
10 図書 Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings

SAS, Le Charlier, Baudouin, 1950-

Springer-Verlag
5 図書 Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings

SAS, Levi, Giorgio, 1942-

Springer
11 図書 Recent advances in parallel virtual machine and message passing interface : 13th European PVM/MPI user's group meeting, Bonn, Germany, September 17-20, 2006, …

European PVM/MPI Users' Group Meeting, Mohr, Bernd, Träff, Jesper Larsson, Worringen, Joachim, Dongarra, Jack

Springer
6 図書 Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings

SAS, Van Hentenryck, Pascal

Springer
12 図書 Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings

Fuji International Symposium on Functional and Logic Programming, Garrigue, Jacques, 1971-, Hermenegildo, Manuel

Springer