1.

電子ブック
ＥＢ
1. Advanced Methods, Techniques, and Applications in Modeling and Simulation : Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings. 1st ed. 2012
edited by Jong-Hyun Kim, Kangsun Lee, Satoshi Tanaka, Soo-Hyun Park
出版情報: Tokyo : Springer Japan : Imprint: Springer, 2012
シリーズ名: Proceedings in Information and Communications Technology ; 4
オンライン: https://doi.org/10.1007/978-4-431-54216-2
2.

電子ブック
ＥＢ
2. Dependable Computing — EDCC-2 : Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings
edited by Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1150
オンライン: http://dx.doi.org/10.1007/3-540-61772-8
3.

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

電子ブック
ＥＢ
6. Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
edited by Rajeev Alur, Thomas A. Henzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1102
オンライン: http://dx.doi.org/10.1007/3-540-61474-5
7.

電子ブック
ＥＢ
7. Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
edited by Martin Wirsing, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1101
オンライン: http://dx.doi.org/10.1007/BFb0014301
8.

電子ブック
ＥＢ
8. Ada in Europe : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1031
オンライン: http://dx.doi.org/10.1007/BFb0015477
9.

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

電子ブック
ＥＢ
10. Broadband Communications Networks, Services, Applications, Future Directions : 1996 International Zurich Seminar on Digital Communications, IZS'96 Zurich, Switzerland, February 21–23, 1996 Proceedings
edited by Bernhard Plattner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1044
オンライン: http://dx.doi.org/10.1007/BFb0022212
11.

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

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

電子ブック
ＥＢ
13. Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
edited by Pierre Wolper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 939
オンライン: http://dx.doi.org/10.1007/3-540-60045-0
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. 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
17.

電子ブック
ＥＢ
17. Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
edited by V. S. Alagar, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 936
オンライン: http://dx.doi.org/10.1007/3-540-60043-4
18.

電子ブック
ＥＢ
18. Software Engineering — ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings
edited by Wilhelm Schäfer, Pere Botella
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 989
オンライン: http://dx.doi.org/10.1007/3-540-60406-5
19.

電子ブック
ＥＢ
19. Formal Development of Reactive Systems : Case Study Production Cell
edited by Claus Lewerentz, Thomas Lindner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 891
オンライン: http://dx.doi.org/10.1007/3-540-58867-1
20.

電子ブック
ＥＢ
20. A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 803
オンライン: http://dx.doi.org/10.1007/3-540-58043-3
21.

電子ブック
ＥＢ
21. Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, The Netherlands, September 29 – October 1, 1994 Proceedings
edited by Gerard Tel, Paul Vitányi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 857
オンライン: http://dx.doi.org/10.1007/BFb0020419
22.

電子ブック
ＥＢ
22. Mobile Communications Advanced Systems and Components : 1994 International Zurich Seminar on Digital Communications Zurich, Switzerland, March 8–11, 1994 Proceedings
edited by Christoph G. Günther
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 783
オンライン: http://dx.doi.org/10.1007/3-540-57856-0
23.

電子ブック
ＥＢ
23. Parallel Scientific Computing : First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
edited by Jack Dongarra, Jerzy Waśniewski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 879
オンライン: http://dx.doi.org/10.1007/BFb0030129
24.

電子ブック
ＥＢ
24. Dependable Computing — EDCC-1 : First European Dependable Computing Conference Berlin, Germany, October 4–6, 1994 Proceedings
edited by Klaus Echtle, Dieter Hammer, David Powell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 852
オンライン: http://dx.doi.org/10.1007/3-540-58426-9
25.

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

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

電子ブック
ＥＢ
27. Ada in Europe : First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 887
オンライン: http://dx.doi.org/10.1007/3-540-58822-1
28.

電子ブック
ＥＢ
28. Hardware and Software Architectures for Fault Tolerance : Experiences and Perspectives
edited by Michel Banâtre, Peter A. Lee
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 774
オンライン: http://dx.doi.org/10.1007/BFb0020017
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. 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
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. 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
35.

電子ブック
ＥＢ
35. Software Engineering — ESEC '93 : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings
edited by Ian Sommerville, Manfred Paul
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 717
オンライン: http://dx.doi.org/10.1007/3-540-57209-0
36.

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

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

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

電子ブック
ＥＢ
39. ESEC '91 : 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings
edited by Axel Lamsweerde, Alfonso Fugetta
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 550
オンライン: http://dx.doi.org/10.1007/3-540-54742-8
40.

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

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

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

電子ブック
ＥＢ
43. Computer Aided Systems Theory — EUROCAST '89 : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26–March 4, 1989 Proceedings
edited by F. Pichler, R. Moreno-Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 410
オンライン: http://dx.doi.org/10.1007/3-540-52215-8
44.

電子ブック
ＥＢ
44. AI '88 : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15–18, 1988 Proceedings
edited by Christopher J. Barter, Michael J. Brooks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 406
オンライン: http://dx.doi.org/10.1007/3-540-52062-7
45.

電子ブック
ＥＢ
45. Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France June 12–14, 1989 Proceedings
edited by Joseph Sifakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 407
オンライン: http://dx.doi.org/10.1007/3-540-52148-8
46.

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

電子ブック
ＥＢ
47. Fault-Tolerant Distributed Computing
edited by Barbara Simons, Alfred Spector
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 448
オンライン: http://dx.doi.org/10.1007/BFb0042320
48.

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

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

電子ブック
ＥＢ
50. Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium Warwick, UK, September 22–23, 1988
edited by M. Joseph
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 331
オンライン: http://dx.doi.org/10.1007/3-540-50302-1
51.

電子ブック
ＥＢ
51. Enduser Systems and Their Human Factors : Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany Heidelberg, March 18, 1983
edited by Albrecht Blaser, Magdalena Zoeppritz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1983
シリーズ名: Lecture Notes in Computer Science ; 150
オンライン: http://dx.doi.org/10.1007/3-540-12273-7
52.

電子ブック
ＥＢ
52. Directions in Human Factors for Interactive Systems
edited by Henry Ledgard, Andrew Singer, John Whiteside
出版情報: Berlin, Heidelberg : Springer-Verlag, 1981
シリーズ名: Lecture Notes in Computer Science ; 103
オンライン: http://dx.doi.org/10.1007/3-540-10574-3