1.

電子ブック
ＥＢ
1. Communication and Cooperation in Agent Systems : A Pragmatic Theory
edited by Afsaneh Haddadi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1056
オンライン: http://dx.doi.org/10.1007/3-540-61044-8
2.

電子ブック
ＥＢ
2. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23–25, 1996 Proceedings
edited by László Böszörményi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: http://dx.doi.org/10.1007/3-540-61695-0
3.

電子ブック
ＥＢ
3. Object-Based Parallel and Distributed Computation : France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers
edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1107
オンライン: http://dx.doi.org/10.1007/3-540-61487-7
4.

電子ブック
ＥＢ
4. Reliable Software Technologies — Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10–14, 1996 Proceedings
edited by Alfred Strohmeier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1088
オンライン: http://dx.doi.org/10.1007/BFb0013474
5.

電子ブック
ＥＢ
5. Distributed Software Agents and Applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings
edited by John W. Perram, Jean-Pierre Müller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1069
オンライン: http://dx.doi.org/10.1007/3-540-61157-6
6.

電子ブック
ＥＢ
6. Intelligent Agents II Agent Theories, Architectures, and Languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19–20, 1995 Proceedings
edited by Michael Wooldridge, Jörg P. Müller, Milind Tambe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1037
オンライン: http://dx.doi.org/10.1007/3-540-60805-2
7.

電子ブック
ＥＢ
7. High-Performance Computing and Networking : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings
edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: http://dx.doi.org/10.1007/3-540-61142-8
8.

電子ブック
ＥＢ
8. Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22–25, 1996 Proceedings
edited by Walter Velde, John W. Perram
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1038
オンライン: http://dx.doi.org/10.1007/BFb0031841
9.

電子ブック
ＥＢ
9. Formal Systems Specification : The RPC-Memory Specification Case Study
edited by Manfred Broy, Stephan Merz, Katharina Spies
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1169
オンライン: http://dx.doi.org/10.1007/BFb0024423
10.

電子ブック
ＥＢ
10. Management of Telecommunication Systems and Services : Modelling and Implementing TMN-Based Multi-Domain Management
edited by Jane Hall
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1116
オンライン: http://dx.doi.org/10.1007/3-540-61578-4
11.

電子ブック
ＥＢ
11. Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem
edited by Patrice Godefroid
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1032
オンライン: http://dx.doi.org/10.1007/3-540-60761-7
12.

電子ブック
ＥＢ
12. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1165
オンライン: http://dx.doi.org/10.1007/BFb0027227
13.

電子ブック
ＥＢ
13. Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1055
オンライン: http://dx.doi.org/10.1007/3-540-61042-1
14.

電子ブック
ＥＢ
14. Parallel Symbolic Languages and Systems : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings
edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1068
オンライン: http://dx.doi.org/10.1007/BFb0023052
15.

電子ブック
ＥＢ
15. Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem. 1st ed. 1996
edited by Patrice Godefroid
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1032
オンライン: https://doi.org/10.1007/3-540-60761-7
16.

電子ブック
ＥＢ
16. Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, Eindhoven, The Netherlands, January 22 - 25, 1996. Proceedings. 1st ed. 1996
edited by Walter van de Velde, John Perram
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1038
オンライン: https://doi.org/10.1007/BFb0031841
17.

電子ブック
ＥＢ
17. Applications of Multi-Agent Systems : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94, Odense, Denmark, August 1994 Proceedings. 1st ed. 1996
edited by John Perram, Jean-Pierre Müller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1069
オンライン: https://doi.org/10.1007/3-540-61157-6
18.

電子ブック
ＥＢ
18. SOFSEM '96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings. 1st ed. 1996
edited by Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: https://doi.org/10.1007/BFb0037392
19.

電子ブック
ＥＢ
19. Management of Telecommunication Systems and Services : Modelling and Implementing TMN-Based Multi-Domain Management. 1st ed. 1996
edited by Jane Hall
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1116
オンライン: https://doi.org/10.1007/3-540-61578-4
20.

