1.

電子ブック
ＥＢ
1. Automata, Languages and Programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings. 1st ed. 1989
edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 372
オンライン: https://doi.org/10.1007/BFb0035746
2.

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

電子ブック
ＥＢ
3. Algorithms and Data Structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings. 1st ed. 1989
edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 382
オンライン: https://doi.org/10.1007/3-540-51542-9
4.

電子ブック
ＥＢ
4. Synthesizing Synchronous Systems by Static Scheduling in Space-Time. 1st ed. 1989
by Björn Lisper
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 362
オンライン: https://doi.org/10.1007/3-540-51156-3
5.

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

電子ブック
ＥＢ
6. Parallel Computing 1988 : Shell Conference, Amsterdam, The Netherlands, June 1/2, 1988; Proceedings. 1st ed. 1989
edited by Gerrit A. van Zee, Johannes G.G. van de Vorst
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 384
オンライン: https://doi.org/10.1007/3-540-51604-2
7.

電子ブック
ＥＢ
7. Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings. 1st ed. 1989
edited by Albert R. Meyer, Michael A. Taitslin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 363
オンライン: https://doi.org/10.1007/3-540-51237-3
8.

電子ブック
ＥＢ
8. High Performance Transaction Systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987. Proceedings. 1st ed. 1989
edited by Dieter Gawlick, Mark Haynie, Andreas Reuter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 359
オンライン: https://doi.org/10.1007/3-540-51085-0
9.

電子ブック
ＥＢ
9. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989; Proceedings. 1st ed. 1989
edited by Burkhard Monien, Robert Cori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 349
オンライン: https://doi.org/10.1007/BFb0028968
10.

電子ブック
ＥＢ
10. Symbolic and Algebraic Computation : International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings. 1st ed. 1989
edited by Patrizia Gianni
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 358
オンライン: https://doi.org/10.1007/3-540-51084-2
11.

電子ブック
ＥＢ
11. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. 1st ed. 1989
by Dirk A. Taubner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 369
オンライン: https://doi.org/10.1007/3-540-51525-9
12.

電子ブック
ＥＢ
12. Optimal Algorithms : International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings. 1st ed. 1989
edited by Hristo Djidjev
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 401
オンライン: https://doi.org/10.1007/3-540-51859-2
13.

電子ブック
ＥＢ
13. Proceedings / Parcella 1988 : Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988. 1st ed. 1989
edited by Gottfried Wolf, Tamas Legendi, Udo Schendel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 342
オンライン: https://doi.org/10.1007/3-540-50647-0
14.

電子ブック
ＥＢ
14. Machines, Languages, and Complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988. Selected Contributions. 1st ed. 1989
edited by Jürgen Dassow, Jozef Kelemen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 381
オンライン: https://doi.org/10.1007/BFb0015922
15.

電子ブック
ＥＢ
15. Formal Properties of Finite Automata and Applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings. 1st ed. 1989
edited by Jean E. Pin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 386
オンライン: https://doi.org/10.1007/BFb0013106
16.

電子ブック
ＥＢ
16. Distributed Algorithms : 3rd International Workshop, Nice, France, September 26-28, 1989. Proceedings. 1st ed. 1989
edited by Jean-Claude Bermond, Michel Raynal
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 392
オンライン: https://doi.org/10.1007/3-540-51687-5
17.

電子ブック
ＥＢ
17. Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings. 1st ed. 1989
edited by Antoni Kreczmar, Grazyna Mirkowska
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 379
オンライン: https://doi.org/10.1007/3-540-51486-4
18.

電子ブック
ＥＢ
18. Fundamentals of Computation Theory : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings. 1st ed. 1989
edited by Janos Csirik, Ferenc Gecseg, Janos Demetrovics
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 380
オンライン: https://doi.org/10.1007/3-540-51498-8
19.

電子ブック
ＥＢ
19. Modified Branching Programs and Their Computational Power. 1st ed. 1989
by Christoph Meinel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 370
オンライン: https://doi.org/10.1007/BFb0017563
20.

電子ブック
ＥＢ
20. Concrete and Abstract Voronoi Diagrams. 1st ed. 1989
by Rolf Klein
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 400
オンライン: https://doi.org/10.1007/3-540-52055-4
21.

電子ブック
ＥＢ
21. Advances in Petri Nets 1988. 1st ed. 1988
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 340
オンライン: https://doi.org/10.1007/3-540-50580-6
22.

電子ブック
ＥＢ
22. Coding Theory and Applications : 2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986. Proceedings. 1st ed. 1988
edited by Gerard Cohen, Philippe Godlewski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 311
オンライン: https://doi.org/10.1007/3-540-19368-5
23.

電子ブック
ＥＢ
23. Graph-Theoretic Concepts in Computer Science : International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings. 1st ed. 1988
edited by Herbert Göttler, Hans-Jürgen Schneider
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 314
オンライン: https://doi.org/10.1007/3-540-19422-3
24.

電子ブック
ＥＢ
24. Trends in Computer Algebra : International Symposium, Bad Neuenahr, May 19-21, 1987. Proceedings. 1st ed. 1988
edited by Rainer Janßen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 296
オンライン: https://doi.org/10.1007/3-540-18928-9
25.

電子ブック
ＥＢ
25. Mathematical Foundations of Computer Science 1988 : 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings. 1st ed. 1988
edited by Michal P. Chytil, Ladislav Janiga, Vaclav Koubek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 324
オンライン: https://doi.org/10.1007/BFb0017126
26.

