1.

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

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

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

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

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

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

電子ブック
ＥＢ
7. Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996. Proceedings. 1st ed. 1996
edited by Joseph Diaz, Maria Serna
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1136
オンライン: https://doi.org/10.1007/3-540-61680-2
8.

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

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

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

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

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

電子ブック
ＥＢ
13. 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. 1st ed. 1996
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1130
オンライン: https://doi.org/10.1007/3-540-61629-2
14.

電子ブック
ＥＢ
14. Algorithm Theory - SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings. 1st ed. 1996
edited by Rolf Karlsson, Andrzej Lingas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1097
オンライン: https://doi.org/10.1007/3-540-61422-2
15.

電子ブック
ＥＢ
15. Integer Programming and Combinatorial Optimization : 5th International IPCO Conference Vancouver, British Columbia, Canada June 3–5, 1996 Proceedings. 1st ed. 1996
edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1084
オンライン: https://doi.org/10.1007/3-540-61310-2
16.

電子ブック
ＥＢ
16. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings. 1st ed. 1996
edited by Wojciech Penczek, Andrzej Szalas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: https://doi.org/10.1007/3-540-61550-4
17.

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

電子ブック
ＥＢ
18. Dependable Computing - EDCC-2 : Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings. 1st ed. 1996
edited by Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1150
オンライン: https://doi.org/10.1007/3-540-61772-8
19.

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

電子ブック
ＥＢ
20. Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings
edited by Paolo E. Camurati, Hans Eveking
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 987
オンライン: http://dx.doi.org/10.1007/3-540-60385-9
21.

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

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

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

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

電子ブック
ＥＢ
25. Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers. 1st ed. 1995
edited by Peter Dybjer, Bengt Nordström, Jan Smith
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 996
オンライン: https://doi.org/10.1007/3-540-60579-7
26.

電子ブック
ＥＢ
26. Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings. 1st ed. 1995
edited by Kanchana Kanchanasut, Jean-Jacques Levy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1023
オンライン: https://doi.org/10.1007/3-540-60688-2
27.

電子ブック
ＥＢ
27. High-Performance Computing and Networking : International Conference and Exhibition, Milan, Italy, May 3-5, 1995. Proceedings. 1st ed. 1995
edited by Bob Hertzberger, Giuseppe Serazzi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 919
オンライン: https://doi.org/10.1007/BFb0046600
28.

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

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

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

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

電子ブック
ＥＢ
32. Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings. 1st ed. 1994
edited by P.S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 880
オンライン: https://doi.org/10.1007/3-540-58715-2
33.

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

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

電子ブック
ＥＢ
35. 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. 1st ed. 1994
edited by Hartmut Ehrig, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 785
オンライン: https://doi.org/10.1007/3-540-57867-6
36.

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

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

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

電子ブック
ＥＢ
39. Fast Software Encryption : Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings. 1st ed. 1994
edited by Ross Anderson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 809
オンライン: https://doi.org/10.1007/3-540-58108-1
40.

電子ブック
ＥＢ
40. Applications of Invariance in Computer Vision : Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9 - 14, 1993. Proceedings. 1st ed. 1994
edited by Joseph L. Mundy, Andrew Zisserman, David Forsyth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 825
オンライン: https://doi.org/10.1007/3-540-58240-1
41.

電子ブック
ＥＢ
41. Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
edited by Bernhard Möller, Helmut Partsch, Steve Schuman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 755
オンライン: http://dx.doi.org/10.1007/3-540-57499-9
42.

電子ブック
ＥＢ
42. Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: http://dx.doi.org/10.1007/BFb0039695
43.

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

電子ブック
ＥＢ
44. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: http://dx.doi.org/10.1007/3-540-56625-2
45.

電子ブック
ＥＢ
45. Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
edited by Michel Bidoit, Christine Choppy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 655
オンライン: http://dx.doi.org/10.1007/3-540-56379-2
46.

電子ブック
ＥＢ
46. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: http://dx.doi.org/10.1007/3-540-56883-2
47.

電子ブック
ＥＢ
47. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. 1st ed. 1993
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: https://doi.org/10.1007/3-540-56883-2
48.

電子ブック
ＥＢ
48. Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings. 1st ed. 1993
edited by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 724
オンライン: https://doi.org/10.1007/3-540-57264-3
49.

電子ブック
ＥＢ
49. Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers. 1st ed. 1993
edited by Michel Bidoit, Christine Choppy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 655
オンライン: https://doi.org/10.1007/3-540-56379-2
50.

電子ブック
ＥＢ
50. Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings. 1st ed. 1993
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: https://doi.org/10.1007/BFb0039695
51.

電子ブック
ＥＢ
51. Algorithms - ESA '93 : First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings. 1st ed. 1993
edited by Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 726
オンライン: https://doi.org/10.1007/3-540-57273-2
52.

電子ブック
ＥＢ
52. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings. 1st ed. 1993
edited by John Fitch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 721
オンライン: https://doi.org/10.1007/3-540-57272-4
53.

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

