close
1.

図書
図書
1. International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 (: gw ; : us)
edited by Andrei Ershov and Valery A. Nepomniaschy
出版情報: Berlin ; New York : Springer-Verlag, 1974  407 p ; 25 cm
シリーズ名: Lecture notes in computer science ; 5
所蔵情報: loading…
2.

図書
図書
2. Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 (: gw ; : us)
edited by Jan Paredaens
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 526 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 172
所蔵情報: loading…
3.

図書
図書
3. Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings (: gw ; : us)
Patrick Cousot ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  ix, 283 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 724
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