1.

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

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

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

電子ブック
ＥＢ
4. Word Equations and Related Topics : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings. 1st ed. 1992
edited by Klaus U. Schulz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 572
オンライン: https://doi.org/10.1007/3-540-55124-7
5.

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

電子ブック
ＥＢ
6. Mathematical Foundations of Programming Semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings. 1st ed. 1992
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 598
オンライン: https://doi.org/10.1007/3-540-55511-0
7.

電子ブック
ＥＢ
7. LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, April 6-10, 1992. Proceedings. 1st ed. 1992
edited by Imre Simon
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 583
オンライン: https://doi.org/10.1007/BFb0023811
8.

電子ブック
ＥＢ
8. Mathematical Foundations of Computer Science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings. 1st ed. 1992
edited by Ivan M. Havel, Vaclav Koubek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 629
オンライン: https://doi.org/10.1007/3-540-55808-X
9.

電子ブック
ＥＢ
9. Theory of Computing and Systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings. 1st ed. 1992
edited by Danny Dolev, Zvi Galil, Michael Rodeh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 601
オンライン: https://doi.org/10.1007/BFb0035160
10.

電子ブック
ＥＢ
10. Compiler Construction : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992. Proceedings. 1st ed. 1992
edited by Uwe Kastens, Peter Pfahler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 641
オンライン: https://doi.org/10.1007/3-540-55984-1