1.

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

電子ブック
ＥＢ
2. Software Process Technology : Second European Workshop, EWSPT '92 Trondheim, Norway, September 7–8 1992 Proceedings
edited by Jean-Claude Derniame
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 635
オンライン: http://dx.doi.org/10.1007/BFb0017495
3.

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

電子ブック
ＥＢ
4. Computer Assisted Learning : 4th International Conference, ICCAL '92 Wolfville, Nova Scotia, Canada, June 17–20, 1992 Proceedings
edited by Ivan Tomek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 602
オンライン: http://dx.doi.org/10.1007/3-540-55578-1
5.

電子ブック
ＥＢ
5. Software Engineering Education : SEI Conference 1992 San Diego, California, USA, October 5–7, 1992 Proceedings
edited by Carol Sledge
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 640
オンライン: http://dx.doi.org/10.1007/3-540-55963-9
6.

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

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

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

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

電子ブック
ＥＢ
10. Compiler Construction : 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings
edited by Uwe Kastens, Peter Pfahler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 641
オンライン: http://dx.doi.org/10.1007/3-540-55984-1
11.

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

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

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

電子ブック
ＥＢ
14. ESOP '92 : 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings
edited by Bernd Krieg-Brückner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 582
オンライン: http://dx.doi.org/10.1007/3-540-55253-7
15.

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

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

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

電子ブック
ＥＢ
18. Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings. 1st ed. 1992
edited by Helene Kirchner, Giorgio Levi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 632
オンライン: https://doi.org/10.1007/BFb0013814
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. 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
21.

電子ブック
ＥＢ
21. Mathematical Foundations of Computer Science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings. 1st ed. 1992
edited by Ivan M. Havel, Vaclav Koubek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 629
オンライン: https://doi.org/10.1007/3-540-55808-X
22.

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

電子ブック
ＥＢ
23. Compiler Construction : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992. Proceedings. 1st ed. 1992
edited by Uwe Kastens, Peter Pfahler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 641
オンライン: https://doi.org/10.1007/3-540-55984-1
24.

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

電子ブック
ＥＢ
25. The Nested Universal Relation Database Model. 1st ed. 1992
by Mark Levene
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 595
オンライン: https://doi.org/10.1007/3-540-55493-9
26.

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

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

電子ブック
ＥＢ
28. Parallel Execution of Parlog. 1st ed. 1992
by Andrew Cheese
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 586
オンライン: https://doi.org/10.1007/BFb0022706
29.

電子ブック
ＥＢ
29. Modular Construction and Partial Order Semantics of Petri Nets. 1st ed. 1992
by Walter Vogler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 625
オンライン: https://doi.org/10.1007/3-540-55767-9
30.

電子ブック
ＥＢ
30. Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings. 1st ed. 1992
edited by Kim G. Larsen, Arne Skou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 575
オンライン: https://doi.org/10.1007/3-540-55179-4
31.

電子ブック
ＥＢ
31. Software Process Technology : Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992. Proceedings. 1st ed. 1992
edited by Jean-Claude Derniame
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 635
オンライン: https://doi.org/10.1007/BFb0017495
32.

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

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

電子ブック
ＥＢ
34. Future Tendencies in Computer Science, Control and Applied Mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992. Proceedings. 1st ed. 1992
edited by Alain Bensoussan, Jean-Pierre Verjus
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 653
オンライン: https://doi.org/10.1007/3-540-56320-2
35.

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

電子ブック
ＥＢ
36. Meta-Programming in Logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings. 1st ed. 1992
edited by Alberto Pettorossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 649
オンライン: https://doi.org/10.1007/3-540-56282-6
37.

電子ブック
ＥＢ
37. Software Engineering Education : SEI Conference 1992, San Diego, California, USA, October 5-7, 1992. Proceedings. 1st ed. 1992
edited by Carol Sledge
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 640
オンライン: https://doi.org/10.1007/3-540-55963-9
38.

電子ブック
ＥＢ
38. ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings. 1st ed. 1992
edited by Bernd Krieg-Brückner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 582
オンライン: https://doi.org/10.1007/3-540-55253-7
39.

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

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

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

電子ブック
ＥＢ
42. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems : 5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. Proceedings. 1st ed. 1992
edited by Fevzi Belli, Franz J. Radermacher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 604
オンライン: https://doi.org/10.1007/BFb0024949
43.

電子ブック
ＥＢ
43. Relational Matching. 1st ed. 1992
by George Vosselman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 628
オンライン: https://doi.org/10.1007/3-540-55798-9
44.

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

電子ブック
ＥＢ
45. Computer Assisted Learning : 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. Proceedings. 1st ed. 1992
edited by Ivan Tomek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 602
オンライン: https://doi.org/10.1007/3-540-55578-1
46.

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