1.

電子ブック
ＥＢ
1. Reflections on the History of Computing : Preserving Memories and Sharing Stories. 1st ed. 2012
edited by Arthur Tatnall
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP AICT Surveys ;
オンライン: https://doi.org/10.1007/978-3-642-33899-1
2.

電子ブック
ＥＢ
2. Using Microsoft Dynamics AX 2012. 2nd ed. 2012
by Andreas Luszczak
出版情報: Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag, 2012
オンライン: https://doi.org/10.1007/978-3-8348-2191-1
3.

電子ブック
ＥＢ
3. Workflow Management Systems for Process Organisations
by Thomas Schäl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1096
オンライン: http://dx.doi.org/10.1007/978-3-662-21574-6
4.

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

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

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

電子ブック
ＥＢ
7. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: http://dx.doi.org/10.1007/BFb0031795
8.

電子ブック
ＥＢ
8. Compiler Construction : 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings
edited by Tibor Gyimóthy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1060
オンライン: http://dx.doi.org/10.1007/3-540-61053-7
9.

電子ブック
ＥＢ
9. Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20–22, 1995 Proceedings
edited by Franz J. Brandenburg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1027
オンライン: http://dx.doi.org/10.1007/BFb0021783
10.

電子ブック
ＥＢ
10. Programming Languages and Systems — ESOP '96 : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hanne Riis Nielson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: http://dx.doi.org/10.1007/3-540-61055-3
11.

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

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

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

電子ブック
ＥＢ
14. Studies of Software Design : ICSE'93 Workshop Maltimore, Maryland, USA, May 17–18, 1993 Selected Papers
edited by David Alex Lamb
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1078
オンライン: http://dx.doi.org/10.1007/BFb0030514
15.

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

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

電子ブック
ＥＢ
17. Advanced Functional Programming : Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text
edited by John Launchbury, Erik Meijer, Tim Sheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1129
オンライン: http://dx.doi.org/10.1007/3-540-61628-4
18.

電子ブック
ＥＢ
18. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: http://dx.doi.org/10.1007/BFb0105392
19.

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

電子ブック
ＥＢ
20. Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings
edited by Claude Frasson, Gilles Gauthier, Alan Lesgold
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1086
オンライン: http://dx.doi.org/10.1007/3-540-61327-7
21.

電子ブック
ＥＢ
21. Software Process Technology : 5th European Workshop, EWSPT '96 Nancy, France, October 9–11, 1996 Proceedings
edited by Carlo Montangero
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1149
オンライン: http://dx.doi.org/10.1007/BFb0017725
22.

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

電子ブック
ＥＢ
23. Object Technologies for Advanced Software : Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings
edited by Kokichi Futatsugi, Satoshi Matsuoka
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1049
オンライン: http://dx.doi.org/10.1007/3-540-60954-7
24.

電子ブック
ＥＢ
24. Advanced Information Systems Engineering : 8th International Conference, CAiSE'96 Heraklion, Crete, Greece, May 20–24, 1996 Proceedings
edited by Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1080
オンライン: http://dx.doi.org/10.1007/3-540-61292-0
25.

電子ブック
ＥＢ
25. Static Analysis : Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
edited by Radhia Cousot, David A. Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1145
オンライン: http://dx.doi.org/10.1007/3-540-61739-6
26.

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

電子ブック
ＥＢ
27. Software Configuration Management : ICSE'96 SCM-6 Workshop Berlin, Germany, March 25–26, 1996 Selected Papers
edited by Ian Sommerville
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1167
オンライン: http://dx.doi.org/10.1007/BFb0023076
28.

電子ブック
ＥＢ
28. Building Tightly Integrated Software Development Environments: The IPSEN Approach
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1170
オンライン: http://dx.doi.org/10.1007/BFb0035684
29.

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

電子ブック
ＥＢ
30. Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1181
オンライン: http://dx.doi.org/10.1007/3-540-62064-8
31.

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

電子ブック
ＥＢ
32. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
edited by Wojciech Penczek, Andrzej Szałas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: http://dx.doi.org/10.1007/3-540-61550-4
33.

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

電子ブック
ＥＢ
34. Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1130
オンライン: http://dx.doi.org/10.1007/3-540-61629-2
35.

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

電子ブック
ＥＢ
36. The Design of Intelligent Agents : A Layered Approach
by Jörg P. Müller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1177
オンライン: http://dx.doi.org/10.1007/BFb0017806
37.

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

電子ブック
ＥＢ
38. Computer Aided Learning and Instruction in Science and Engineering : Third International Conference, CALISCE '96 San Sebastian, Spain, July 29–31, 1996 Proceedings
edited by Arantza Díaz de Ilarraza Sánchez, Isabel Fernández de Castro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1108
オンライン: http://dx.doi.org/10.1007/BFb0022584
39.

電子ブック
ＥＢ
39. FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
edited by Marie-Claude Gaudel, James Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1051
オンライン: http://dx.doi.org/10.1007/3-540-60973-3
40.

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

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

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