電子ブック
ＥＢ
54. Filtering, Segmentation and Depth. 1st ed. 1993
by Mark Nitzberg, David Mumford, Takahiro Shiota
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 662
オンライン: https://doi.org/10.1007/3-540-56484-5
55.

電子ブック
ＥＢ
55. Experimental Software Engineering Issues : Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings. 1st ed. 1993
edited by H.Dieter Rombach, Victor R. Basili, Richard W. Selby
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 706
オンライン: https://doi.org/10.1007/3-540-57092-6
56.

電子ブック
ＥＢ
56. Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers. 1st ed. 1993
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: https://doi.org/10.1007/3-540-56992-8
57.

電子ブック
ＥＢ
57. Foundations of Data Organization and Algorithms : 4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993. Proceedings. 1st ed. 1993
edited by David B. Lomet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 730
オンライン: https://doi.org/10.1007/3-540-57301-1
58.

電子ブック
ＥＢ
58. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings. 1st ed. 1993
edited by Richard S. Bird, C.Carroll Morgan, James C.P. Woodcock
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: https://doi.org/10.1007/3-540-56625-2
59.

電子ブック
ＥＢ
59. Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report. 1st ed. 1993
edited by Bernhard Möller, Helmut Partsch, Steve Schuman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Artificial Intelligence ; 755
オンライン: https://doi.org/10.1007/3-540-57499-9
60.

電子ブック
ＥＢ
60. Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings. 1st ed. 1993
edited by Andrzej M. Borzyszkowski, Stefan Sokolowski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 711
オンライン: https://doi.org/10.1007/3-540-57182-5
61.

電子ブック
ＥＢ
61. CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings. 1st ed. 1993
edited by Eike Best
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 715
オンライン: https://doi.org/10.1007/3-540-57208-2
62.

電子ブック
ＥＢ
62. Parallel Computation : Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings. 1st ed. 1993
edited by Jens Volkert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 734
オンライン: https://doi.org/10.1007/3-540-57314-3
63.

電子ブック
ＥＢ
63. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 636
オンライン: http://dx.doi.org/10.1007/3-540-55930-2
64.

電子ブック
ＥＢ
64. Parallel Computation : First International ACPC Conference Salzburg, Austria, September 30 – October 2, 1991 Proceedings
edited by Hans P. Zima
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 591
オンライン: http://dx.doi.org/10.1007/3-540-55437-8
65.

電子ブック
ＥＢ
65. Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings. 1st ed. 1992
edited by Helene Kirchner, Giorgio Levi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 632
オンライン: https://doi.org/10.1007/BFb0013814
66.

電子ブック
ＥＢ
66. Parallel Computation : First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings. 1st ed. 1992
edited by Hans P. Zima
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 591
オンライン: https://doi.org/10.1007/3-540-55437-8
67.

電子ブック
ＥＢ
67. Future Tendencies in Computer Science, Control and Applied Mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992. Proceedings. 1st ed. 1992
edited by Alain Bensoussan, Jean-Pierre Verjus
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 653
オンライン: https://doi.org/10.1007/3-540-56320-2
68.

電子ブック
ＥＢ
68. Object-Based Concurrent Computing : ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings. 1st ed. 1992
edited by Mario Tokoro, Oscar Nierstrasz, Peter Wegner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 612
オンライン: https://doi.org/10.1007/3-540-55613-3
69.

電子ブック
ＥＢ
69. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings. 1st ed. 1992
edited by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 636
オンライン: https://doi.org/10.1007/3-540-55930-2
70.

電子ブック
ＥＢ
70. Distributed Algorithms : 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings. 1st ed. 1992
edited by Sam Toueg, Paul G. Spirakis, Lefteris Kirousis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 579
オンライン: https://doi.org/10.1007/BFb0022433
71.

電子ブック
ＥＢ
71. Algebraic Specification Techniques in Object Oriented Programming Environments
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: http://dx.doi.org/10.1007/3-540-54972-2
72.

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

電子ブック
ＥＢ
73. Conclog: A Methodological Approach to Concurrent Logic Programming
by Jean-Marie Jacquet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 556
オンライン: http://dx.doi.org/10.1007/3-540-54938-2
74.

電子ブック
ＥＢ
74. Software Development Environments and CASE Technology : European Symposium Königswinter, June 17–19, 1991 Proceedings
edited by A. Endres, H. Weber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 509
オンライン: http://dx.doi.org/10.1007/3-540-54194-2
75.

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

電子ブック
ＥＢ
76. VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 2: Tutorials. 1st ed. 1991
edited by Soren Prehn, Hans Toetenel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 552
オンライン: https://doi.org/10.1007/BFb0019994
77.

電子ブック
ＥＢ
77. Machine Learning - EWSL-91 : European Working Session on Learning, Porto, Portugal, March 6-8, 1991. Proceedings. 1st ed. 1991
edited by Yves Kodratoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 482
オンライン: https://doi.org/10.1007/BFb0016999
78.

