1.

電子ブック
ＥＢ
1. The Dynamical System Generated by the 3n+1 Function. 1st ed. 1998
by Günther J. Wirsching
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998
シリーズ名: Lecture Notes in Mathematics ; 1681
オンライン: https://doi.org/10.1007/BFb0095985
2.

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

電子ブック
ＥＢ
3. Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings. 1st ed. 1996
edited by Helene Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: https://doi.org/10.1007/3-540-61064-2
4.

電子ブック
ＥＢ
4. Applied Parallel Computing. Industrial Computation and Optimization : Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996, Proceedings. 1st ed. 1996
edited by Jerzy Wasniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1184
オンライン: https://doi.org/10.1007/3-540-62095-8
5.

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

電子ブック
ＥＢ
6. Evolutionary Computing : AISB Workshop, Brighton, U.K., April 1 - 2, 1996. Selected Papers. 1st ed. 1996
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1143
オンライン: https://doi.org/10.1007/BFb0032768
7.

電子ブック
ＥＢ
7. STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings. 1st ed. 1996
edited by Claude Puech, Rüdiger Reischuk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1046
オンライン: https://doi.org/10.1007/3-540-60922-9
8.

電子ブック
ＥＢ
8. Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995. Proceedings. 1st ed. 1996
edited by Jack Dongarra, Kaj Madsen, Jerzy Wasniewski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1041
オンライン: https://doi.org/10.1007/3-540-60902-4
9.

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

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

電子ブック
ＥＢ
11. Coordination Languages and Models : First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. 1st ed. 1996
edited by Paolo Ciancarini, Chris Hankin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1061
オンライン: https://doi.org/10.1007/3-540-61052-9
12.

電子ブック
ＥＢ
12. Trends in Distributed Systems: CORBA and Beyond : International Workshop TreDS '96 Aachen, Germany, October 1 - 2, 1996; Proceedings. 1st ed. 1996
edited by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1161
オンライン: https://doi.org/10.1007/3-540-61842-2
13.

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

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

電子ブック
ＥＢ
15. Advances in Cryptology - ASIACRYPT '96 : International Conference on the Theory and Applications of Crypotology and Information Security, Kyongju, Korea, November 3 - 7, 1996, Proceedings. 1st ed. 1996
edited by Kwangjo Kim, Tsutomu Matsumoto
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1163
オンライン: https://doi.org/10.1007/BFb0034829
16.

電子ブック
ＥＢ
16. Combinatorial Pattern Matching : 7th Annual Symposium, CPM '96, Laguna Beach, California, June 10-12, 1996. Proceedings. 1st ed. 1996
edited by Dan Hirschberg, Gene Meyers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1075
オンライン: https://doi.org/10.1007/3-540-61258-0
17.

電子ブック
ＥＢ
17. 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
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. Algorithmic Number Theory : Second International Symposium, ANTS-II, Talence, France, May 18 - 23, 1996, Proceedings. 1st ed. 1996
edited by Henri Cohen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1122
オンライン: https://doi.org/10.1007/3-540-61581-4
20.

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

電子ブック
ＥＢ
21. Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers. 1st ed. 1995
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 958
オンライン: https://doi.org/10.1007/3-540-60156-2
22.

電子ブック
ＥＢ
22. LATIN '95: Theoretical Informatics : Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings. 1st ed. 1995
edited by Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 911
オンライン: https://doi.org/10.1007/3-540-59175-3
23.

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

電子ブック
ＥＢ
24. Computing and Combinatorics : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings. 1st ed. 1995
edited by Ding-Zhu Du, Ming Li
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 959
オンライン: https://doi.org/10.1007/BFb0030813
25.

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

電子ブック
ＥＢ
26. Quantitative Evaluation of Computing and Communication Systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95Heidelberg, Germany, Septem. 1st ed. 1995
edited by Heinz Beilner, Falko Bause
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 977
オンライン: https://doi.org/10.1007/BFb0024302
27.

