1.

電子ブック
ＥＢ
1. Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings. 1st ed. 1990
edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi
出版情報: New York, NY : Springer New York : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 425
オンライン: https://doi.org/10.1007/BFb0043074
2.

電子ブック
ＥＢ
2. CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings. 1st ed. 1990
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 440
オンライン: https://doi.org/10.1007/3-540-52753-2
3.

電子ブック
ＥＢ
3. Advances in Database Technology - EDBT '90 : International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings. 1st ed. 1990
edited by Francois Bancilhon, Costantino Thanos, Dennis Tsichritzis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 416
オンライン: https://doi.org/10.1007/BFb0022159
4.

電子ブック
ＥＢ
4. Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings. 1st ed. 1990
edited by Joseph Sifakis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 407
オンライン: https://doi.org/10.1007/3-540-52148-8
5.

電子ブック
ＥＢ
5. Termination Proofs for Logic Programs. 1st ed. 1990
by Lutz Plümer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Artificial Intelligence ; 446
オンライン: https://doi.org/10.1007/3-540-52837-7
6.

電子ブック
ＥＢ
6. Attribute Grammars and their Applications : International Conference, Paris, France, September 19-21, 1990. 1st ed. 1990
edited by Pierre Deransart, Martin Jourdan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 461
オンライン: https://doi.org/10.1007/3-540-53101-7
7.

電子ブック
ＥＢ
7. Programming Language Implementation and Logic Programming : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings. 1st ed. 1990
edited by Pierre Deransart, Jan Maluszynski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 456
オンライン: https://doi.org/10.1007/BFb0024171
8.

電子ブック
ＥＢ
8. Combinatorics on Traces. 1st ed. 1990
by Volker Diekert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 454
オンライン: https://doi.org/10.1007/3-540-53031-2
9.

電子ブック
ＥＢ
9. Mathematical Foundations of Computer Science 1990 : Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings. 1st ed. 1990
edited by Branislav Rovan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 452
オンライン: https://doi.org/10.1007/BFb0029591
10.

電子ブック
ＥＢ
10. Automata, Languages and Programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings. 1st ed. 1990
edited by Michael S. Paterson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 443
オンライン: https://doi.org/10.1007/BFb0032016