1.

電子ブック
ＥＢ
1. Parallel Virtual Machine — EuroPVM '96 : Third European PVM Conference Munich, Germany, October 7–9, 1996 Proceedings
edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1156
オンライン: http://dx.doi.org/10.1007/3-540-61779-5
2.

電子ブック
ＥＢ
2. Hybrid Systems III : Verification and Control
edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1066
オンライン: http://dx.doi.org/10.1007/BFb0020931
3.

電子ブック
ＥＢ
3. Parallel Problem Solving from Nature — PPSN IV : International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22–26, 1996 Proceedings
edited by Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1141
オンライン: http://dx.doi.org/10.1007/3-540-61723-X
4.

電子ブック
ＥＢ
4. Parallel Algorithms for Irregularly Structured Problems : Third International Workshop, IRREGULAR '96 Santa Barbara, CA, USA, August 19–21, 1996 Proceedings
edited by Alfonso Ferreira, José Rolim, Yousef Saad, Tao Yang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1117
オンライン: http://dx.doi.org/10.1007/BFb0030093
5.

電子ブック
ＥＢ
5. Application and Theory of Petri Nets 1996 : 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings
edited by Jonathan Billington, Wolfgang Reisig
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1091
オンライン: http://dx.doi.org/10.1007/3-540-61363-3
6.

電子ブック
ＥＢ
6. The Data Parallel Programming Model : Foundations, HPF Realization, and Scientific Applications
edited by Guy-René Perrin, Alain Darte
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1132
オンライン: http://dx.doi.org/10.1007/3-540-61736-1
7.

電子ブック
ＥＢ
7. Computer Aided Systems Theory — CAST '94 : 4th International Workshop Ottawa, Ontario, Canada, May 16–20, 1994 Selected Papers
edited by George J. Klir, Tuncer I. Ören
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1105
オンライン: http://dx.doi.org/10.1007/3-540-61478-8
8.

電子ブック
ＥＢ
8. Job Scheduling Strategies for Parallel Processing : IPPS '96 Workshop Honolulu, Hawaii, April 16, 1996 Proceedings
edited by Dror G. Feitelson, Larry Rudolph
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1162
オンライン: http://dx.doi.org/10.1007/BFb0022283
9.

電子ブック
ＥＢ
9. Computer Aided Systems Theory — EUROCAST '95 : A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22–25, 1995 Proceedings
edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1030
オンライン: http://dx.doi.org/10.1007/BFb0034745
10.

電子ブック
ＥＢ
10. Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1135
オンライン: http://dx.doi.org/10.1007/3-540-61648-9
11.

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

電子ブック
ＥＢ
12. Job Scheduling Strategies for Parallel Processing : IPPS '95 Workshop Santa Barbara, CA, USA, April 25, 1995 Proceedings
edited by Dror G. Feitelson, Larry Rudolph
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 949
オンライン: http://dx.doi.org/10.1007/3-540-60153-8
13.

電子ブック
ＥＢ
13. Algorithms — ESA '95 : Third Annual European Symposium Corfu, Greece, September 25–27, 1995 Proceedings
edited by Paul Spirakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 979
オンライン: http://dx.doi.org/10.1007/3-540-60313-1
14.

電子ブック
ＥＢ
14. Hybrid Systems II
edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 999
オンライン: http://dx.doi.org/10.1007/3-540-60472-3
15.

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

電子ブック
ＥＢ
16. The Complexity of Simple Computer Architectures
edited by Silvia M. Müller, Wolfgang J. Paul
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 995
オンライン: http://dx.doi.org/10.1007/3-540-60580-0
17.

電子ブック
ＥＢ
17. Exploitation of Fine-Grain Parallelism
edited by Günter Böckle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 942
オンライン: http://dx.doi.org/10.1007/BFb0017665
18.

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

電子ブック
ＥＢ
19. Memory Management : International Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings
edited by Henry G. Baler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 986
オンライン: http://dx.doi.org/10.1007/3-540-60368-9
20.

電子ブック
ＥＢ
20. Parallel Algorithms for Irregularly Structured Problems : Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings
edited by Afonso Ferreira, José Rolim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 980
オンライン: http://dx.doi.org/10.1007/3-540-60321-2
21.

電子ブック
ＥＢ
21. Theory and Practice of Parallel Programming : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings
edited by Takayasu Ito, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 907
オンライン: http://dx.doi.org/10.1007/BFb0026561
22.

電子ブック
ＥＢ
22. From Natural to Artificial Neural Computation : International Workshop on Artificial Neural Networks Malaga-Torremolinos, Spain, June 7–9, 1995 Proceedings
edited by José Mira, Francisco Sandoval
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 930
オンライン: http://dx.doi.org/10.1007/3-540-59497-3
23.

