1.

電子ブック
ＥＢ
1. Languages and Compilers for Parallel Computing : Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 Proceedings
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 589
オンライン: http://dx.doi.org/10.1007/BFb0038653
2.

電子ブック
ＥＢ
2. CONCUR '92 : Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings
edited by W.R. Cleaveland
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 630
オンライン: http://dx.doi.org/10.1007/BFb0084777
3.

電子ブック
ＥＢ
3. Parallel Execution of Parlog
by Andrew Cheese
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 586
オンライン: http://dx.doi.org/10.1007/BFb0022706
4.

電子ブック
ＥＢ
4. Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 600
オンライン: http://dx.doi.org/10.1007/BFb0031984
5.

電子ブック
ＥＢ
5. Distributed Algorithms : 6th International Workshop, WDAG '92 Haifa, Israel, November 2–4, 1992 Proceedings
edited by Adrian Segall, Shmuel Zaks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 647
オンライン: http://dx.doi.org/10.1007/3-540-56188-9
6.

電子ブック
ＥＢ
6. Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 626
オンライン: http://dx.doi.org/10.1007/BFb0023753
7.

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

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

電子ブック
ＥＢ
9. Parallel Image Analysis : Second International Conference, ICPIA '92 Ube, Japan, December 21–23, 1992 Proceedings
edited by Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S. P. Wang, Katsushi Inoue
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 654
オンライン: http://dx.doi.org/10.1007/3-540-56346-6
10.

電子ブック
ＥＢ
10. PARLE '92 Parallel Architectures and Languages Europe : 4th International PARLE Conference Paris, France, June 15–18, 1992 Proceedings
edited by Daniel Etiemble, Jean-Claude Syre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 605
オンライン: http://dx.doi.org/10.1007/3-540-55599-4
11.

電子ブック
ＥＢ
11. Theory of Computing and Systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings
edited by D. Dolev, Z. Galil, M. Rodeh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 601
オンライン: http://dx.doi.org/10.1007/BFb0035160
12.

電子ブック
ＥＢ
12. Database Theory — ICDT '92 : 4th International Conference Berlin, Germany, October 14–16, 1992 Proceedings
edited by Joachim Biskup, Richard Hull
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 646
オンライン: http://dx.doi.org/10.1007/3-540-56039-4
13.

電子ブック
ＥＢ
13. CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings
edited by J. -C. Raoult
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 581
オンライン: http://dx.doi.org/10.1007/3-540-55251-0
14.

電子ブック
ＥＢ
14. Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings
edited by K. Jensen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 616
オンライン: http://dx.doi.org/10.1007/3-540-55676-1
15.

電子ブック
ＥＢ
15. Foundations of Software Technology and Theoretical Computer Science : 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
edited by Rudrapatna Shyamasundar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 652
オンライン: http://dx.doi.org/10.1007/3-540-56287-7
16.

電子ブック
ＥＢ
16. Neural Nets : A Theory for Brains and Machines
by Armando Freitas Rocha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 638
オンライン: http://dx.doi.org/10.1007/3-540-55949-3
17.

電子ブック
ＥＢ
17. Modular Construction and Partial Order Semantics of Petri Nets
edited by W. Vogler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 625
オンライン: http://dx.doi.org/10.1007/3-540-55767-9
18.

電子ブック
ＥＢ
18. The Nested Universal Relation Database Model
edited by M. Levene
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 595
オンライン: http://dx.doi.org/10.1007/3-540-55493-9
19.

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

電子ブック
ＥＢ
20. Algorithms and Computation : Third International Symposium, ISAAC'92 Nagoya, Japan, December 16–18, 1992 Proceedings
edited by Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 650
オンライン: http://dx.doi.org/10.1007/3-540-56279-6
21.

電子ブック
ＥＢ
21. Advances in Petri Nets 1992
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 609
オンライン: http://dx.doi.org/10.1007/3-540-55610-9
22.

電子ブック
ＥＢ
22. Distributed Algorithms : 5th International Workshop, WDAG '91 Delphi, Greece, October 7–9, 1991 Proceedings
edited by Sam Toueg, Paul G. Spirakis, Lefteris Kirousis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 579
オンライン: http://dx.doi.org/10.1007/BFb0022433
23.

電子ブック
ＥＢ
23. Graph-Theoretic Concepts in Computer Science : 17th International Workshop, WG '91 Fischbachau, Germany, June 17–19 1991 Proceedings
edited by Gunther Schmidt, Rudolf Berghammer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 570
オンライン: http://dx.doi.org/10.1007/3-540-55121-2
24.

電子ブック
ＥＢ
24. STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings
edited by Alain Finkel, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 577
オンライン: http://dx.doi.org/10.1007/3-540-55210-3