1.

図書
図書
1. Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
Giorgio Levi (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1503
所蔵情報: loading…
2.

図書
図書
2. Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings
Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1490
所蔵情報: loading…
3.

図書
図書
3. 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…
4.

図書
図書
4. Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings (: pbk)
Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1292
所蔵情報: loading…
5.

図書
図書
5. Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Chris Hankin (ed.)
出版情報: Berlin : Springer-Verlag, c1998
シリーズ名: Lecture notes in computer science ; 1381
所蔵情報: loading…
6.

図書
図書
6. 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…
7.

図書
図書
7. Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
Herbert Kuchen, S. Doaitse Swierstra (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1140
所蔵情報: loading…
8.

図書
図書
8. Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings
Radhia Cousot, David A. Schmidt (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1145
所蔵情報: loading…
9.

図書
図書
9. Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
Patrick Cousot (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2126
所蔵情報: loading…
10.

図書
図書
10. Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
edited by Veronica Dahl and Patrick Saint-Dizier
出版情報: Amsterdam ; New York : North-Holand , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985
シリーズ名: Natural language understanding and logic programming ; [1]
所蔵情報: loading…
11.

図書
図書
11. Constructing quality software : proceedings of the IFIP Working Conference on Constructing Quality Software
edited by P.G. Hibbard and S.A. Schuman
出版情報: Amsterdam ; New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Hololand, 1978
所蔵情報: loading…
12.

図書
図書
12. Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University
edited by Anita K. Jones
出版情報: New York : Academic Press, 1977
シリーズ名: ACM monograph series
所蔵情報: loading…
13.

図書
図書
13. 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…
14.

図書
図書
14. 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…
15.

図書
図書
15. 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…
16.

図書
図書
16. Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 (: gw ; : us)
edited by J. Winkowski
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in computer science ; 64
所蔵情報: loading…
17.

図書
図書
17. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (: gw ; : us)
N. Jones (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 432
所蔵情報: loading…
18.

図書
図書
18. Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 (: gw ; : us)
edited by Jeffrey M. Tobias
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 79
所蔵情報: loading…
19.

図書
図書
19. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
H. Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 300
所蔵情報: loading…