1.

電子ブック
ＥＢ
1. Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings. 1st ed. 1996
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1103
オンライン: https://doi.org/10.1007/3-540-61464-8
2.

電子ブック
ＥＢ
2. Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings. 1st ed. 1996
edited by Hanne R. Nielson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: https://doi.org/10.1007/3-540-61055-3
3.

電子ブック
ＥＢ
3. STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings. 1st ed. 1996
edited by Claude Puech, Rüdiger Reischuk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1046
オンライン: https://doi.org/10.1007/3-540-60922-9
4.

電子ブック
ＥＢ
4. Foundations of Software Technology and Theoretical Computer Science : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings. 1st ed. 1996
edited by Vijay Chandru, V. Vinay
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1180
オンライン: https://doi.org/10.1007/3-540-62034-6
5.

電子ブック
ＥＢ
5. Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers. 1st ed. 1996
edited by Stefano Berardi, Mario Coppo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1158
オンライン: https://doi.org/10.1007/3-540-61780-9
6.

電子ブック
ＥＢ
6. Algebraic and Logic Programming : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings. 1st ed. 1996
edited by Michael Hanus, Mario Rodriguez-Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1139
オンライン: https://doi.org/10.1007/3-540-61735-3
7.

電子ブック
ＥＢ
7. Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers. 1st ed. 1996
edited by Hans Kleine Buening
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: https://doi.org/10.1007/3-540-61377-3
8.

電子ブック
ＥＢ
8. Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings. 1st ed. 1996
edited by Herbert Kuchen, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1140
オンライン: https://doi.org/10.1007/3-540-61756-6
9.

電子ブック
ＥＢ
9. Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings. 1st ed. 1996
edited by Rajeev Alur, Thomas Henzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1102
オンライン: https://doi.org/10.1007/3-540-61474-5
10.

電子ブック
ＥＢ
10. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. 1st ed. 1996
edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1074
オンライン: https://doi.org/10.1007/3-540-61254-8
11.

電子ブック
ＥＢ
11. Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings. 1st ed. 1996
edited by Martin Wirsing, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1101
オンライン: https://doi.org/10.1007/BFb0014301
12.

電子ブック
ＥＢ
12. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings. 1st ed. 1996
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: https://doi.org/10.1007/BFb0031795
13.

電子ブック
ＥＢ
13. Logics for Concurrency : Structure versus Automata. 1st ed. 1996
edited by Faron Moller, Graham Birtwistle
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1043
オンライン: https://doi.org/10.1007/3-540-60915-6
14.

電子ブック
ＥＢ
14. Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings. 1st ed. 1996
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1181
オンライン: https://doi.org/10.1007/3-540-62064-8
15.

電子ブック
ＥＢ
15. TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings. 1st ed. 1995
edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 915
オンライン: https://doi.org/10.1007/3-540-59293-8
16.

電子ブック
ＥＢ
16. Foundations of Software Technology and Theoretical Computer Science : 15th Conference; Bangalore, India, December 1995. Proceedings. 1st ed. 1995
edited by P.S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1026
オンライン: https://doi.org/10.1007/3-540-60692-0
17.

電子ブック
ＥＢ
17. Computer Aided Verification : 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings. 1st ed. 1995
edited by Pierre Wolper
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 939
オンライン: https://doi.org/10.1007/3-540-60045-0
18.

電子ブック
ＥＢ
18. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings. 1st ed. 1995
edited by Jiri Wiedermann, Petr Hajek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: https://doi.org/10.1007/3-540-60246-1
19.

電子ブック
ＥＢ
19. Rewriting Techniques and Applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings. 1st ed. 1995
edited by Jieh Hsiang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 914
オンライン: https://doi.org/10.1007/3-540-59200-8
20.

電子ブック
ＥＢ
20. Fundamentals of Computation Theory : 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings. 1st ed. 1995
edited by Horst Reichel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 965
オンライン: https://doi.org/10.1007/3-540-60249-6
21.

電子ブック
ＥＢ
21. Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings. 1st ed. 1995
edited by V.S. Alagar, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 936
オンライン: https://doi.org/10.1007/3-540-60043-4
22.

電子ブック
ＥＢ
22. Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings. 1st ed. 1995
edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 902
オンライン: https://doi.org/10.1007/BFb0014040
23.

電子ブック
ＥＢ
23. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings. 1st ed. 1995
edited by Ernst W. Mayr, Claude Puech
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 900
オンライン: https://doi.org/10.1007/3-540-59042-0
24.

電子ブック
ＥＢ
24. Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings. 1st ed. 1995
edited by Nachum Dershowitz, Naomi Lindenstrauss
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 968
オンライン: https://doi.org/10.1007/3-540-60381-6
25.

電子ブック
ＥＢ
25. Computer Science Logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers. 1st ed. 1995
edited by Leszek Pacholski, Jerzy Tiuryn
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 933
オンライン: https://doi.org/10.1007/BFb0022242
26.

電子ブック
ＥＢ
26. Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers. 1st ed. 1994
edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 816
オンライン: https://doi.org/10.1007/3-540-58233-9
27.