電子ブック
ＥＢ
27. Database Theory - ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings. 1st ed. 1995
edited by Georg Gottlob, Moshe Y. Vardi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 893
オンライン: https://doi.org/10.1007/3-540-58907-4
28.

電子ブック
ＥＢ
28. Logic and Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers. 1st ed. 1995
edited by Daniel Leivant
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 960
オンライン: https://doi.org/10.1007/3-540-60178-3
29.

電子ブック
ＥＢ
29. Image Analysis Applications and Computer Graphics : Third International Computer Science Conference, ICSC'95 Hong Kong, December 11 - 13, 1995 Proceedings. 1st ed. 1995
edited by Roland Chin, Horace Ip, Avi Naiman, Ting-Chuen Pong
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1024
オンライン: https://doi.org/10.1007/3-540-60697-1
30.

電子ブック
ＥＢ
30. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995. Proceedings. 1st ed. 1995
edited by Gerard Cohen, Marc Giusti, Teo Mora
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 948
オンライン: https://doi.org/10.1007/3-540-60114-7
31.

電子ブック
ＥＢ
31. Theorem Provers in Circuit Design: Theory, Practice and Experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings. 1st ed. 1995
edited by Ramayya Kumar, Thomas Kropf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 901
オンライン: https://doi.org/10.1007/3-540-59047-1
32.

電子ブック
ＥＢ
32. Towards a CSCW Framework for Scientific Cooperation in Europe. 1st ed. 1995
by Hannes P. Lubich
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 889
オンライン: https://doi.org/10.1007/3-540-58844-2
33.

電子ブック
ＥＢ
33. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings. 1st ed. 1995
edited by Ernst W. Mayr, Claude Puech
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 900
オンライン: https://doi.org/10.1007/3-540-59042-0
34.

電子ブック
ＥＢ
34. Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95, Aachen, Germany, June 20 - 22, 1995. Proceedings. 1st ed. 1995
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1017
オンライン: https://doi.org/10.1007/3-540-60618-1
35.

電子ブック
ＥＢ
35. Tractable Reasoning in Aritificial Intelligence. 1st ed. 1995
by Marco Cadoli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 941
オンライン: https://doi.org/10.1007/3-540-60058-2
36.

電子ブック
ＥＢ
36. Combinatorial Pattern Matching : 6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings. 1st ed. 1995
edited by Zvi Galil, Esko Ukkonen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 937
オンライン: https://doi.org/10.1007/3-540-60044-2
37.

電子ブック
ＥＢ
37. Automata, Languages and Programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings. 1st ed. 1995
edited by Zoltan Fülöp, Ferenc Gecseg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 944
オンライン: https://doi.org/10.1007/3-540-60084-1
38.

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

電子ブック
ＥＢ
39. Algebraic Coding : First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings. 1st ed. 1994
edited by Gerard Cohen, Simon Litsyn, Antoine Lobstein, Gilles Zemor
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 781
オンライン: https://doi.org/10.1007/3-540-57843-9
40.

電子ブック
ＥＢ
40. Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers. 1st ed. 1994
edited by Egon Börger, Yuri Gurevich, Karl Meinke
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 832
オンライン: https://doi.org/10.1007/BFb0049319
41.

電子ブック
ＥＢ
41. Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings. 1st ed. 1994
edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 812
オンライン: https://doi.org/10.1007/3-540-58131-6
42.

電子ブック
ＥＢ
42. Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings. 1st ed. 1994
edited by Thomas F. Melham, Juanito Camilleri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 859
オンライン: https://doi.org/10.1007/3-540-58450-1
43.

電子ブック
ＥＢ
43. Entity-Relationship Approach - ER '93 : 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings. 1st ed. 1994
edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 823
オンライン: https://doi.org/10.1007/BFb0024351
44.

電子ブック
ＥＢ
44. Parallel Scientific Computing : First International Workshop, PARA '94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings. 1st ed. 1994
edited by Jack Dongarra, Jerzy Wasniewski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 879
オンライン: https://doi.org/10.1007/BFb0030129
45.

