1.

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

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

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

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

電子ブック
ＥＢ
5. STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings. 1st ed. 1990
edited by Christian Choffrut, Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 415
オンライン: https://doi.org/10.1007/3-540-52282-4
6.

電子ブック
ＥＢ
6. Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings. 1st ed. 1990
edited by Irene Guessarian
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 469
オンライン: https://doi.org/10.1007/3-540-53479-2