電子ブック
ＥＢ
20. Object-Based Parallel and Distributed Computation : France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers. 1st ed. 1996
edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1107
オンライン: https://doi.org/10.1007/3-540-61487-7
21.

電子ブック
ＥＢ
21. Reliable Software Technologies - Ada Europe 96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings. 1st ed. 1996
edited by Alfred Strohmeier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1088
オンライン: https://doi.org/10.1007/BFb0013474
22.

電子ブック
ＥＢ
22. Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. 1st ed. 1996
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1055
オンライン: https://doi.org/10.1007/3-540-61042-1
23.

電子ブック
ＥＢ
23. Concurrency and Parallelism, Programming, Networking, and Security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996, Proceedings. 1st ed. 1996
edited by Joxan Jaffar, Roland H.C. Yap
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1179
オンライン: https://doi.org/10.1007/BFb0027773
24.

電子ブック
ＥＢ
24. Formal Systems Specification : The RPC-Memory Specification Case Study. 1st ed. 1996
edited by Manfred Broy, Stephan Merz, Katharina Spies
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1169
オンライン: https://doi.org/10.1007/BFb0024423
25.

電子ブック
ＥＢ
25. Distributed Algorithms : 10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. Proceedings. 1st ed. 1996
edited by Özalp Babaoglu, Keith Marzullo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1151
オンライン: https://doi.org/10.1007/3-540-61769-8
26.

電子ブック
ＥＢ
26. Intelligent Agents II: Agent Theories, Architectures, and Languages : IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings. 1st ed. 1996
edited by Michael Wooldridge, Jörg Müller, Milind Tambe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1037
オンライン: https://doi.org/10.1007/3-540-60805-2
27.

電子ブック
ＥＢ
27. High-Performance Computing and Networking : International Conference and Exhibition, Brussels, Belgium, April 1996. Proceedings. 1st ed. 1996
edited by H. Liddell, A. Colbrook, Bob Hertzberger, P. Sloot
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: https://doi.org/10.1007/3-540-61142-8
28.

電子ブック
ＥＢ
28. Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
edited by E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1019
オンライン: http://dx.doi.org/10.1007/3-540-60630-0
29.

電子ブック
ＥＢ
29. Bringing Telecommunication Services to the People — IS&N '95 : Third International Conference on Intelligence in Broadband Services and Networks Heraklion, Crete, Greece, October 16–19, 1995 Proceedings
edited by Anne Clarke, Mario Campolargo, Nikos Karatzas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 998
オンライン: http://dx.doi.org/10.1007/BFb0016951
30.

電子ブック
ＥＢ
30. EURO-PAR '95 Parallel Processing : First International EURO-PAR Conference Stockholm, Sweden, August 29–31, 1995 Proceedings
edited by Seif Haridi, Khayri Ali, Peter Magnusson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 966
オンライン: http://dx.doi.org/10.1007/BFb0020448
31.

電子ブック
ＥＢ
31. Parallel Computing Technologies : Third International Conference, PaCT-95 St. Petersburg, Russia, September 12–25, 1995 Proceedings
edited by Victor Malyshkin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 964
オンライン: http://dx.doi.org/10.1007/3-540-60222-4
32.

電子ブック
ＥＢ
32. Bringing Telecommunication Services to the People - IS&N '95 : Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16 - 20, 1995. Proceedings. 1st ed. 1995
edited by Anne Clarke, Mario Campolargo, Nikos Karatzas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 998
オンライン: https://doi.org/10.1007/BFb0016951
33.

電子ブック
ＥＢ
33. Distributed Algorithms : 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings. 1st ed. 1995
edited by Jean-Michel Helary, Michel Raynal
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 972
オンライン: https://doi.org/10.1007/BFb0022134
34.

電子ブック
ＥＢ
34. EURO-PAR '95: Parallel Processing : First International EURO-PAR Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings. 1st ed. 1995
edited by Seif Haridi, Khayri Ali, Peter Magnusson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 966
オンライン: https://doi.org/10.1007/BFb0020448
35.

