1.

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

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

電子ブック
ＥＢ
3. FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
edited by Marie-Claude Gaudel, James Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1051
オンライン: http://dx.doi.org/10.1007/3-540-60973-3
4.

電子ブック
ＥＢ
4. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1165
オンライン: http://dx.doi.org/10.1007/BFb0027227
5.

電子ブック
ＥＢ
5. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings
edited by Jiří Wiedermann, Petr Hájek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: http://dx.doi.org/10.1007/3-540-60246-1
6.

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

電子ブック
ＥＢ
7. Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism
edited by Josyula Ramachandra Rao
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 908
オンライン: http://dx.doi.org/10.1007/3-540-59173-7
8.

電子ブック
ＥＢ
8. Category Theory and Computer Science : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
edited by David Pitt, David E. Rydeheard, Peter Johnstone
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 953
オンライン: http://dx.doi.org/10.1007/3-540-60164-3
9.

電子ブック
ＥＢ
9. KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report
edited by Manfred Broy, Stefan Jähnichen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1009
オンライン: http://dx.doi.org/10.1007/BFb0015452
10.

電子ブック
ＥＢ
10. Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 906
オンライン: http://dx.doi.org/10.1007/BFb0014419
11.

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

電子ブック
ＥＢ
12. Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
edited by Masami Hagiya, John C. Mitchell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 789
オンライン: http://dx.doi.org/10.1007/3-540-57887-0
13.

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

電子ブック
ＥＢ
14. Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
edited by Hartmut Ehrig, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 785
オンライン: http://dx.doi.org/10.1007/3-540-57867-6
15.

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

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

電子ブック
ＥＢ
17. FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
edited by Maurice Naftalin, Tim Denvir, Miquel Bertran
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 873
オンライン: http://dx.doi.org/10.1007/3-540-58555-9
18.

電子ブック
ＥＢ
18. Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings
edited by Igor Prívara, Branislav Rovan, Peter Ruzička
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 841
オンライン: http://dx.doi.org/10.1007/3-540-58338-6
19.

電子ブック
ＥＢ
19. Static Analysis : Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
edited by Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 724
オンライン: http://dx.doi.org/10.1007/3-540-57264-3
20.

電子ブック
ＥＢ
20. Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: http://dx.doi.org/10.1007/BFb0039695
21.

電子ブック
ＥＢ
21. Semantics: Foundations and Applications : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 666
オンライン: http://dx.doi.org/10.1007/3-540-56596-5
22.

電子ブック
ＥＢ
22. 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
edited by Michel Bidoit, Christine Choppy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 655
オンライン: http://dx.doi.org/10.1007/3-540-56379-2
23.

電子ブック
ＥＢ
23. Progamming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings
edited by Maurice Bruynooghe, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 714
オンライン: http://dx.doi.org/10.1007/3-540-57186-8
24.

電子ブック
ＥＢ
24. TAPSOFT'93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
edited by M. -C. Gaudel, J. -P. Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: http://dx.doi.org/10.1007/3-540-56610-4
25.

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

電子ブック
ＥＢ
26. Mathematical Foundations of Computer Science 1992 : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings
edited by Ivan M. Havel, Václav Koubek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 629
オンライン: http://dx.doi.org/10.1007/3-540-55808-X
27.

電子ブック
ＥＢ
27. Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
edited by Maurice Bruynooghe, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 631
オンライン: http://dx.doi.org/10.1007/3-540-55844-6
28.

電子ブック
ＥＢ
28. ESOP '92 : 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings
edited by Bernd Krieg-Brückner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 582
オンライン: http://dx.doi.org/10.1007/3-540-55253-7
29.

電子ブック
ＥＢ
29. Algebraic Specification Techniques in Object Oriented Programming Environments
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: http://dx.doi.org/10.1007/3-540-54972-2
30.

電子ブック
ＥＢ
30. Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings
edited by H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 534
オンライン: http://dx.doi.org/10.1007/3-540-54496-8
31.

電子ブック
ＥＢ
31. Foundations of Object-Oriented Languages : REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
edited by J. W. Bakker, W. P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 489
オンライン: http://dx.doi.org/10.1007/BFb0019438
32.

電子ブック
ＥＢ
32. Baltic Computer Science : Selected Papers
edited by Janis Bārzdinš, Dines Bjørner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 502
オンライン: http://dx.doi.org/10.1007/BFb0019352
33.

電子ブック
ＥＢ
33. Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings
edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 530
オンライン: http://dx.doi.org/10.1007/BFb0013452
34.

電子ブック
ＥＢ
34. Algebraic Methods II: Theory, Tools and Applications
edited by J. A. Bergstra, L. M. G. Feijs
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 490
オンライン: http://dx.doi.org/10.1007/3-540-53912-3
35.

電子ブック
ＥＢ
35. Mathematical Foundations of Computer Science 1991 : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings
edited by Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 520
オンライン: http://dx.doi.org/10.1007/3-540-54345-7
36.

電子ブック
ＥＢ
36. TAPSOFT '91 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
edited by S. Abramsky, T. S. E. Maibaum
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 493
オンライン: http://dx.doi.org/10.1007/3-540-53982-4
37.

電子ブック
ＥＢ
37. Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
edited by Jan Maluszyński, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 528
オンライン: http://dx.doi.org/10.1007/3-540-54444-5
38.

電子ブック
ＥＢ
38. Theoretical Aspects of Computer Software : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings
edited by Takayasu Ito, Albert R. Meyer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 526
オンライン: http://dx.doi.org/10.1007/3-540-54415-1
39.

電子ブック
ＥＢ
39. Specification and Compositional Verification of Real-Time Systems
by Jozef Hooman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 558
オンライン: http://dx.doi.org/10.1007/3-540-54947-1
40.

電子ブック
ＥＢ
40. Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
edited by Pierre Deransart, Jan Maluszyński
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 456
オンライン: http://dx.doi.org/10.1007/BFb0024171
41.

電子ブック
ＥＢ
41. ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
edited by Neil Jones
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 432
オンライン: http://dx.doi.org/10.1007/3-540-52592-0
42.

電子ブック
ＥＢ
42. Algebraic Methods: Theory, Tools and Applications
edited by Martin Wirsing, Jan A. Bergstra
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 394
オンライン: http://dx.doi.org/10.1007/BFb0015032
43.

電子ブック
ＥＢ
43. TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
edited by Josep Díaz, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 351
オンライン: http://dx.doi.org/10.1007/3-540-50939-9
44.

電子ブック
ＥＢ
44. Categorical Methods in Computer Science With Aspects from Topology
edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 393
オンライン: http://dx.doi.org/10.1007/3-540-51722-7
45.

電子ブック
ＥＢ
45. Compositionality, Concurrency and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship
by Job Zwiers
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 321
オンライン: http://dx.doi.org/10.1007/BFb0020836
46.

電子ブック
ＥＢ
46. Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings
edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 389
オンライン: http://dx.doi.org/10.1007/BFb0018340
47.

電子ブック
ＥＢ
47. TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
edited by J. Díaz, F. Orejas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 352
オンライン: http://dx.doi.org/10.1007/3-540-50940-2
48.

電子ブック
ＥＢ
48. The Munich Project CIP : Volume II: The Program Transformation System CIP-S
edited by F. L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 292
オンライン: http://dx.doi.org/10.1007/3-540-18779-0
49.

電子ブック
ＥＢ
49. MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
by Andrzej Blikle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 288
オンライン: http://dx.doi.org/10.1007/3-540-18657-3
50.

電子ブック
ＥＢ
50. Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 186
オンライン: http://dx.doi.org/10.1007/3-540-15199-0