close
1.

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

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

図書
図書
3. Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Johan Jeuring (ed.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1422
所蔵情報: loading…
4.

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

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

図書
図書
6. Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
Tobias Nipkow (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1379
所蔵情報: loading…
7.

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

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

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

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

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

図書
図書
12. Proceedings of the twenty-eighth Annual ACM Symposium on the Theory of Computing, Philadelphia, Pennsylvania, May 22-24, 1996
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1996
所蔵情報: loading…
13.

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

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

図書
図書
15. Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
Bernhard Möller, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 947
所蔵情報: loading…
16.

図書
図書
16. Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
David Pitt, David E. Rydeheard, Peter Johnstone (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 953
所蔵情報: loading…
17.

図書
図書
17. Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing, Las Vegas, Nevada, May 29-June 1, 1995
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1995
所蔵情報: loading…
18.

図書
図書
18. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings (: Berlin)
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: loading…
19.

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

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

図書
図書
21. Proceedings of the 1994 International Conference on Computer Languages : May 16-19, 1994, Toulouse, France (: soft. ; : case. ; : micro.)
sponsored by IEEE Computer Society Technical Committee on Computer Languages in cooperation with ACM SIGNPLAN, IRIT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994
所蔵情報: loading…
22.

図書
図書
22. Proceedings of the twenty-sixth Annual ACM Symposium on the Theory of Computing, Montréal, Québec, Canada, May 23-25, 1994
sponsored by the ACM Special Interest Group Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1994
所蔵情報: loading…
23.

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

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

図書
図書
25. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings (: gw ; : us)
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 669
所蔵情報: loading…
26.

図書
図書
26. Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 (: paper ; : case ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT ... [et al.]
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1993
所蔵情報: loading…
27.

図書
図書
27. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings (: gw ; : us)
Claude Kirchner (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 690
所蔵情報: loading…
28.

図書
図書
28. Proceedings of the twenty-fifth Annual ACM Symposium on the Theory of Computing, San Diego, California, May 16-18, 1993
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1993
所蔵情報: loading…
29.

図書
図書
29. ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings (: gw ; : us)
B. Krieg-Brückner (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 582
所蔵情報: loading…
30.

図書
図書
30. Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 (: paper ; : case ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1992
所蔵情報: loading…
31.

図書
図書
31. Proceedings of the twenty-fourth Annual ACM Symposium on the Theory of Computing : Victoria, British Columbia, Canada, May 4-6, 1992
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : ACM, c1992
所蔵情報: loading…
32.

図書
図書
32. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings (: gw ; : us)
D.H. Pitt ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 530
所蔵情報: loading…
33.

図書
図書
33. Proceedings of the Second Annual ACM-SIAM Symposium on Discrete Algorithms (: ACM ; : SIAM)
ACM-SIAM Symposium on Discrete Algorithms ; Association for Computing Machinery ; Society for Industrial and Applied Mathematics
出版情報: New York : Association for Computing Machinery , Philadelphia : Society for Industrial and Applied Mathematics, c1991
所蔵情報: loading…
34.

図書
図書
34. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings (: gw ; : us)
Ronald V. Book, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 488
所蔵情報: loading…
35.

図書
図書
35. Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing : New Orleans, Louisiana, May 6-8, 1991
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : ACM, c1991
所蔵情報: loading…
36.

図書
図書
36. Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands (: paper ; : case ; : microfiche)
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1991
所蔵情報: loading…
37.

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

図書
図書
38. Formal development of programs and proofs
edited by Edsger W. Dijkstra
出版情報: Reading, Mass. : Addison-Wesley, c1990
シリーズ名: The UT Year of Programming series
所蔵情報: loading…
39.

図書
図書
39. Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms
ACM-SIAM Symposium on Discrete Algorithms ; Association for Computing Machinery ; Society for Industrial and Applied Mathematics
出版情報: Philadelphia : Society for Industrial and Applied Mathematics, c1990
所蔵情報: loading…
40.

図書
図書
40. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings (: gw ; : us)
N. Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: loading…
41.

図書
図書
41. Proceedings : Fourth Annual Symposium on Logic in Computer Science (paper ; case ; microfiche)
[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1989
所蔵情報: loading…
42.

図書
図書
42. Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings (: gw ; : us)
J.L.A. van de Snepscheut (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 375
所蔵情報: loading…
43.

図書
図書
43. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings (: gw ; : us)
D.H. Pitt ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 389
所蔵情報: loading…
44.

図書
図書
44. Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings (: gw ; : us)
K.V. Nori, S. Kumar (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 338
所蔵情報: loading…
45.

図書
図書
45. Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987
edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
所蔵情報: loading…
46.

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

図書
図書
47. Discrete algorithms and complexity : proceedings of the Japan-US Joint Seminar, June 4-6, 1986, Kyoto, Japan
edited by David S. Johnson ... [et al.]
出版情報: Boston : Tokyo : Academic Press, c1987
シリーズ名: Perspectives in computing ; v. 15
所蔵情報: loading…
48.

図書
図書
48. Proceedings of the 1986 ACM Conference on LISP and Functional Programming : papers presented at the conference, Cambridge, Massachusetts, August 4-6, 1986
sponsored by the Association for Computing Machinery SIGPLAN, SIGACT, SIGART
出版情報: New York, N.Y. : Association for Computing Machinery, c1986
所蔵情報: loading…
49.

図書
図書
49. Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing : Berkeley, California, May 28-30, 1986
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : Additional copies may be orderd from ACM Order Dept., c1986
所蔵情報: loading…
50.

図書
図書
50. Proceedings : 7th Symposium on Computer Arithmetic, June 4-6, 1985, University of Illinois, Urbana, Illinois
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with The University of Illinois
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1985
所蔵情報: loading…