電子ブック
ＥＢ
43. ECOOP ’96 — Object-Oriented Programming : 10th European Conference Linz, Austria, July 8–12, 1996 Proceedings
edited by Pierre Cointe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1098
オンライン: http://dx.doi.org/10.1007/BFb0053051
44.

電子ブック
ＥＢ
44. Intelligent Agents : ECAI-94 Workshop on Agent Theories, Architectures, and Languages Amsterdam, The Netherlands August 8–9, 1994 Proceedings
edited by Michael J. Wooldridge, Nicholas R. Jennings
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 890
オンライン: http://dx.doi.org/10.1007/3-540-58855-8
45.

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

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

電子ブック
ＥＢ
47. ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 967
オンライン: http://dx.doi.org/10.1007/3-540-60271-2
48.

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

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

電子ブック
ＥＢ
50. OOER '95: Object-Oriented and Entity-Relationship Modeling : 14th International Conference Gold Coast, Australia, December 13–15, 1995 Proceedings
edited by Michael P. Papazoglou
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1021
オンライン: http://dx.doi.org/10.1007/BFb0020515
51.

電子ブック
ＥＢ
51. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings
edited by Jiří Wiedermann, Petr Hájek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: http://dx.doi.org/10.1007/3-540-60246-1
52.

電子ブック
ＥＢ
52. Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text
edited by Johan Jeuring, Erik Meijer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 925
オンライン: http://dx.doi.org/10.1007/3-540-59451-5
53.

電子ブック
ＥＢ
53. Object-Based Models and Languages for Concurrent Systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings
edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 924
オンライン: http://dx.doi.org/10.1007/3-540-59450-7
54.

電子ブック
ＥＢ
54. Objective Software Quality : Objective Quality: Second Symposium on Software Quality Techiniques and Acquisition Criteria Florence, Italy, May 29–31, 1995 Proceedings
edited by Paolo Nesi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 926
オンライン: http://dx.doi.org/10.1007/3-540-59449-3
55.

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

電子ブック
ＥＢ
56. Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings
edited by Alan Mycroft
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 983
オンライン: http://dx.doi.org/10.1007/3-540-60360-3
57.

電子ブック
ＥＢ
57. Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism
edited by Josyula Ramachandra Rao
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 908
オンライン: http://dx.doi.org/10.1007/3-540-59173-7
58.

電子ブック
ＥＢ
58. Advanced Information Systems Engineering : 7th International Conference, CAiSE '95 Jyväskylä, Finland, June 12–16, 1995 Proceedings
edited by Juhani Iivari, Kalle Lyytinen, Matti Rossi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 932
オンライン: http://dx.doi.org/10.1007/3-540-59498-1
59.

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

電子ブック
ＥＢ
60. Category Theory and Computer Science : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
edited by David Pitt, David E. Rydeheard, Peter Johnstone
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 953
オンライン: http://dx.doi.org/10.1007/3-540-60164-3
61.

電子ブック
ＥＢ
61. Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 971
オンライン: http://dx.doi.org/10.1007/3-540-60275-5
62.

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

電子ブック
ＥＢ
63. Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
edited by Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 947
オンライン: http://dx.doi.org/10.1007/3-540-60117-1
64.

電子ブック
ＥＢ
64. KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report
edited by Manfred Broy, Stefan Jähnichen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1009
オンライン: http://dx.doi.org/10.1007/BFb0015452
65.

電子ブック
ＥＢ
65. Software Process Technology : 4th European Workshop, EWSPT'95 Noordwijkerhout, The Netherlands, April 3–5, 1995 Proceedings
edited by Wilhelm Schäfer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 913
オンライン: http://dx.doi.org/10.1007/3-540-59205-9
66.

電子ブック
ＥＢ
66. Software Configuration Management : ICSE SCM-4 and SCM-5 Workshops Selected Papers
edited by Jacky Estublier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1005
オンライン: http://dx.doi.org/10.1007/3-540-60578-9
67.

電子ブック
ＥＢ
67. Software Engineering and Human-Computer Interaction : ICSE '94 Workshop on SE-HCI: Joint Research Issues Sorrento, Italy, May 16–17, 1994 Proceedings
edited by Richard N. Taylor, Joëlle Coutaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 896
オンライン: http://dx.doi.org/10.1007/BFb0035799
68.

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

電子ブック
ＥＢ
69. Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems
edited by Madhu Sudan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1001
オンライン: http://dx.doi.org/10.1007/3-540-60615-7
70.

電子ブック
ＥＢ
70. Software Engineering Education : 8th SEI CSEE Conference New Orleans, LA, USA, March 29–April 1, 1995 Proceedings
edited by Rosalind L. Ibrahim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 895
オンライン: http://dx.doi.org/10.1007/3-540-58951-1
71.

電子ブック
ＥＢ
71. ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995
edited by Mario Tokoro, Remo Pareschi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1995
シリーズ名: Lecture Notes in Computer Science ; 952
オンライン: http://dx.doi.org/10.1007/3-540-49538-X
72.

