1.

電子ブック
ＥＢ
1. Algebraic Methods: Theory, Tools and Applications
edited by Martin Wirsing, Jan A. Bergstra
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 394
オンライン: http://dx.doi.org/10.1007/BFb0015032
2.

電子ブック
ＥＢ
2. Error Detection and Recovery in Robotics
by Bruce R. Donald
出版情報: New York, NY : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 336
オンライン: http://dx.doi.org/10.1007/BFb0039640
3.

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

電子ブック
ＥＢ
4. Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
by Joachim Beer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 404
オンライン: http://dx.doi.org/10.1007/3-540-52053-8
5.

電子ブック
ＥＢ
5. Foundations of Equational Logic Programming
edited by Steffen Hölldobler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 353
オンライン: http://dx.doi.org/10.1007/BFb0015791
6.

電子ブック
ＥＢ
6. Algorithms and Data Structures : Workshop WADS '89 Ottawa, Canada, August 17–19, 1989 Proceedings
edited by F. Dehne, J. -R. Sack, N. Santoro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 382
オンライン: http://dx.doi.org/10.1007/3-540-51542-9
7.

電子ブック
ＥＢ
7. TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
edited by Josep Díaz, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 351
オンライン: http://dx.doi.org/10.1007/3-540-50939-9
8.

電子ブック
ＥＢ
8. Electronic Dictionaries and Automata in Computational Linguistics : LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25–29, 1987 Proceedings
edited by Maurice Gross, Dominique Perrin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 377
オンライン: http://dx.doi.org/10.1007/3-540-51465-1
9.

電子ブック
ＥＢ
9. Temporal Logic in Specification : Altrincham, UK, April 8–10, 1987 Proceedings
edited by B. Banieqbal, H. Barringer, A. Pnueli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 398
オンライン: http://dx.doi.org/10.1007/3-540-51803-7
10.

電子ブック
ＥＢ
10. Mathematics of Program Construction : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
edited by J. L. A. Snepscheut
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 375
オンライン: http://dx.doi.org/10.1007/3-540-51305-1
11.

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

電子ブック
ＥＢ
12. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 5th International Conference, AAECC-5 Menorca, Spain, June 15–19, 1987 Proceedings
edited by Llorenç Huguet, Alain Poli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 356
オンライン: http://dx.doi.org/10.1007/3-540-51082-6
13.

電子ブック
ＥＢ
13. Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings
edited by C. E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 405
オンライン: http://dx.doi.org/10.1007/3-540-52048-1
14.

電子ブック
ＥＢ
14. Geometry and Robotics : Workshop, Toulouse, France, May 26–28, 1988 Proceedings
edited by J. -D. Boissonnat, J. -P. Laumond
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 391
オンライン: http://dx.doi.org/10.1007/3-540-51683-2
15.

電子ブック
ＥＢ
15. Local Area Network Security : Workshop LANSEC '89 European Institute for System Security (E.I.S.S.) Karlsruhe, FRG, April 3–6, 1989 Proceedings
edited by Thomas A. Berson, Thomas Beth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 396
オンライン: http://dx.doi.org/10.1007/3-540-51754-5
16.

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

電子ブック
ＥＢ
17. Recent Issues in Pattern Analysis and Recognition
edited by Virginio Cantoni, Reiner Creutzburg, Stefano Levialdi, G. Wolf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 399
オンライン: http://dx.doi.org/10.1007/3-540-51815-0
18.

電子ブック
ＥＢ
18. Nested Relations and Complex Objects in Databases
edited by S. Abiteboul, P. C. Fischer, H. -J. Schek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 361
オンライン: http://dx.doi.org/10.1007/3-540-51171-7
19.

電子ブック
ＥＢ
19. Categorical Methods in Computer Science With Aspects from Topology
edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 393
オンライン: http://dx.doi.org/10.1007/3-540-51722-7
20.

電子ブック
ＥＢ
20. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 354
オンライン: http://dx.doi.org/10.1007/BFb0013019
21.

電子ブック
ＥＢ
21. Compositionality, Concurrency and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship
by Job Zwiers
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 321
オンライン: http://dx.doi.org/10.1007/BFb0020836
22.

電子ブック
ＥＢ
22. Non-Monotonic Reasoning : 2nd International Workshop Grassau, FRG, June 13–15, 1988 Proceedings
edited by M. Reinfrank, J. Kleer, M. L. Ginsberg, E. Sandewall
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 346
オンライン: http://dx.doi.org/10.1007/3-540-50701-9
23.

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