電子ブック
ＥＢ
45. Graph-Theoretic Concepts in Computer Science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings. 1st ed. 1994
edited by Jan van Leeuwen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 790
オンライン: https://doi.org/10.1007/3-540-57899-4
46.

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

電子ブック
ＥＢ
47. Languages and Compilers for Parallel Computing : 6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings. 1st ed. 1994
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 768
オンライン: https://doi.org/10.1007/3-540-57659-2
48.

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

電子ブック
ＥＢ
49. Parallel and Distributed Computing: Theory and Practice : Theory and Practice. First Canada-France Conference, Montreal, Canada, May 19 - 21, 1994. Proceedings. 1st ed. 1994
edited by Michel Cosnard, Afonso Ferreira, Joseph Peters
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 805
オンライン: https://doi.org/10.1007/3-540-58078-6
50.

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

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

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

電子ブック
ＥＢ
53. Spatial Information Theory: A Theoretical Basis for GIS : A Theoretical Basis for GIS. European Conference, COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993. Proceedings. 1st ed. 1993
edited by Andrew U. Frank, Irene Campari
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 716
オンライン: https://doi.org/10.1007/3-540-57207-4
54.

電子ブック
ＥＢ
54. Correct Hardware Design and Verification Methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings. 1st ed. 1993
edited by George J. Milne, Laurence Pierre
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 683
オンライン: https://doi.org/10.1007/BFb0021709
55.

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

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

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

電子ブック
ＥＢ
58. Fundamentals of Computation Theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings. 1st ed. 1993
edited by Zoltan Esik
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 710
オンライン: https://doi.org/10.1007/3-540-57163-9
59.

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

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

電子ブック
ＥＢ
61. Languages and Compilers for Parallel Computing : 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings. 1st ed. 1993
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 757
オンライン: https://doi.org/10.1007/3-540-57502-2
62.

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

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

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

電子ブック
ＥＢ
65. 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
edited by A. Bensoussan, J. -P. Verjus
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 653
オンライン: http://dx.doi.org/10.1007/3-540-56320-2
66.

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

電子ブック
ＥＢ
67. Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings. 1st ed. 1992
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 626
オンライン: https://doi.org/10.1007/BFb0023753
68.

電子ブック
ＥＢ
68. Data Structures and Efficient Algorithms : Final Report on the DFG Special Joint Initiative. 1st ed. 1992
edited by Burkhard Monien, Thomas Ottmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 594
オンライン: https://doi.org/10.1007/3-540-55488-2
69.

電子ブック
ＥＢ
69. Languages and Compilers for Parallel Computing : Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings. 1st ed. 1992
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 589
オンライン: https://doi.org/10.1007/BFb0038653
70.

電子ブック
ＥＢ
70. Mathematical Foundations of Programming Semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings. 1st ed. 1992
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 598
オンライン: https://doi.org/10.1007/3-540-55511-0
71.

電子ブック
ＥＢ
71. Distributed Algorithms : 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992. Proceedings. 1st ed. 1992
edited by Adrian Segall, Shmuel Zaks
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 647
オンライン: https://doi.org/10.1007/3-540-56188-9
72.

電子ブック
ＥＢ
72. Algebraic Coding : First French-Soviet Workshop, Paris, July 22-24, 1991. Proceedings. 1st ed. 1992
edited by Gerard Cohen, Simon N. Litsyn, Antoine Lobstein, Gilles Zemor
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 573
オンライン: https://doi.org/10.1007/BFb0034333
73.

電子ブック
ＥＢ
73. Graph-Theoretic Concepts in Computer Science : 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings. 1st ed. 1992
edited by Gunther Schmidt, Rudolf Berghammer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 570
オンライン: https://doi.org/10.1007/3-540-55121-2
74.

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

電子ブック
ＥＢ
75. Algorithm Theory - SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992. Proceedings. 1st ed. 1992
edited by Otto Nurmi, Esko Ukkonen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 621
オンライン: https://doi.org/10.1007/3-540-55706-7
76.

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