電子ブック
ＥＢ
26. Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings. 1st ed. 1988
edited by Kesav V. Nori, Sanjeev Kumar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 338
オンライン: https://doi.org/10.1007/3-540-50517-2
27.

電子ブック
ＥＢ
27. SWAT '88 : 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings. 1st ed. 1988
edited by Rolf Karlsson, Andrzej Lingas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 318
オンライン: https://doi.org/10.1007/3-540-19487-8
28.

電子ブック
ＥＢ
28. MFDBS 87 : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings. 1st ed. 1988
edited by Joachim Biskup, Janos Demetrovics, Jan Paredaens, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 305
オンライン: https://doi.org/10.1007/3-540-19121-6
29.

電子ブック
ＥＢ
29. Automata, Languages and Programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings. 1st ed. 1988
edited by Timo Lepistö, Arto Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 317
オンライン: https://doi.org/10.1007/3-540-19488-6
30.

電子ブック
ＥＢ
30. CAAP '88 : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings. 1st ed. 1988
edited by Max Dauchet, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 299
オンライン: https://doi.org/10.1007/BFb0026091
31.

電子ブック
ＥＢ
31. System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. 1st ed. 1987
edited by A. Nico Habermann, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 275
オンライン: https://doi.org/10.1007/3-540-18341-8
32.

電子ブック
ＥＢ
32. Graph Reduction : Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986. 1st ed. 1987
edited by Joseph H. Fasel, Robert M. Keller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 279
オンライン: https://doi.org/10.1007/3-540-18420-1
33.

電子ブック
ＥＢ
33. Trends, Techniques, and Problems in Theoretical Computer Science : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986. 1st ed. 1987
edited by Alica Kelemenova, Jozef Kelemen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 281
オンライン: https://doi.org/10.1007/3-540-18535-6
34.

電子ブック
ＥＢ
34. Parallel Algorithms and Architectures : International Workshop Suhl, GDR, May 25-30, 1987; Proceedings. 1st ed. 1987
edited by Andreas Albrecht, Hermann Jung, Kurt Mehlhorn
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 269
オンライン: https://doi.org/10.1007/3-540-18099-0
35.

電子ブック
ＥＢ
35. Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings. 1st ed. 1987
edited by Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 278
オンライン: https://doi.org/10.1007/3-540-18740-5
36.

電子ブック
ＥＢ
36. Computation Theory and Logic. 1st ed. 1987
edited by Egon Börger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 270
オンライン: https://doi.org/10.1007/3-540-18170-9
37.

電子ブック
ＥＢ
37. Graph-Theoretic Concepts in Computer Science : International Workshop WG '86 Bernried, Federal Republic of Germany, June 17-19, 1986, Proceedings. 1st ed. 1987
edited by Gottfried Tinhofer, Gunther Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 246
オンライン: https://doi.org/10.1007/3-540-17218-1
38.

電子ブック
ＥＢ
38. Mathematical Models for the Semantics of Parallelism : Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings. 1st ed. 1987
edited by Marisa Venturini Zilli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 280
オンライン: https://doi.org/10.1007/3-540-18419-8
39.

電子ブック
ＥＢ
39. Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India, December 17-19, 1987. Proceedings. 1st ed. 1987
edited by Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 287
オンライン: https://doi.org/10.1007/3-540-18625-5
40.

電子ブック
ＥＢ
40. STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987. 1st ed. 1987
edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 247
オンライン: https://doi.org/10.1007/BFb0039590
41.

電子ブック
ＥＢ
41. Automata, Languages and Programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings. 1st ed. 1987
edited by Thomas Ottmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 267
オンライン: https://doi.org/10.1007/3-540-18088-5
42.

電子ブック
ＥＢ
42. RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. 1st ed. 1986
edited by Eiichi Goto, Keijiro Araki, Taiichi Yuasa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 220
オンライン: https://doi.org/10.1007/3-540-16470-7
43.

電子ブック
ＥＢ
43. Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings. 1st ed. 1986
edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 242
オンライン: https://doi.org/10.1007/3-540-17184-3
44.

電子ブック
ＥＢ
44. Automata, Languages and Programming : 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings. 1st ed. 1986
edited by Laurent Kott
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 226
オンライン: https://doi.org/10.1007/3-540-16761-7
45.

電子ブック
ＥＢ
45. Structure in Complexity Theory : Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986. 1st ed. 1986
edited by Alan L. Selman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 223
オンライン: https://doi.org/10.1007/3-540-16486-3
46.

電子ブック
ＥＢ
46. Advances in Cryptology : Proceedings of CRYPTO '85. 1st ed. 1986
edited by Hugh C. Williams
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 218
オンライン: https://doi.org/10.1007/3-540-39799-X
47.

電子ブック
ＥＢ
47. VLSI Algorithms and Architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings. 1st ed. 1986
edited by Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 227
オンライン: https://doi.org/10.1007/3-540-16766-8
48.

電子ブック
ＥＢ
48. Applied Algebra, Algorithmics and Error-Correcting Codes : 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings. 1st ed. 1986
edited by Alain Poli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 228
オンライン: https://doi.org/10.1007/3-540-16767-6
49.

電子ブック
ＥＢ
49. Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings. 1st ed. 1986
by Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 241
オンライン: https://doi.org/10.1007/3-540-17179-7
50.

電子ブック
ＥＢ
50. CAAP'86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings. 1st ed. 1986
edited by Paul Franchi-Zannettacci
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 214
オンライン: https://doi.org/10.1007/BFb0022653