1.

電子ブック
ＥＢ
1. Advances in Cryptology — EUROCRYPT ’88 : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings
edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther
出版情報: Berlin, Heidelberg : Springer Verlag Berlin Heidelberg, 1988
シリーズ名: Lecture Notes in Computer Science ; 330
オンライン: http://dx.doi.org/10.1007/3-540-45961-8
2.

電子ブック
ＥＢ
2. Petri Nets: Applications and Relationships to Other Models of Concurrency : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
edited by W. Brauer, W. Reisig, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 255
オンライン: http://dx.doi.org/10.1007/3-540-17906-2
3.

電子ブック
ＥＢ
3. Petri Nets: Central Models and Their Properties : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8–19 September 1986
edited by W. Brauer, W. Reisig, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 254
オンライン: http://dx.doi.org/10.1007/BFb0046832
4.

電子ブック
ＥＢ
4. The Programming Language Ada Reference Manual : Proposed Standard Document United States Department of Defense
edited by G. Goos, J. Hartmanis, W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth
出版情報: Berlin, Heidelberg : United States Government, 1981
シリーズ名: Lecture Notes in Computer Science ; 106
オンライン: http://dx.doi.org/10.1007/3-540-10693-6
5.

電子ブック
ＥＢ
5. Conpar 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings
edited by W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth, Wolfgang Händler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1981
シリーズ名: Lecture Notes in Computer Science ; 111
オンライン: http://dx.doi.org/10.1007/BFb0105105
6.

電子ブック
ＥＢ
6. Computer Programs for Spelling Correction: An Experiment in Program Design
edited by G. Goos, J. Hartmanis, W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1980
シリーズ名: Lecture Notes in Computer Science ; 96
オンライン: http://dx.doi.org/10.1007/3-540-10259-0
7.

電子ブック
ＥＢ
7. Net Theory and Applications : Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. 1st ed. 1980
edited by W. Brauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980
シリーズ名: Lecture Notes in Computer Science ; 84
オンライン: https://doi.org/10.1007/3-540-100016