電子ブック
ＥＢ
23. Quantitative Evaluation of Computing and Communication Systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools '95
edited by Heinz Beilner, Falko Bause
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 977
オンライン: http://dx.doi.org/10.1007/BFb0024302
24.

電子ブック
ＥＢ
24. Application and Theory of Petri Nets 1995 : 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings
edited by Giorgio Michelis, Michel Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 935
オンライン: http://dx.doi.org/10.1007/3-540-60029-9
25.

電子ブック
ＥＢ
25. Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings
edited by Hans Langmaack, Willem-Paul Roever, Jan Vytopil
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 863
オンライン: http://dx.doi.org/10.1007/3-540-58468-4
26.

電子ブック
ＥＢ
26. Application and Theory of Petri Nets 1994 : 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings
edited by Robert Valette
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 815
オンライン: http://dx.doi.org/10.1007/3-540-58152-9
27.

電子ブック
ＥＢ
27. Parallel Problem Solving from Nature — PPSN III : International Conference on Evolutionary Computation The Third Conference on Parallel Problem Solving from Nature Jerusalem, Israel, October 9–14, 1994 Proceedings
edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 866
オンライン: http://dx.doi.org/10.1007/3-540-58484-6
28.

電子ブック
ＥＢ
28. Parallel Computer Routing and Communication : First International Workshop, PCRCW '94 Seattle, Washington, USA, May 16–18, 1994 Proceedings
edited by Kevin Bolding, Lawrence Snyder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 853
オンライン: http://dx.doi.org/10.1007/3-540-58429-3
29.

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

電子ブック
ＥＢ
30. Parallel Processing: CONPAR 94 — VAPP VI : Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings
edited by Bruno Buchberger, Jens Volkert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 854
オンライン: http://dx.doi.org/10.1007/3-540-58430-7
31.

電子ブック
ＥＢ
31. Parallel Computer Architectures : Theory, Hardware, Software, Applications
edited by Arndt Bode, Mario Cin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 732
オンライン: http://dx.doi.org/10.1007/978-3-662-21577-7
32.

電子ブック
ＥＢ
32. Hybrid Systems
edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 736
オンライン: http://dx.doi.org/10.1007/3-540-57318-6
33.

電子ブック
ＥＢ
33. New Trends in Neural Computation : International Workshop on Artificial Neural Networks, IWANN '93 Sitges, Spain, June 9–11, 1993 Proceedings
edited by José Mira, Joan Cabestany, Alberto Prieto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 686
オンライン: http://dx.doi.org/10.1007/3-540-56798-4
34.

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

電子ブック
ＥＢ
35. Parallel Architectures and Their Efficient Use : First Heinz Nixdorf Symposium Paderborn, Germany, November 11–13, 1992 Proceedings
edited by F. Meyer, B. Monien, A. L. Rosenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 678
オンライン: http://dx.doi.org/10.1007/3-540-56731-3
36.

電子ブック
ＥＢ
36. Machine Learning: From Theory to Applications : Cooperative Research at Siemens and MIT
edited by Stephen José Hanson, Werner Remmele, Ronald L. Rivest
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 661
オンライン: http://dx.doi.org/10.1007/3-540-56483-7
37.

電子ブック
ＥＢ
37. PARLE '93 Parallel Architectures and Languages Europe : 5th International PARLE Conference Munich, Germany, June 14–17, 1993 Proceedings
edited by Arndt Bode, Mike Reeve, Gottfried Wolf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 694
オンライン: http://dx.doi.org/10.1007/3-540-56891-3
38.

電子ブック
ＥＢ
38. Application and Theory of Petri Nets 1993 : 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings
edited by Marco Ajmone Marsan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 691
オンライン: http://dx.doi.org/10.1007/3-540-56863-8
39.

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

電子ブック
ＥＢ
40. Advanced Database Systems : 10th British National Conference on Databases, BNCOD 10 Aberdeen, Scotland, July 6–8, 1992 Proceedings
edited by Peter M. D. Gray, Rob J. Lucas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 618
オンライン: http://dx.doi.org/10.1007/3-540-55693-1
41.

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

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

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

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

電子ブック
ＥＢ
45. Parle ’91 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-3-662-25209-3
46.

電子ブック
ＥＢ
46. Functional Programming Languages and Computer Architecture : 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings
edited by John Hughes
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 523
オンライン: http://dx.doi.org/10.1007/3-540-54396-1
47.

電子ブック
ＥＢ
47. Advances in Petri Nets 1990
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 483
オンライン: http://dx.doi.org/10.1007/3-540-53863-1
48.

