1.

電子ブック
ＥＢ
1. Foundational Java : Key Elements and Practical Programming. 1st ed. 2012
by David Parsons
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2479-5
2.

電子ブック
ＥＢ
2. Guide to Scientific Computing in C++. 1st ed. 2012
by Joe Pitt-Francis, Jonathan Whiteley
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4471-2736-9
3.

電子ブック
ＥＢ
3. Testbeds and Research Infrastructure: Development of Networks and Communities : 7th International ICST Conference, TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers. 1st ed. 2012
edited by Thanasis Korakis, Hongbin Li, Phuoc Tran-Gia, Hong-Shik Park
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 90
オンライン: https://doi.org/10.1007/978-3-642-29273-6
4.

電子ブック
ＥＢ
4. Introduction to Programming with Fortran : With Coverage of Fortran 90, 95, 2003, 2008 and 77. 2nd ed. 2012
by Ian Chivers, Jane Sleightholme
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-0-85729-233-9
5.

電子ブック
ＥＢ
5. Patterns, Programming and Everything. 1st ed. 2012
edited by Karin K. Breitman, R. Nigel Horspool
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2350-7
6.

電子ブック
ＥＢ
6. Open Source Systems: Long-Term Sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedings. 1st ed. 2012
edited by Imed Hammouda, Björn Lundell, Tommi Mikkonen, Walt Scacchi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 378
オンライン: https://doi.org/10.1007/978-3-642-33442-9
7.

電子ブック
ＥＢ
7. Code Generation with Templates
by Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef
出版情報: Paris : Atlantis Press, 2012
シリーズ名: Atlantis Studies in Computing ; 1
オンライン: http://dx.doi.org/10.2991/978-94-91216-56-5
8.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
22. Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings. 1st ed. 1996
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: https://doi.org/10.1007/3-540-61551-2
23.

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

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

電子ブック
ＥＢ
25. Over-Constrained Systems. 1st ed. 1996
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: https://doi.org/10.1007/3-540-61479-6
26.

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

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

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

電子ブック
ＥＢ
29. ECOOP '96 - Object-Oriented Programming : 10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings. 1st ed. 1996
edited by Pierre Cointe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1098
オンライン: https://doi.org/10.1007/BFb0053051
30.

電子ブック
ＥＢ
30. Constraint Databases and Applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected papers. 1st ed. 1996
edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1191
オンライン: https://doi.org/10.1007/3-540-62501-1
31.

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

電子ブック
ＥＢ
32. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria, September, 23 - 25, 1996, Proceedings. 1st ed. 1996
edited by Laszlo Böszörmenyi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: https://doi.org/10.1007/3-540-61695-0
33.

電子ブック
ＥＢ
33. Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995. 1st ed. 1996
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1031
オンライン: https://doi.org/10.1007/BFb0015477
34.

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

電子ブック
ＥＢ
35. 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. 1st ed. 1996
edited by Marie-Claude Gaudel, James Woodcock
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1051
オンライン: https://doi.org/10.1007/3-540-60973-3
36.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
54. 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. 1st ed. 1995
edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1012
オンライン: https://doi.org/10.1007/3-540-60609-2
55.

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

電子ブック
ＥＢ
56. Constraint Programming: Basics and Trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers. 1st ed. 1995
edited by Andreas Podelski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 910
オンライン: https://doi.org/10.1007/3-540-59155-9
57.

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

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

電子ブック
ＥＢ
59. Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text. 1st ed. 1995
edited by Johan Jeuring, Erik Meijer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 925
オンライン: https://doi.org/10.1007/3-540-59451-5
60.

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

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

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

電子ブック
ＥＢ
63. 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. Selected Papers. 1st ed. 1995
edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 924
オンライン: https://doi.org/10.1007/3-540-59450-7
64.

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

電子ブック
ＥＢ
65. Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism. 1st ed. 1995
by Josyula R. Rao
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 908
オンライン: https://doi.org/10.1007/3-540-59173-7
66.

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

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

電子ブック
ＥＢ
68. ECOOP '95 - Object-Oriented Programming : 9th European Conference, Aarhus, Denmark, August 7 - 11, 1995. Proceedings. 1st ed. 1995
edited by Walter Olthoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 952
オンライン: https://doi.org/10.1007/3-540-49538-X
69.

電子ブック
ＥＢ
69. Ada 95 Rationale : The Language - The Standard Libraries. 1st ed. 1995
edited by John Barnes
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1247
オンライン: https://doi.org/10.1007/BFb0051526
70.

電子ブック
ＥＢ
70. Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings. 1st ed. 1995
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: https://doi.org/10.1007/3-540-60299-2
71.

電子ブック
ＥＢ
71. Ada 95 Reference Manual: Language and Standard Libraries : International Standard ISO/IEC 8652:1995 (E). 1st ed. 1995
edited by Tucker S. Taft, Robert A. Duff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1246
オンライン: https://doi.org/10.1007/BFb0034910
72.

電子ブック
ＥＢ
72. Constraint Processing : Selected Papers. 1st ed. 1995
edited by Manfred Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 923
オンライン: https://doi.org/10.1007/3-540-59479-5
73.

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
82. Object-Based Distributed Programming : ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings
edited by Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 791
オンライン: http://dx.doi.org/10.1007/BFb0017530
83.

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

電子ブック
ＥＢ
84. Static Analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings
edited by Baudouin Charlier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 864
オンライン: http://dx.doi.org/10.1007/3-540-58485-4
85.

電子ブック
ＥＢ
85. Distributed Programming Paradigms with Cryptography Applications
edited by Jonathan S. Greenfield
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 870
オンライン: http://dx.doi.org/10.1007/BFb0017590
86.

電子ブック
ＥＢ
86. FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
edited by Maurice Naftalin, Tim Denvir, Miquel Bertran
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 873
オンライン: http://dx.doi.org/10.1007/3-540-58555-9
87.

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

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

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

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

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

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

電子ブック
ＥＢ
93. Distributed Programming Paradigms with Cryptography Applications. 1st ed. 1994
by Jonathan S. Greenfield
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 870
オンライン: https://doi.org/10.1007/BFb0017590
94.

電子ブック
ＥＢ
94. FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings. 1st ed. 1994
edited by Maurice Naftalin, Tim Denvir, Miquel Bertran
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 873
オンライン: https://doi.org/10.1007/3-540-58555-9
95.

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

電子ブック
ＥＢ
96. 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. 1st ed. 1994
edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 866
オンライン: https://doi.org/10.1007/3-540-58484-6
97.

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

電子ブック
ＥＢ
98. Extensions of Logic Programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings. 1st ed. 1994
edited by Roy Dyckhoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 798
オンライン: https://doi.org/10.1007/3-540-58025-5
99.

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

電子ブック
ＥＢ
100. Static Analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings. 1st ed. 1994
edited by Baudouin LeCharlier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 864
オンライン: https://doi.org/10.1007/3-540-58485-4