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. Graph-Theoretic Concepts in Computer Science : International Workshop WG '88 Amsterdam, The Netherlands, June 15–17, 1988 Proceedings
edited by J. Leeuwen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 344
オンライン: http://dx.doi.org/10.1007/3-540-50728-0
10.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
46. Global Optimization
edited by Aimo Törn, Antanas Žilinskas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 350
オンライン: http://dx.doi.org/10.1007/3-540-50871-6
47.

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

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

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

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

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

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

電子ブック
ＥＢ
53. Knowledge Representation and Organization in Machine Learning
edited by Katharina Morik
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 347
オンライン: http://dx.doi.org/10.1007/BFb0017213
54.

電子ブック
ＥＢ
54. Parcella '88 : Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays Berlin, GDR, October 17–21, 1988 Proceedings
edited by Gottfried Wolf, Tamáas Legendi, Udo Schendel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 342
オンライン: http://dx.doi.org/10.1007/3-540-50647-0
55.

電子ブック
ＥＢ
55. EPIA 89 : 4th Portuguese Conference on Artificial Intelligence Lisbon, Portugal, September 26–29, 1989 Proceedings
edited by J. P. Martins, E. M. Morgado
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 390
オンライン: http://dx.doi.org/10.1007/3-540-51665-4
56.

電子ブック
ＥＢ
56. Computer Assisted Learning : 2nd International Conference, ICCAL '89 Dallas, TX, USA, May 9–11, 1989 Proceedings
edited by Hermann Maurer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 360
オンライン: http://dx.doi.org/10.1007/3-540-51142-3
57.

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

電子ブック
ＥＢ
58. The Cray X-MP/Model 24 : A Case Study in Pipelined Architecture and Vector Processing
by Kay A. Robbins, Steven Robbins
出版情報: New York, NY : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 374
オンライン: http://dx.doi.org/10.1007/BFb0040661
59.

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

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

電子ブック
ＥＢ
61. Algorithms for Parallel Polygon Rendering
edited by T. Theoharis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 373
オンライン: http://dx.doi.org/10.1007/3-540-51394-9
62.

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

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

電子ブック
ＥＢ
64. Rewriting Techniques and Applications : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
edited by Nachum Dershowitz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 355
オンライン: http://dx.doi.org/10.1007/3-540-51081-8
65.

電子ブック
ＥＢ
65. New Methods and Results in Non-linear Field Equations : Proceedings of a Conference Held at the University of Bielefeld, Federal Republic of Germany, 7–10 July 1987. 1st ed. 1989
edited by Philippe Blanchard, Joao-Paulo Dias, Joachim Stubbe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Physics ; 347
オンライン: https://doi.org/10.1007/BFb0025757
66.

電子ブック
ＥＢ
66. Gravitational Lenses : Proceedings of a Conference Held at the Massachusetts Institute of Technology, Cambridge, Massachusetts, in Honour of Bernard F. Burke’s 60th Birthday, June 20, 1988. 1st ed. 1989
edited by James M. Moran, Jacqueline N. Hewitt, Kwok-Yung Lo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Physics ; 330
オンライン: https://doi.org/10.1007/3-540-51061-3
67.

電子ブック
ＥＢ
67. White Dwarfs : Proceedings of IAU Colloquium No. 114, Held at Dartmouth College, Hanover, New Hampshire, USA, August 15–19, 1988. 1st ed. 1989
edited by Gary Wegner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Physics ; 328
オンライン: https://doi.org/10.1007/3-540-51031-1
68.

電子ブック
ＥＢ
68. Dirac Kets, Gamow Vectors and Gel’fand Triplets : The Rigged Hilbert Space Formulation of Quantum Mechanics. Lectures in Mathematical Physics at the University of Texas at Austin. 1st ed. 1989
by Arno Bohm, Manuel Gadella ; edited by Arno Bohm, J.D. Dollard
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Physics ; 348
オンライン: https://doi.org/10.1007/3-540-51916-5
69.

電子ブック
ＥＢ
69. Error Detection and Recovery in Robotics. 1st ed. 1989
by Bruce R. Donald
出版情報: New York, NY : Springer New York : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 336
オンライン: https://doi.org/10.1007/BFb0039640
70.

電子ブック
ＥＢ
70. Programming Languages Implementation and Logic Programming : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings. 1st ed. 1989
edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 348
オンライン: https://doi.org/10.1007/3-540-50820-1
71.

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

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

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

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

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

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

電子ブック
ＥＢ
77. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988. 1st ed. 1989
edited by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 354
オンライン: https://doi.org/10.1007/BFb0013019
78.

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

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

電子ブック
ＥＢ
80. Analogical and Inductive Inference : International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings. 1st ed. 1989
edited by Klaus P. Jantke
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Artificial Intelligence ; 397
オンライン: https://doi.org/10.1007/3-540-51734-0
81.

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

電子ブック
ＥＢ
82. Computational Aspects of an Order-Sorted Logic with Term Declarations. 1st ed. 1989
by Manfred Schmidt-Schauß
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Artificial Intelligence ; 395
オンライン: https://doi.org/10.1007/BFb0024065
83.

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

電子ブック
ＥＢ
84. Geometry and Robotics : Workshop, Toulouse, France, May 26-28, 1988. Proceedings. 1st ed. 1989
edited by Jean-Daniel Boissonnat, Jean-Paul Laumond
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 391
オンライン: https://doi.org/10.1007/3-540-51683-2
85.

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
93. The Cray X-MP/Model 24 : A Case Study in Pipelined Architecture and Vector Processing. 1st ed. 1989
by Kay A. Robbins, Steven Robbins
出版情報: New York, NY : Springer New York : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 374
オンライン: https://doi.org/10.1007/BFb0040661
94.

電子ブック
ＥＢ
94. TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL). 1st ed. 1989
edited by Josep Diaz, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 352
オンライン: https://doi.org/10.1007/3-540-50940-2
95.

電子ブック
ＥＢ
95. Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings. 1st ed. 1989
edited by Behnam Banieqbal, Howard Barringer, Amir Pnueli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 398
オンライン: https://doi.org/10.1007/3-540-51803-7
96.

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

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

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

電子ブック
ＥＢ
99. Graph-Theoretic Concepts in Computer Science : International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings. 1st ed. 1989
edited by Jan van Leeuwen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 344
オンライン: https://doi.org/10.1007/3-540-50728-0
100.

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