電子ブック
ＥＢ
48. PARLE '91 Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 506
オンライン: http://dx.doi.org/10.1007/3-540-54152-7
49.

電子ブック
ＥＢ
49. Parallel Problem Solving from Nature : 1st Workshop, PPSN I Dortmund, FRG, October 1–3, 1990 Proceedings
edited by Hans-Paul Schwefel, Reinhard Männer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 496
オンライン: http://dx.doi.org/10.1007/BFb0029723
50.

電子ブック
ＥＢ
50. Concurrency: Theory, Language, and Architecture : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings
edited by Akinori Yonezawa, Takayasu Ito
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 491
オンライン: http://dx.doi.org/10.1007/3-540-53932-8
51.

電子ブック
ＥＢ
51. Advances in Computing and Information — ICCI '91 : International Conference on Computing and Information Ottawa, Canada, May 27–29, 1991 Proceedings
edited by Frank Dehne, Frantisek Fiala, Waldemar W. Koczkodaj
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 497
オンライン: http://dx.doi.org/10.1007/3-540-54029-6
52.

電子ブック
ＥＢ
52. Parallel Database Systems : PRISMA Workshop Noordwijk, The Netherlands, September 24–26, 1990 Proceedings
edited by Pierre America
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 503
オンライン: http://dx.doi.org/10.1007/3-540-54132-2
53.

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

電子ブック
ＥＢ
54. Advances in Petri Nets 1991
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 524
オンライン: http://dx.doi.org/10.1007/BFb0019965
55.

電子ブック
ＥＢ
55. Parallelism, Learning, Evolution : Workshop on Evolutionary Models and Strategies Neubiberg, Germany, March 10–11, 1989 Workshop on Parallel Processing: Logic, Organization, and Technology — WOPPLOT 89 Wildbad Kreuth, Germany, July 24–28, 1989 Proceedings
edited by J. D. Becker, I. Eisele, F. W. Mündemann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 565
オンライン: http://dx.doi.org/10.1007/3-540-55027-5
56.

電子ブック
ＥＢ
56. Computing in the 90's : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings
edited by Naveed A. Sherwani, Elise Doncker, John A. Kapenga
出版情報: New York, NY : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 507
オンライン: http://dx.doi.org/10.1007/BFb0038464
57.

電子ブック
ＥＢ
57. Artificial Neural Networks : International Workshop IWANN '91 Granada, Spain, September 17–19, 1991 Proceedings
edited by Alberto Prieto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 540
オンライン: http://dx.doi.org/10.1007/BFb0035870
58.

電子ブック
ＥＢ
58. Parallel Lisp: Languages and Systems : US/Japan Workshop on Parallel Lisp Sendai, Japan, June 5–8, 1989 Proceedings
edited by Takayasu Ito, Robert H. Halstead
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 441
オンライン: http://dx.doi.org/10.1007/BFb0024148
59.

電子ブック
ＥＢ
59. Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings
edited by Irène Guessarian
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 469
オンライン: http://dx.doi.org/10.1007/3-540-53479-2
60.

電子ブック
ＥＢ
60. Neural Networks : EURASIP Workshop 1990 Sesimbra, Portugal, February 15–17, 1990 Proceedings
edited by Luis B. Almeida, Christian J. Wellekens
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 412
オンライン: http://dx.doi.org/10.1007/3-540-52255-7
61.

電子ブック
ＥＢ
61. Advances in Petri Nets 1989
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 424
オンライン: http://dx.doi.org/10.1007/3-540-52494-0
62.

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

電子ブック
ＥＢ
63. Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
by Joachim Beer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 404
オンライン: http://dx.doi.org/10.1007/3-540-52053-8
64.

電子ブック
ＥＢ
64. Mathematics of Program Construction : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
edited by J. L. A. Snepscheut
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 375
オンライン: http://dx.doi.org/10.1007/3-540-51305-1
65.

電子ブック
ＥＢ
65. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 354
オンライン: http://dx.doi.org/10.1007/BFb0013019
66.

電子ブック
ＥＢ
66. PARLE '89 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 12–16, 1989 Proceedings
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 365
オンライン: http://dx.doi.org/10.1007/3-540-51284-5
67.

電子ブック
ＥＢ
67. PARLE '89 Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, The Netherlands, June 12–16, 1989 Proceedings
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 366
オンライン: http://dx.doi.org/10.1007/3-540-51285-3
68.

電子ブック
ＥＢ
68. Parallel Computing 1988 : Shell Conference Amsterdam, The Netherlands, June 1/2, 1988 Proceedings
edited by G. A. Zee, J. G. G. Vorst
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 384
オンライン: http://dx.doi.org/10.1007/3-540-51604-2
69.

