1.

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

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

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

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

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

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

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

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

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

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