電子ブック
ＥＢ
27. Mathematical Foundations of Programming Semantics : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings. 1st ed. 1994
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 802
オンライン: https://doi.org/10.1007/3-540-58027-1
28.

電子ブック
ＥＢ
28. Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers. 1st ed. 1994
edited by Egon Börger, Yuri Gurevich, Karl Meinke
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 832
オンライン: https://doi.org/10.1007/BFb0049319
29.

電子ブック
ＥＢ
29. Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings. 1st ed. 1994
edited by Donald Sannella
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 788
オンライン: https://doi.org/10.1007/3-540-57880-3
30.

電子ブック
ＥＢ
30. Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings. 1st ed. 1994
edited by Dov M. Gabbay, Hans J. Ohlbach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 827
オンライン: https://doi.org/10.1007/BFb0013976
31.

電子ブック
ＥＢ
31. Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers. 1st ed. 1994
edited by Henk Barendregt, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 806
オンライン: https://doi.org/10.1007/3-540-58085-9
32.

電子ブック
ＥＢ
32. STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings. 1st ed. 1994
edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 775
オンライン: https://doi.org/10.1007/3-540-57785-8
33.

電子ブック
ＥＢ
33. Logic, Language and Computation : Festschrift in Honor of Satoru Takasu. 1st ed. 1994
edited by Neil Jones, Masami Hagiya, Masahiko Sato
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 792
オンライン: https://doi.org/10.1007/BFb0032390
34.

電子ブック
ＥＢ
34. Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings. 1st ed. 1994
edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 812
オンライン: https://doi.org/10.1007/3-540-58131-6
35.

電子ブック
ＥＢ
35. Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings. 1st ed. 1994
edited by Jeffrey J. Joyce, Carl-Johan H. Seger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 780
オンライン: https://doi.org/10.1007/3-540-57826-9
36.

電子ブック
ＥＢ
36. Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings. 1st ed. 1994
edited by Igor Privara, Branislav Rovan, Peter Ruzicka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 841
オンライン: https://doi.org/10.1007/3-540-58338-6
37.

電子ブック
ＥＢ
37. Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings. 1st ed. 1994
edited by Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 845
オンライン: https://doi.org/10.1007/BFb0016839
38.

電子ブック
ＥＢ
38. Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings. 1st ed. 1994
edited by Giorgio Levi, Mario Rodriguez-Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 850
オンライン: https://doi.org/10.1007/3-540-58431-5
39.

電子ブック
ＥＢ
39. Automata, Languages, and Programming : 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings. 1st ed. 1994
edited by Serge Abiteboul, Eli Shamir
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 820
オンライン: https://doi.org/10.1007/3-540-58201-0
40.

電子ブック
ＥＢ
40. Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings. 1st ed. 1994
edited by Anil Nerode, Yu.V. Matiyasevich
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 813
オンライン: https://doi.org/10.1007/3-540-58140-5
41.

電子ブック
ＥＢ
41. Automata, Languages and Programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings. 1st ed. 1993
edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 700
オンライン: https://doi.org/10.1007/3-540-56939-1
42.

電子ブック
ＥＢ
42. Foundations of Software Technology and Theoretical Computer Science : 13th Conference, Bombay, India, December 15-17, 1993. Proceedings. 1st ed. 1993
edited by Rudrapatna K. Shyamasundar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 761
オンライン: https://doi.org/10.1007/3-540-57529-4
43.

電子ブック
ＥＢ
43. STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings. 1st ed. 1993
edited by Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 665
オンライン: https://doi.org/10.1007/3-540-56503-5
44.

電子ブック
ＥＢ
44. Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings. 1st ed. 1993
edited by Marc Bezem, Jan F. Groote
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 664
オンライン: https://doi.org/10.1007/BFb0037093
45.

電子ブック
ＥＢ
45. Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers. 1st ed. 1993
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: https://doi.org/10.1007/3-540-56992-8
46.

電子ブック
ＥＢ
46. Fundamentals of Computation Theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings. 1st ed. 1993
edited by Zoltan Esik
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 710
オンライン: https://doi.org/10.1007/3-540-57163-9
47.

電子ブック
ＥＢ
47. The Generic Development Language Deva : Presentation and Case Studies. 1st ed. 1993
by Matthias Weber, Martin Simons, Christine Lafontaine
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 738
オンライン: https://doi.org/10.1007/3-540-57335-6
48.

電子ブック
ＥＢ
48. Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings. 1st ed. 1992
edited by Helene Kirchner, Giorgio Levi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 632
オンライン: https://doi.org/10.1007/BFb0013814
49.

電子ブック
ＥＢ
49. Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings. 1st ed. 1992
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 626
オンライン: https://doi.org/10.1007/BFb0023753
50.

電子ブック
ＥＢ
50. Specifying Message Passing and Time-Critical Systems with Temporal Logic. 1st ed. 1992
by Ron Koymans
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 651
オンライン: https://doi.org/10.1007/3-540-56283-4