電子ブック
ＥＢ
72. SOFSEM '95: Theory and Practice of Informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings
edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1012
オンライン: http://dx.doi.org/10.1007/3-540-60609-2
73.

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

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

電子ブック
ＥＢ
75. Graph Drawing : DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10–12, 1994 Proceedings
edited by Roberto Tamassia, Ioannis G. Tollis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 894
オンライン: http://dx.doi.org/10.1007/3-540-58950-3
76.

電子ブック
ＥＢ
76. Efficient Graph Rewriting and Its Implementation
edited by Heiko Dörr
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 922
オンライン: http://dx.doi.org/10.1007/BFb0031909
77.

電子ブック
ＥＢ
77. Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 906
オンライン: http://dx.doi.org/10.1007/BFb0014419
78.

電子ブック
ＥＢ
78. Human-Computer Interaction : 5th International Conference, EWHCI '95 Moscow, Russia, July 3–7 1995 Selected Papers
edited by Brad Blumenthal, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1015
オンライン: http://dx.doi.org/10.1007/3-540-60614-9
79.

電子ブック
ＥＢ
79. TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 915
オンライン: http://dx.doi.org/10.1007/3-540-59293-8
80.

電子ブック
ＥＢ
80. Ada 95, Quality and Style : Guidelines for Professional Programmers. 1st ed. 1995
edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1344
オンライン: https://doi.org/10.1007/3-540-63823-7
81.

電子ブック
ＥＢ
81. Software Process Technology : Third European Workshop, EWSPT '94 Villard de Lans, France, February 7–9, 1994 Proceedings
edited by Brian C. Warboys
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 772
オンライン: http://dx.doi.org/10.1007/3-540-57739-4
82.

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

電子ブック
ＥＢ
83. Advanced Information Systems Engineering : 6th International Conference, CAiSE'94 Utrecht, The Netherlands, June 6–10, 1994 Proceedings
edited by Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 811
オンライン: http://dx.doi.org/10.1007/3-540-58113-8
84.

電子ブック
ＥＢ
84. Computers for Handicapped Persons : 4th International Conference, ICCHP '94 Vienna, Austria, September 14–16, 1994 Proceedings
edited by Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 860
オンライン: http://dx.doi.org/10.1007/3-540-58476-5
85.

電子ブック
ＥＢ
85. Parallel, Distributed and Multiagent Production Systems
by Toru Ishida
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 878
オンライン: http://dx.doi.org/10.1007/3-540-58698-9
86.

電子ブック
ＥＢ
86. Compiler Construction : 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings
edited by Peter A. Fritzson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 786
オンライン: http://dx.doi.org/10.1007/3-540-57877-3
87.

電子ブック
ＥＢ
87. Object-Oriented Methodologies and Systems : International Symposium, ISOOMS '94 Palermo, Italy, September 21–22, 1994 Proceedings
edited by Elisa Bertino, Susan Urban
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 858
オンライン: http://dx.doi.org/10.1007/BFb0014012
88.

電子ブック
ＥＢ
88. Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
edited by Jeffrey J. Joyce, Carl-Johan H. Seger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 780
オンライン: http://dx.doi.org/10.1007/3-540-57826-9
89.

電子ブック
ＥＢ
89. Human-Computer Interaction : 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2–5, 1994 Selected Papers
edited by Brad Blumenthal, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 876
オンライン: http://dx.doi.org/10.1007/3-540-58648-2
90.

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

電子ブック
ＥＢ
91. Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
edited by Masami Hagiya, John C. Mitchell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 789
オンライン: http://dx.doi.org/10.1007/3-540-57887-0
92.

電子ブック
ＥＢ
92. Programming Languages and Systems — ESOP '94 : 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
edited by Donald Sannella
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 788
オンライン: http://dx.doi.org/10.1007/3-540-57880-3
93.

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

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

電子ブック
ＥＢ
95. Visualization of Scientific Parallel Programs
edited by Gerald Tomas, Christoph W. Ueberhuber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 771
オンライン: http://dx.doi.org/10.1007/3-540-57738-6
96.

電子ブック
ＥＢ
96. Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings
edited by Hans Jürgen Schneider, Hartmut Ehrig
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 776
オンライン: http://dx.doi.org/10.1007/3-540-57787-4
97.

電子ブック
ＥＢ
97. Programming Languages and System Architectures : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings
edited by Jürg Gutknecht
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 782
オンライン: http://dx.doi.org/10.1007/3-540-57840-4
98.

電子ブック
ＥＢ
98. Object-Oriented Programming : 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings
edited by Mario Tokoro, Remo Pareschi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 821
オンライン: http://dx.doi.org/10.1007/BFb0052172
99.

電子ブック
ＥＢ
99. Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
edited by Hartmut Ehrig, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 785
オンライン: http://dx.doi.org/10.1007/3-540-57867-6
100.

電子ブック
ＥＢ
100. Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering : 13th International Conference on the Entity-Relationship Approach Manchester, United Kingdom, December 13–16, 1994 Proceedings
edited by Pericles Loucopoulos
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 881
オンライン: http://dx.doi.org/10.1007/3-540-58786-1