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. 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
4.

電子ブック
ＥＢ
4. Parallelization in Inference Systems : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings
edited by B. Fronhöfer, G. Wrightson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 590
オンライン: http://dx.doi.org/10.1007/3-540-55425-4
5.

電子ブック
ＥＢ
5. Analogical and Inductive Inference : International Workshop AII '92 Dagstuhl Castle, Germany, October 5–9, 1992 Proceedings
edited by Klaus P. Jantke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 642
オンライン: http://dx.doi.org/10.1007/3-540-56004-1
6.

電子ブック
ＥＢ
6. Extensions of Logic Programming : Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings
edited by L. -H. Eriksson, L. Hallnäs, P. Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 596
オンライン: http://dx.doi.org/10.1007/BFb0013601
7.

電子ブック
ＥＢ
7. Memory Management : International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 Proceedings
edited by Yves Bekkers, Jacques Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 637
オンライン: http://dx.doi.org/10.1007/BFb0017181
8.

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

電子ブック
ＥＢ
9. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 636
オンライン: http://dx.doi.org/10.1007/3-540-55930-2
10.

電子ブック
ＥＢ
10. Parallel Computation : First International ACPC Conference Salzburg, Austria, September 30 – October 2, 1991 Proceedings
edited by Hans P. Zima
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 591
オンライン: http://dx.doi.org/10.1007/3-540-55437-8
11.

電子ブック
ＥＢ
11. Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
edited by Maurice Bruynooghe, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 631
オンライン: http://dx.doi.org/10.1007/3-540-55844-6
12.

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

電子ブック
ＥＢ
13. Ada: Moving Towards 2000 : 11th Ada-Europe International Conference Zandvoort, The Netherlands, June 1–5, 1992 Proceedings
edited by J. Katwijk
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 603
オンライン: http://dx.doi.org/10.1007/3-540-55585-4
14.

電子ブック
ＥＢ
14. Parallel Processing: CONPAR 92—VAPP V : Second Joint International Conference on Vector and Parallel Processing Lyon, France, September 1–4, 1992 Proceedings
edited by Luc Bougé, Michel Cosnard, Yves Robert, Denis Trystram
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 634
オンライン: http://dx.doi.org/10.1007/3-540-55895-0
15.

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

電子ブック
ＥＢ
16. Reasearch Directions in High-Level Parallel Programming Languages : Mont Saint-Michel, France, June 17–19, 1991 Proceedings
edited by Jean Pierre Banâtre, Daniel Métayer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 574
オンライン: http://dx.doi.org/10.1007/3-540-55160-3
17.

電子ブック
ＥＢ
17. Object-Based Concurrent Computing : ECOOP '91 Workshop Geneva, Switzerland, July 15–16, 1991 Proceedings
edited by M. Tokoro, O. Nierstrasz, P. Wegner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 612
オンライン: http://dx.doi.org/10.1007/3-540-55613-3
18.

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

電子ブック
ＥＢ
19. ECOOP '92. European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29 - July 3, 1992. Proceedings. 1st ed. 1992
edited by Ole Lehrmann Madsen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 615
オンライン: https://doi.org/10.1007/BFb0053026
20.

電子ブック
ＥＢ
20. Data Structures and Efficient Algorithms : Final Report on the DFG Special Joint Initiative. 1st ed. 1992
edited by Burkhard Monien, Thomas Ottmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 594
オンライン: https://doi.org/10.1007/3-540-55488-2
21.

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

電子ブック
ＥＢ
22. Parallel Processing: CONPAR 92 — VAPP V : Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1–4, 1992 Proceedings. 1st ed. 1992
edited by Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 634
オンライン: https://doi.org/10.1007/3-540-55895-0
23.

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

電子ブック
ＥＢ
24. Ada: Moving Towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings. 1st ed. 1992
edited by Jan van Katwijk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 603
オンライン: https://doi.org/10.1007/3-540-55585-4
25.

電子ブック
ＥＢ
25. Parallelization in Inference Systems : International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings. 1st ed. 1992
edited by Bertram Fronhöfer, Graham Wrightson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 590
オンライン: https://doi.org/10.1007/3-540-55425-4
26.

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

電子ブック
ＥＢ
27. Parallel Computation : First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings. 1st ed. 1992
edited by Hans P. Zima
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 591
オンライン: https://doi.org/10.1007/3-540-55437-8
28.

電子ブック
ＥＢ
28. Advanced Information Systems Engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. Proceedings. 1st ed. 1992
edited by Pericles Loucopoulos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 593
オンライン: https://doi.org/10.1007/BFb0035121
29.

電子ブック
ＥＢ
29. Memory Management : International Workshop IWMM 92, St.Malo, France, September 17 - 19, 1992. Proceedings. 1st ed. 1992
edited by Yves Bekkers, Jacques Cohen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 637
オンライン: https://doi.org/10.1007/BFb0017181
30.

電子ブック
ＥＢ
30. Research Directions in High-Level Parallel Programming Languages : Mont Saint-Michel, France, June 17-19, 1991 Proceedings. 1st ed. 1992
edited by Jean Pierre Banatre, Daniel Le Metayer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 574
オンライン: https://doi.org/10.1007/3-540-55160-3
31.

電子ブック
ＥＢ
31. Object-Based Concurrent Computing : ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings. 1st ed. 1992
edited by Mario Tokoro, Oscar Nierstrasz, Peter Wegner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 612
オンライン: https://doi.org/10.1007/3-540-55613-3
32.

電子ブック
ＥＢ
32. Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings. 1st ed. 1992
edited by Maurice Bruynooghe, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 631
オンライン: https://doi.org/10.1007/3-540-55844-6
33.

電子ブック
ＥＢ
33. Advances in Database Technology - EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992. Proceedings. 1st ed. 1992
edited by Alain Pirotte, Claude Delobel, Georg Gottlob
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 580
オンライン: https://doi.org/10.1007/BFb0032418
34.

電子ブック
ＥＢ
34. Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings. 1st ed. 1992
edited by Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 592
オンライン: https://doi.org/10.1007/3-540-55460-2
35.

電子ブック
ＥＢ
35. CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings. 1st ed. 1992
edited by Jean-Claude Raoult
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 581
オンライン: https://doi.org/10.1007/3-540-55251-0
36.

電子ブック
ＥＢ
36. Analogical and Inductive Inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992. Proceedings. 1st ed. 1992
edited by Klaus P. Jantke
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 642
オンライン: https://doi.org/10.1007/3-540-56004-1
37.

電子ブック
ＥＢ
37. Extensions of Logic Programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings. 1st ed. 1992
edited by Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 596
オンライン: https://doi.org/10.1007/BFb0013601
38.

電子ブック
ＥＢ
38. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings. 1st ed. 1992
edited by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 636
オンライン: https://doi.org/10.1007/3-540-55930-2
39.

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