1.

図書
図書
1. Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings (: pbk)
Hubert Comon (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1232
所蔵情報: loading…
2.

図書
図書
2. Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
Pascal van Hentenryck (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1302
所蔵情報: loading…
3.

図書
図書
3. Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
Harald Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1103
所蔵情報: loading…
4.

図書
図書
4. Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
Hanne Riis Nielson, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1058
所蔵情報: loading…
5.

図書
図書
5. Proceedings : Symposium on Logic in Computer Science, LICS '96, New Brunswick, New Jersey, July, 27 -30, 1996 (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996
所蔵情報: loading…
6.

図書
図書
6. Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings (: Berlin)
Jieh Hsiang, (ed.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 914
所蔵情報: loading…
7.

図書
図書
7. Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings
Alan Mycroft (ed.)
出版情報: Berlin ; New York : Springer, c1995
シリーズ名: Lecture notes in computer science ; 983
所蔵情報: loading…
8.

図書
図書
8. Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California (:softbound ; :casebound)
edited by Dexter Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Special Interest Group on Automata and Computability Theory of the ACM Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from AT & T Bell Laboratories IBM Almaden Research Center Rice University, University of California, San Diego
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1995
所蔵情報: loading…
9.

図書
図書
9. Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings (: gw ; : us)
Baudouin Le Charlier (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 864
所蔵情報: loading…
10.

図書
図書
10. Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings (: us ; : gw)
Donald Sannella, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 788
所蔵情報: loading…