1.

電子ブック
ＥＢ
1. Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
edited by Costas Courcoubetis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 697
オンライン: http://dx.doi.org/10.1007/3-540-56922-7
2.

電子ブック
ＥＢ
2. Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
edited by Bernhard Möller, Helmut Partsch, Steve Schuman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 755
オンライン: http://dx.doi.org/10.1007/3-540-57499-9
3.

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

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

電子ブック
ＥＢ
5. Object Technologies for Advanced Software : First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 Proceedings
edited by Shojiro Nishio, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 742
オンライン: http://dx.doi.org/10.1007/3-540-57342-9
6.

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

電子ブック
ＥＢ
7. Hybrid Systems
edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 736
オンライン: http://dx.doi.org/10.1007/3-540-57318-6
8.

電子ブック
ＥＢ
8. DCE — The OSF Distributed Computing Environment Client/Server Model and Beyond : International DCE Workshop Karlsruhe, Germany, October 7–8, 1993 Proceedings
edited by Alexander Schill
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 731
オンライン: http://dx.doi.org/10.1007/3-540-57306-2
9.

電子ブック
ＥＢ
9. FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings
edited by James C. P. Woodcock, Peter G. Larsen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 670
オンライン: http://dx.doi.org/10.1007/BFb0024633
10.

電子ブック
ＥＢ
10. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: http://dx.doi.org/10.1007/3-540-56625-2
11.

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

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

電子ブック
ＥＢ
13. Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings
edited by Peter A. Fritzson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 749
オンライン: http://dx.doi.org/10.1007/BFb0019396
14.

電子ブック
ＥＢ
14. Experimental Software Engineering Issues: Critical Assessment and Future Directions : International Workshop Dagstuhl Castle, Germany, September 14–18, 1992 Proceedings
edited by H. Dieter Rombach, Victor R. Basili, Richard W. Selby
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 706
オンライン: http://dx.doi.org/10.1007/3-540-57092-6
15.

電子ブック
ＥＢ
15. The Design of an Extendible Graph Editor
edited by Frances Newbery Paulisch
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 704
オンライン: http://dx.doi.org/10.1007/BFb0019371
16.

電子ブック
ＥＢ
16. Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System
edited by Berthold Hoffmann, Bernd Krieg-Brückner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 680
オンライン: http://dx.doi.org/10.1007/3-540-56733-X
17.

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

電子ブック
ＥＢ
18. Parallel Symbolic Computing: Languages, Systems, and Applications : US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings
edited by Robert H. Halstead, Takayasu Ito
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 748
オンライン: http://dx.doi.org/10.1007/BFb0018643
19.

電子ブック
ＥＢ
19. Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
edited by Gregor Bochmann, David Karl Probst
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 663
オンライン: http://dx.doi.org/10.1007/3-540-56496-9
20.

電子ブック
ＥＢ
20. Human Computer Interaction : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20–22, 1993 Proceedings
edited by Thomas Grechenig, Manfred Tscheligi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 733
オンライン: http://dx.doi.org/10.1007/3-540-57312-7
21.

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

電子ブック
ＥＢ
22. Human-Computer Interaction : Third International Conference, EWHCI '93 Moscow, Russia, August 3–7, 1993 Selected Papers
edited by Leonard J. Bass, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 753
オンライン: http://dx.doi.org/10.1007/3-540-57433-6
23.

電子ブック
ＥＢ
23. Ada - Europe '93 : 12th Ada-Europe International Conference, “Ada Sans Frontières” Paris, France, June 14–18, 1993 Proceedings
edited by Michel Gauthier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 688
オンライン: http://dx.doi.org/10.1007/3-540-56802-6
24.

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

電子ブック
ＥＢ
25. Advanced Information Systems Engineering : 5th International Conference, CAiSE '93 Paris, France, June 8–11, 1993 Proceedings
edited by Colette Rolland, François Bodart, Corine Cauvet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 685
オンライン: http://dx.doi.org/10.1007/3-540-56777-1
26.

