1.

電子ブック
ＥＢ
1. Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings. 1st ed. 1996
edited by Helene Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: https://doi.org/10.1007/3-540-61064-2
2.

電子ブック
ＥＢ
2. Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings. 1st ed. 1996
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1135
オンライン: https://doi.org/10.1007/3-540-61648-9
3.

電子ブック
ＥＢ
3. Languages and Compilers for Parallel Computing : 8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings. 1st ed. 1996
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1033
オンライン: https://doi.org/10.1007/BFb0014187
4.

電子ブック
ＥＢ
4. 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
5.

電子ブック
ＥＢ
5. 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
6.

電子ブック
ＥＢ
6. 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
7.

電子ブック
ＥＢ
7. 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
8.

電子ブック
ＥＢ
8. CONCUR '96: Concurrency Theory : 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings. 1st ed. 1996
edited by Ugo Montanari, Vladimiro Sassone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1119
オンライン: https://doi.org/10.1007/3-540-61604-7
9.

電子ブック
ＥＢ
9. Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers. 1st ed. 1996
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1130
オンライン: https://doi.org/10.1007/3-540-61629-2
10.

電子ブック
ＥＢ
10. 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
11.

電子ブック
ＥＢ
11. 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
12.

電子ブック
ＥＢ
12. Trends in Distributed Systems: CORBA and Beyond : International Workshop TreDS '96 Aachen, Germany, October 1 - 2, 1996; Proceedings. 1st ed. 1996
edited by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1161
オンライン: https://doi.org/10.1007/3-540-61842-2
13.

電子ブック
ＥＢ
13. Static Analysis : Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings. 1st ed. 1996
edited by Radhia Cousot, David A. Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1145
オンライン: https://doi.org/10.1007/3-540-61739-6
14.

電子ブック
ＥＢ
14. Parallel Virtual Machine - EuroPVM'96 : Third European PVM Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings. 1st ed. 1996
edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1156
オンライン: https://doi.org/10.1007/3-540-61779-5
15.

電子ブック
ＥＢ
15. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings. 1st ed. 1996
edited by Wojciech Penczek, Andrzej Szalas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: https://doi.org/10.1007/3-540-61550-4
16.

電子ブック
ＥＢ
16. The Data Parallel Programming Model : Foundations, HPF Realization, and Scientific Applications. 1st ed. 1996
edited by Guy-Rene Perrin, Alain Darte
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1132
オンライン: https://doi.org/10.1007/3-540-61736-1
17.

電子ブック
ＥＢ
17. 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
18.

電子ブック
ＥＢ
18. CONCUR '95 Concurrency Theory : 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings. 1st ed. 1995
edited by Scott Smolka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 962
オンライン: https://doi.org/10.1007/3-540-60218-6
19.

電子ブック
ＥＢ
19. Static Analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings. 1st ed. 1995
edited by Alan Mycroft
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 983
オンライン: https://doi.org/10.1007/3-540-60360-3
20.

電子ブック
ＥＢ
20. 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
21.

電子ブック
ＥＢ
21. Languages and Compilers for Parallel Computing : 7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings. 1st ed. 1995
edited by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 892
オンライン: https://doi.org/10.1007/BFb0025866
22.

電子ブック
ＥＢ
22. 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
23.

電子ブック
ＥＢ
23. 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
24.

電子ブック
ＥＢ
24. Efficient Graph Rewriting and Its Implementation. 1st ed. 1995
by Heiko Dörr
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 922
オンライン: https://doi.org/10.1007/BFb0031909
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. Automata, Languages and Programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings. 1st ed. 1995
edited by Zoltan Fülöp, Ferenc Gecseg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 944
オンライン: https://doi.org/10.1007/3-540-60084-1
27.

電子ブック
ＥＢ
27. 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
28.

電子ブック
ＥＢ
28. Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings. 1st ed. 1994
edited by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 863
オンライン: https://doi.org/10.1007/3-540-58468-4
29.

電子ブック
ＥＢ
29. A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings. 1st ed. 1994
edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 803
オンライン: https://doi.org/10.1007/3-540-58043-3
30.

電子ブック
ＥＢ
30. 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
31.

電子ブック
ＥＢ
31. CONCUR '94: Concurrency Theory : 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings. 1st ed. 1994
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 836
オンライン: https://doi.org/10.1007/978-3-540-48654-1
32.

電子ブック
ＥＢ
32. 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
33.

電子ブック
ＥＢ
33. An Extended Entity-Relationship Model : Fundamentals and Pragmatics. 1st ed. 1994
by Martin Gogolla
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 767
オンライン: https://doi.org/10.1007/3-540-57648-7
34.

電子ブック
ＥＢ
34. Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings. 1st ed. 1994
edited by Frank Pfenning
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 822
オンライン: https://doi.org/10.1007/3-540-58216-9
35.

電子ブック
ＥＢ
35. 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
36.

電子ブック
ＥＢ
36. 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
37.

電子ブック
ＥＢ
37. Static Analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings. 1st ed. 1994
edited by Baudouin LeCharlier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 864
オンライン: https://doi.org/10.1007/3-540-58485-4
38.

電子ブック
ＥＢ
38. Languages and Compilers for Parallel Computing : 6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings. 1st ed. 1994
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 768
オンライン: https://doi.org/10.1007/3-540-57659-2
39.

電子ブック
ＥＢ
39. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. 1st ed. 1993
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: https://doi.org/10.1007/3-540-56883-2
40.

電子ブック
ＥＢ
40. Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers. 1st ed. 1993
edited by Michel Bidoit, Christine Choppy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 655
オンライン: https://doi.org/10.1007/3-540-56379-2
41.

電子ブック
ＥＢ
41. 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
42.

電子ブック
ＥＢ
42. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings. 1st ed. 1993
edited by John Fitch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 721
オンライン: https://doi.org/10.1007/3-540-57272-4
43.

電子ブック
ＥＢ
43. Languages and Compilers for Parallel Computing : 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings. 1st ed. 1993
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 757
オンライン: https://doi.org/10.1007/3-540-57502-2
44.

電子ブック
ＥＢ
44. TAPSOFT '93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings. 1st ed. 1993
edited by Marie-Claude Gaudel, Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: https://doi.org/10.1007/3-540-56610-4
45.

電子ブック
ＥＢ
45. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings. 1st ed. 1993
by Alfonso Miola
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 722
オンライン: https://doi.org/10.1007/BFb0013162
46.

電子ブック
ＥＢ
46. CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings. 1st ed. 1993
edited by Eike Best
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 715
オンライン: https://doi.org/10.1007/3-540-57208-2
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. Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings. 1st ed. 1992
edited by J.Paul Jr. Myers, Michael J. O'Donnell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 613
オンライン: https://doi.org/10.1007/BFb0021078
50.

電子ブック
ＥＢ
50. Languages and Compilers for Parallel Computing : Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings. 1st ed. 1992
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 589
オンライン: https://doi.org/10.1007/BFb0038653