電子ブック
ＥＢ
69. Database Machines : Sixth International Workshop, IWDM '89 Deauville, France, June 19–21, 1989 Proceedings
edited by Haran Boral, Pascal Faudemay
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 368
オンライン: http://dx.doi.org/10.1007/3-540-51324-8
70.

電子ブック
ＥＢ
70. Parcella '88 : Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays Berlin, GDR, October 17–21, 1988 Proceedings
edited by Gottfried Wolf, Tamáas Legendi, Udo Schendel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 342
オンライン: http://dx.doi.org/10.1007/3-540-50647-0
71.

電子ブック
ＥＢ
71. The Cray X-MP/Model 24 : A Case Study in Pipelined Architecture and Vector Processing
by Kay A. Robbins, Steven Robbins
出版情報: New York, NY : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 374
オンライン: http://dx.doi.org/10.1007/BFb0040661
72.

電子ブック
ＥＢ
72. Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 372
オンライン: http://dx.doi.org/10.1007/BFb0035746
73.

電子ブック
ＥＢ
73. Algorithms for Parallel Polygon Rendering
edited by T. Theoharis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 373
オンライン: http://dx.doi.org/10.1007/3-540-51394-9
74.

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

電子ブック
ＥＢ
75. Supercomputing : 1st International Conference Athens, Greece, June 8–12, 1987 Proceedings
edited by E. N. Houstis, T. S. Papatheodorou, C. D. Polychronopoulos
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 297
オンライン: http://dx.doi.org/10.1007/3-540-18991-2
76.

電子ブック
ＥＢ
76. PARLE Parallel Architectures and Languages Europe : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
edited by J. W. Bakker, A. J. Nijman, P. C. Treleaven
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 258
オンライン: http://dx.doi.org/10.1007/3-540-17943-7
77.

電子ブック
ＥＢ
77. Functional Programming Languages and Computer Architecture : Portland, Oregon, USA, September 14–16, 1987 Proceedings
edited by Gilles Kahn
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 274
オンライン: http://dx.doi.org/10.1007/3-540-18317-5
78.

電子ブック
ＥＢ
78. Graph Reduction : Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986
edited by Joseph H. Fasel, Robert M. Keller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 279
オンライン: http://dx.doi.org/10.1007/3-540-18420-1
79.

電子ブック
ＥＢ
79. Future Parallel Computers : An Advanced Course Pisa, Italy, June 9–20, 1986 Proceedings
edited by P. Treleaven, M. Vanneschi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 272
オンライン: http://dx.doi.org/10.1007/3-540-18203-9
80.

電子ブック
ＥＢ
80. PARLE Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
edited by J. W. Bakker, A. J. Nijman, P. C. Treleaven
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 259
オンライン: http://dx.doi.org/10.1007/3-540-17945-3
81.

電子ブック
ＥＢ
81. WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology : Proceedings of a Workshop Neubiberg, Federal Republic of Germany, July 2–4, 1986
edited by Jörg D. Becker, Ignaz Eisele
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 253
オンライン: http://dx.doi.org/10.1007/3-540-18022-2
82.

電子ブック
ＥＢ
82. CONPAR 86 : Conference on Algorithms and Hardware for Parallel Processing Aachen, September 17–19, 1986 Proceedings
edited by Wolfgang Händler, Dieter Haupt, Rolf Jeltsch, Wilfried Juling, Otto Lange
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 237
オンライン: http://dx.doi.org/10.1007/3-540-16811-7
83.

電子ブック
ＥＢ
83. LUCAS Associative Array Processor : Design, Programming and Application Studies
by Christer Fernstrom, Ivan Kruzela, Bertil Svensson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 216
オンライン: http://dx.doi.org/10.1007/3-540-16445-6
84.

電子ブック
ＥＢ
84. Functional Programming Languages and Computer Architecture : Nancy, France, September 16–19, 1985
edited by Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 201
オンライン: http://dx.doi.org/10.1007/3-540-15975-4
85.

電子ブック
ＥＢ
85. A Hierarchical Associative Processing System
by Heinrich J. Stüttgen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 195
オンライン: http://dx.doi.org/10.1007/3-540-15652-6
86.

電子ブック
ＥＢ
86. Alternating Sequential/Parallel Processing
by Y. Wallach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 127
オンライン: http://dx.doi.org/10.1007/3-540-11194-8
87.

電子ブック
ＥＢ
87. Reliability Evaluation of Some Fault-Tolerant Computer Architectures
by Shunji Osaki, Toshihiko Nishio
出版情報: Berlin, Heidelberg : Springer-Verlag, 1980
シリーズ名: Lecture Notes in Computer Science ; 97
オンライン: http://dx.doi.org/10.1007/3-540-10274-4