電子ブック
ＥＢ
26. ECOOP’ 93 — Object-Oriented Programming : 7th European Conference Kaiserslautern, Germany, July 26–30, 1993 Proceedings
edited by Oscar M. Nierstrasz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1993
シリーズ名: Lecture Notes in Computer Science ; 707
オンライン: http://dx.doi.org/10.1007/3-540-47910-4
27.

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

電子ブック
ＥＢ
28. Parallel Computation : Second International ACPC Conference Gmunden, Austria, October 4–6, 1993 Proceedings
edited by Jens Volkert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 734
オンライン: http://dx.doi.org/10.1007/3-540-57314-3
29.

電子ブック
ＥＢ
29. Software Engineering — ESEC '93 : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings
edited by Ian Sommerville, Manfred Paul
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 717
オンライン: http://dx.doi.org/10.1007/3-540-57209-0
30.

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

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

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

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

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

電子ブック
ＥＢ
35. Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings. 1st ed. 1993
edited by Michel Gauthier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 688
オンライン: https://doi.org/10.1007/3-540-56802-6
36.

電子ブック
ＥＢ
36. Algorithms - ESA '93 : First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings. 1st ed. 1993
edited by Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 726
オンライン: https://doi.org/10.1007/3-540-57273-2
37.

電子ブック
ＥＢ
37. Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation. 1st ed. 1993
by Anne Mulkers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 675
オンライン: https://doi.org/10.1007/3-540-56694-5
38.

電子ブック
ＥＢ
38. FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings. 1st ed. 1993
edited by James C.P. Woodcock, Peter G. Larsen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 670
オンライン: https://doi.org/10.1007/BFb0024633
39.

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

電子ブック
ＥＢ
40. ECOOP '93 - Object-Oriented Programming : 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Proceedings. 1st ed. 1993
edited by Oscar M. Nierstrasz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 707
オンライン: https://doi.org/10.1007/3-540-47910-4
41.

電子ブック
ＥＢ
41. Advanced Information Systems Engineering : 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993. Proceedings. 1st ed. 1993
edited by Colette Rolland, Francois Bodart, Corine Cauvet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 685
オンライン: https://doi.org/10.1007/3-540-56777-1
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. Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings. 1st ed. 1993
edited by Ernst W. Mayr
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 657
オンライン: https://doi.org/10.1007/3-540-56402-0
44.

電子ブック
ＥＢ
44. Computer Analysis of Images and Patterns : 5th International Conference, CAIP ’93 Budapest, Hungary, September 13–15, 1993 Proceedings. 1st ed. 1993
edited by Dmitry Chetverikov, Walter Kropatsch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 719
オンライン: https://doi.org/10.1007/3-540-57233-3
45.

電子ブック
ＥＢ
45. DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings. 1st ed. 1993
edited by Alexander Schill
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 731
オンライン: https://doi.org/10.1007/3-540-57306-2
46.

電子ブック
ＥＢ
46. Filtering, Segmentation and Depth. 1st ed. 1993
by Mark Nitzberg, David Mumford, Takahiro Shiota
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 662
オンライン: https://doi.org/10.1007/3-540-56484-5
47.

電子ブック
ＥＢ
47. Object Technologies for Advanced Software : First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings. 1st ed. 1993
edited by Shojiro Nishio, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 742
オンライン: https://doi.org/10.1007/3-540-57342-9
48.

電子ブック
ＥＢ
48. Experimental Software Engineering Issues : Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings. 1st ed. 1993
edited by H.Dieter Rombach, Victor R. Basili, Richard W. Selby
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 706
オンライン: https://doi.org/10.1007/3-540-57092-6
49.

電子ブック
ＥＢ
49. The Design of an Extendible Graph Editor. 1st ed. 1993
by Frances N. Paulisch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 704
オンライン: https://doi.org/10.1007/BFb0019371
50.

電子ブック
ＥＢ
50. Human Computer Interaction : Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings. 1st ed. 1993
edited by Thomas Grechenig, Manfred Tscheligi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 733
オンライン: https://doi.org/10.1007/3-540-57312-7