1.

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

電子ブック
ＥＢ
2. Software Engineering Education : SEI Conference 1990 Pittsburgh, Pennsylvania, USA, April 2–3, 1990 Proceedings
edited by Lionel E. Deimel
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 423
オンライン: http://dx.doi.org/10.1007/BFb0040434
3.

電子ブック
ＥＢ
3. AI '88 : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15–18, 1988 Proceedings
edited by Christopher J. Barter, Michael J. Brooks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 406
オンライン: http://dx.doi.org/10.1007/3-540-52062-7
4.

電子ブック
ＥＢ
4. Advances in Cryptology — CRYPTO’ 88 : Proceedings
edited by Shafi Goldwasser
出版情報: New York, NY : Springer-Verlag Berlin Heidelberg, 1990
シリーズ名: Lecture Notes in Computer Science ; 403
オンライン: http://dx.doi.org/10.1007/0-387-34799-2
5.

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

電子ブック
ＥＢ
6. Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 430
オンライン: http://dx.doi.org/10.1007/3-540-52559-9
7.

電子ブック
ＥＢ
7. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11–14, 1990 Proceedings
edited by John R. Gilbert, Rolf Karlsson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 447
オンライン: http://dx.doi.org/10.1007/3-540-52846-6
8.

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