電子ブック
ＥＢ
35. Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers. 1st ed. 1995
edited by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1019
オンライン: https://doi.org/10.1007/3-540-60630-0
36.

電子ブック
ＥＢ
36. Communication and Cooperation in Agent Systems : A Pragmatic Theory. 1st ed. 1995
edited by Afsaneh Haddadi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 1056
オンライン: https://doi.org/10.1007/3-540-61044-8
37.

電子ブック
ＥＢ
37. High-Performance Computing and Networking : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings, Volume I: Applications
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 796
オンライン: http://dx.doi.org/10.1007/BFb0020340
38.

電子ブック
ＥＢ
38. Computer Aided Verification : 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings
edited by David L. Dill
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 818
オンライン: http://dx.doi.org/10.1007/3-540-58179-0
39.

電子ブック
ＥＢ
39. PARLE'94 Parallel Architectures and Languages Europe : 6th International PARLE Conference Athens, Greece, July 4–8, 1994 Proceedings
edited by Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 817
オンライン: http://dx.doi.org/10.1007/3-540-58184-7
40.

電子ブック
ＥＢ
40. High-Performance Computing and Networking : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings Volume II: Networking and Tools
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 797
オンライン: http://dx.doi.org/10.1007/3-540-57981-8
41.

電子ブック
ＥＢ
41. High-Performance Computing and Networking : International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 2: Networking and Tools. 1st ed. 1994
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 797
オンライン: https://doi.org/10.1007/3-540-57981-8
42.

電子ブック
ＥＢ
42. Distributed Algorithms : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings. 1st ed. 1994
edited by Gerard Tel, Paul Vitanyi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 857
オンライン: https://doi.org/10.1007/BFb0020419
43.

電子ブック
ＥＢ
43. Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings. 1st ed. 1994
edited by David L. Dill
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 818
オンライン: https://doi.org/10.1007/3-540-58179-0
44.

電子ブック
ＥＢ
44. High-Performance Computing and Networking : International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Applications. 1st ed. 1994
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 796
オンライン: https://doi.org/10.1007/BFb0020340
45.

電子ブック
ＥＢ
45. DCE — The OSF Distributed Computing Environment Client/Server Model and Beyond : International DCE Workshop Karlsruhe, Germany, October 7–8, 1993 Proceedings
edited by Alexander Schill
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 731
オンライン: http://dx.doi.org/10.1007/3-540-57306-2
46.

電子ブック
ＥＢ
46. DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings. 1st ed. 1993
edited by Alexander Schill
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 731
オンライン: https://doi.org/10.1007/3-540-57306-2
47.

電子ブック
ＥＢ
47. Human-Computer Interaction : Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers. 1st ed. 1993
edited by Leonard J. Bass, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 753
オンライン: https://doi.org/10.1007/3-540-57433-6
48.

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

電子ブック
ＥＢ
49. Algebraic Methods II: Theory, Tools and Applications
edited by J. A. Bergstra, L. M. G. Feijs
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 490
オンライン: http://dx.doi.org/10.1007/3-540-53912-3
50.

電子ブック
ＥＢ
50. Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
edited by Edmund M. Clarke, Robert P. Kurshan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 531
オンライン: http://dx.doi.org/10.1007/BFb0023712
51.

電子ブック
ＥＢ
51. Distributed Memory Computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22–24, 1991 Proceedings
edited by Arndt Bode
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 487
オンライン: http://dx.doi.org/10.1007/BFb0032916
52.

電子ブック
ＥＢ
52. Distributed Memory Computing : 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991. 1st ed. 1991
edited by Arndt Bode
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 487
オンライン: https://doi.org/10.1007/BFb0032916
53.

電子ブック
ＥＢ
53. CONPAR 90 - VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990. Proceedings. 1st ed. 1990
edited by Helmar Burkhart
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 457
オンライン: https://doi.org/10.1007/3-540-53065-7