電子ブック
ＥＢ
78. Compiler Compilers : Third International Workshop, CC `90. Schwerin, FRG, October 22-24, 1990. Proceedings. 1st ed. 1991
edited by Dieter Hammer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 477
オンライン: https://doi.org/10.1007/3-540-53669-8
79.

電子ブック
ＥＢ
79. Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings. 1st ed. 1991
edited by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 534
オンライン: https://doi.org/10.1007/3-540-54496-8
80.

電子ブック
ＥＢ
80. VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 1: Conference Contributions. 1st ed. 1991
edited by Soren Prehn, Hans Toetenel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 551
オンライン: https://doi.org/10.1007/3-540-54834-3
81.

電子ブック
ＥＢ
81. Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings. 1st ed. 1991
edited by Stephane Kaplan, Mitsuhiro Okada
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 516
オンライン: https://doi.org/10.1007/3-540-54317-1
82.

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

電子ブック
ＥＢ
83. New Results and New Trends in Computer Science : Graz, Austria, June 20-21, 1991 Proceedings. 1st ed. 1991
edited by Hermann Maurer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 555
オンライン: https://doi.org/10.1007/BFb0038178
84.

電子ブック
ＥＢ
84. Software Development Environments and Case Technology : European Symposium, Königswinter, June 17-19, 1991. Proceedings. 1st ed. 1991
edited by Albert Endres, Herbert Weber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 509
オンライン: https://doi.org/10.1007/3-540-54194-2
85.

電子ブック
ＥＢ
85. On the Computational Geometry of Pocket Machining. 1st ed. 1991
by Martin Held
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 500
オンライン: https://doi.org/10.1007/3-540-54103-9
86.

電子ブック
ＥＢ
86. ECOOP '91 European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991. Proceedings. 1st ed. 1991
edited by Pierre America
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 512
オンライン: https://doi.org/10.1007/BFb0057011
87.

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

電子ブック
ＥＢ
88. Conclog: A Methodological Approach to Concurrent Logic Programming. 1st ed. 1991
by Jean-Marie Jacquet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 556
オンライン: https://doi.org/10.1007/3-540-54938-2
89.

電子ブック
ＥＢ
89. Attribute Grammars, Applications and Systems : International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings. 1st ed. 1991
edited by Henk Alblas, Borivoj Melichar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 545
オンライン: https://doi.org/10.1007/3-540-54572-7
90.

電子ブック
ＥＢ
90. Text Understanding in LILOG : Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project. 1st ed. 1991
edited by Otthein Herzog, Claus-Rainer Rollinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 546
オンライン: https://doi.org/10.1007/3-540-54594-8
91.

電子ブック
ＥＢ
91. Algebraic Specification Techniques in Object Oriented Programming Environments. 1st ed. 1991
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: https://doi.org/10.1007/3-540-54972-2
92.

電子ブック
ＥＢ
92. TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD). 1st ed. 1991
edited by S. Abramsky, T.S.E. Maibaum
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 494
オンライン: https://doi.org/10.1007/3-540-53981-6
93.

電子ブック
ＥＢ
93. TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91). 1st ed. 1991
edited by S. Abramsky, T.S.E. Maibaum
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 493
オンライン: https://doi.org/10.1007/3-540-53982-4
94.

電子ブック
ＥＢ
94. CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings. 1st ed. 1990
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 440
オンライン: https://doi.org/10.1007/3-540-52753-2
95.

電子ブック
ＥＢ
95. Attribute Grammars and their Applications : International Conference, Paris, France, September 19-21, 1990. 1st ed. 1990
edited by Pierre Deransart, Martin Jourdan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 461
オンライン: https://doi.org/10.1007/3-540-53101-7
96.

電子ブック
ＥＢ
96. Software Engineering Education : SEI Conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990. Proceedings. 1st ed. 1990
edited by Lionel E. Deimel
出版情報: New York, NY : Springer New York : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 423
オンライン: https://doi.org/10.1007/BFb0040434
97.

電子ブック
ＥＢ
97. Software Engineering Environments : International Workshop on Environments, Chinon, France, September 18-20, 1989. Proceedings. 1st ed. 1990
edited by Fred Long
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 467
オンライン: https://doi.org/10.1007/3-540-53452-0
98.

電子ブック
ＥＢ
98. Visualization in Human-Computer Interaction : 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988. Selected Contributions. 1st ed. 1990
edited by Peter Gorny, Michael J. Tauber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 439
オンライン: https://doi.org/10.1007/3-540-52698-6
99.

電子ブック
ＥＢ
99. ESEC '89 : 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings
edited by C. Ghezzi, J. A. McDermid
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 387
オンライン: http://dx.doi.org/10.1007/3-540-51635-2
100.

電子ブック
ＥＢ
100. Compiler Compilers and High Speed Compilation : 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings
edited by Dieter Hammer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 371
オンライン: http://dx.doi.org/10.1007/3-540-51364-7