電子ブック
ＥＢ
24. PARLE '89 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 12–16, 1989 Proceedings
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 365
オンライン: http://dx.doi.org/10.1007/3-540-51284-5
25.

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

電子ブック
ＥＢ
26. Software Engineering Education : SEI Conference 1989 Pittsburgh, Pennsylvania, USA, July 18–21, 1989 Proceedings
edited by Norman E. Gibbs
出版情報: New York, NY : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 376
オンライン: http://dx.doi.org/10.1007/BFb0042344
27.

電子ブック
ＥＢ
27. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16–18, 1989 Proceedings
edited by B. Monien, R. Cori
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 349
オンライン: http://dx.doi.org/10.1007/BFb0028968
28.

電子ブック
ＥＢ
28. CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 385
オンライン: http://dx.doi.org/10.1007/BFb0026291
29.

電子ブック
ＥＢ
29. MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems Visegrád, Hungary, June 26–30, 1989 Proceedings
edited by János Demetrovics, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 364
オンライン: http://dx.doi.org/10.1007/3-540-51251-9
30.

電子ブック
ＥＢ
30. Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings
edited by Klaus P. Jantke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 397
オンライン: http://dx.doi.org/10.1007/3-540-51734-0
31.

電子ブック
ＥＢ
31. Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings
edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 389
オンライン: http://dx.doi.org/10.1007/BFb0018340
32.

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

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

電子ブック
ＥＢ
34. Modified Branching Programs and Their Computational Power
by Christoph Meinel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 370
オンライン: http://dx.doi.org/10.1007/BFb0017563
35.

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

電子ブック
ＥＢ
36. Logic Programming '88 : Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988
edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 383
オンライン: http://dx.doi.org/10.1007/3-540-51564-X
37.

電子ブック
ＥＢ
37. Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings
edited by J. Csirik, J. Demetrovics, F. Gécseg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 380
オンライン: http://dx.doi.org/10.1007/3-540-51498-8
38.

電子ブック
ＥＢ
38. PARLE '89 Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, The Netherlands, June 12–16, 1989 Proceedings
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 366
オンライン: http://dx.doi.org/10.1007/3-540-51285-3
39.

電子ブック
ＥＢ
39. Parallel Computing 1988 : Shell Conference Amsterdam, The Netherlands, June 1/2, 1988 Proceedings
edited by G. A. Zee, J. G. G. Vorst
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 384
オンライン: http://dx.doi.org/10.1007/3-540-51604-2
40.

電子ブック
ＥＢ
40. Statistical and Scientific Database Management : Fourth International Working Conference SSDBM Rome, Italy, June 21–23, 1988 Proceedings
edited by Maurizio Rafanelli, John C. Klensin, Per Svensson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 339
オンライン: http://dx.doi.org/10.1007/BFb0027501
41.

電子ブック
ＥＢ
41. Coding Theory and Applications : 3rd International Colloquium Toulon, France, November 2–4, 1988 Proceedings
edited by Gérard Cohen, Jacques Wolfmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 388
オンライン: http://dx.doi.org/10.1007/BFb0019841
42.

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

電子ブック
ＥＢ
43. Interactive Relational Database Design : A Logic Programming Implementation
edited by Tapan P. Bagchi, Vinay K. Chaudhri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 402
オンライン: http://dx.doi.org/10.1007/BFb0019944
44.

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

電子ブック
ＥＢ
45. Programming Languages Implementation and Logic Programming : International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings
edited by P. Deransart, B. Lorho, J. Małuszyński
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 348
オンライン: http://dx.doi.org/10.1007/3-540-50820-1
46.

電子ブック
ＥＢ
46. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 6th International Conference, AAECC-6 Rome, Italy, July 4–8, 1988 Proceedings
edited by Teo Mora
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 357
オンライン: http://dx.doi.org/10.1007/3-540-51083-4
47.

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

電子ブック
ＥＢ
48. Foundations of Data Organization and Algorithms : 3rd International Conference, FODO 1989 Paris, France, June 21–23, 1989 Proceedings
edited by Witold Litwin, Hans-Jörg Schek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 367
オンライン: http://dx.doi.org/10.1007/3-540-51295-0
49.

電子ブック
ＥＢ
49. Database Machines : Sixth International Workshop, IWDM '89 Deauville, France, June 19–21, 1989 Proceedings
edited by Haran Boral, Pascal Faudemay
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 368
オンライン: http://dx.doi.org/10.1007/3-540-51324-8
50.

電子ブック
ＥＢ
50. Computational Aspects of an Order-Sorted Logic with Term Declarations
edited by M. Schmidt-Schauß
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 395
オンライン: http://dx.doi.org/10.1007/BFb0024065