電子ブック
ＥＢ
77. Primality Testing and Abelian Varieties Over Finite Fields. 1st ed. 1992
by Leonard M. Adleman, Ming-Deh A. Huang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Mathematics ; 1512
オンライン: https://doi.org/10.1007/BFb0090185
78.

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

電子ブック
ＥＢ
79. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991. Proceedings. 1st ed. 1991
edited by Harold F. Mattson, Teo Mora, T.R.N. Rao
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 539
オンライン: https://doi.org/10.1007/3-540-54522-0
80.

電子ブック
ＥＢ
80. Graph-Theoretic Concepts in Computer Science : 16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990. 1st ed. 1991
edited by Rolf H. Möhring
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 484
オンライン: https://doi.org/10.1007/3-540-53832-1
81.

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

電子ブック
ＥＢ
82. Rewriting Techniques and Applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings. 1st ed. 1991
edited by Ronald V. Book
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 488
オンライン: https://doi.org/10.1007/3-540-53904-2
83.

電子ブック
ＥＢ
83. Automata, Languages and Programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings. 1st ed. 1991
edited by Javier Leach Albert, Burkhard Monien, Mario Rodriguez Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 510
オンライン: https://doi.org/10.1007/3-540-54233-7
84.

電子ブック
ＥＢ
84. ISA '91 Algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings. 1st ed. 1991
edited by Wen-Lian Hsu, R.C.T. Lee
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 557
オンライン: https://doi.org/10.1007/3-540-54945-5
85.

電子ブック
ＥＢ
85. Fundamental Algorithms for Permutation Groups. 1st ed. 1991
by Gregory Butler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 559
オンライン: https://doi.org/10.1007/3-540-54955-2
86.

電子ブック
ＥＢ
86. Computational Geometry - Methods, Algorithms and Applications : International Workshop on Computational Geometry CG '91 Bern, Switzerland, March 21-22, 1991. Proceedings. 1st ed. 1991
edited by Hanspeter Bieri, Hartmut Noltemeier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 553
オンライン: https://doi.org/10.1007/3-540-54891-2
87.

電子ブック
ＥＢ
87. Algorithms and Data Structures : 2nd Workshop, WADS '91, Ottawa, Canada, August 14-16, 1991. Proceedings. 1st ed. 1991
edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 519
オンライン: https://doi.org/10.1007/BFb0028243
88.

電子ブック
ＥＢ
88. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings. 1st ed. 1991
edited by Jos C.M. Baeten, Jan F. Groote
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 527
オンライン: https://doi.org/10.1007/3-540-54430-5
89.

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

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

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

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

電子ブック
ＥＢ
93. Combinatorics on Traces. 1st ed. 1990
by Volker Diekert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 454
オンライン: https://doi.org/10.1007/3-540-53031-2
94.

電子ブック
ＥＢ
94. Aspects and Prospects of Theoretical Computer Science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings. 1st ed. 1990
edited by Jürgen Dassow, Jozef Kelemen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 464
オンライン: https://doi.org/10.1007/3-540-53414-8
95.

電子ブック
ＥＢ
95. SWAT '90 : 2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings. 1st ed. 1990
edited by John R. Gilbert, Rolf Karlsson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 447
オンライン: https://doi.org/10.1007/3-540-52846-6
96.

電子ブック
ＥＢ
96. STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings. 1st ed. 1990
edited by Christian Choffrut, Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 415
オンライン: https://doi.org/10.1007/3-540-52282-4
97.

電子ブック
ＥＢ
97. COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings. 1st ed. 1990
edited by Per Martin-Löf, Grigori Mints
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 417
オンライン: https://doi.org/10.1007/3-540-52335-9
98.

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

電子ブック
ＥＢ
99. Categorical Methods in Computer Science : With Aspects from Topology. 1st ed. 1989
edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 393
オンライン: https://doi.org/10.1007/3-540-51722-7
100.

電子ブック
ＥＢ
100. EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings. 1st ed. 1989
edited by James H. Davenport
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 378
オンライン: https://doi.org/10.1007/3-540-51517-8