1.

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

電子ブック
ＥＢ
2. Petri Nets: Applications and Relationships to Other Models of Concurrency : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
edited by W. Brauer, W. Reisig, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 255
オンライン: http://dx.doi.org/10.1007/3-540-17906-2
3.

電子ブック
ＥＢ
3. Advances in Petri Nets 1987
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 266
オンライン: http://dx.doi.org/10.1007/3-540-18086-9
4.

電子ブック
ＥＢ
4. PARLE Parallel Architectures and Languages Europe : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
edited by J. W. Bakker, A. J. Nijman, P. C. Treleaven
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 258
オンライン: http://dx.doi.org/10.1007/3-540-17943-7
5.

電子ブック
ＥＢ
5. Lectures on the Complexity of Bilinear Problems
by Hans F. Groote
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 245
オンライン: http://dx.doi.org/10.1007/BFb0020719
6.

電子ブック
ＥＢ
6. Visualization in Programming : 5th Interdisciplinary Workshop in Informatics and Psychology Schärding, Austria, May 20–23, 1986
edited by Peter Gorny, Michael J. Tauber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 282
オンライン: http://dx.doi.org/10.1007/3-540-18507-0
7.

電子ブック
ＥＢ
7. ESEC '87 : 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings
edited by Howard Nichols, Dan Simpson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 289
オンライン: http://dx.doi.org/10.1007/BFb0022092
8.

電子ブック
ＥＢ
8. Logic Programming '86 : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986
edited by Eiiti Wada
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 264
オンライン: http://dx.doi.org/10.1007/3-540-18024-9
9.

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

電子ブック
ＥＢ
10. ANNA A Language for Annotating Ada Programs
edited by David C. Luckham, Friedrich W. Henke, Bernd Krieg-Brückner, Olaf Owe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 260
オンライン: http://dx.doi.org/10.1007/3-540-17980-1
11.

電子ブック
ＥＢ
11. TAPSOFT '87 : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 249
オンライン: http://dx.doi.org/10.1007/3-540-17660-8
12.

電子ブック
ＥＢ
12. Unobstructed Shortest Paths in Polyhedral Environments
by Varol Akman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 251
オンライン: http://dx.doi.org/10.1007/3-540-17629-2
13.

電子ブック
ＥＢ
13. Functional Programming Languages and Computer Architecture : Portland, Oregon, USA, September 14–16, 1987 Proceedings
edited by Gilles Kahn
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 274
オンライン: http://dx.doi.org/10.1007/3-540-18317-5
14.

電子ブック
ＥＢ
14. TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 250
オンライン: http://dx.doi.org/10.1007/BFb0014968
15.

電子ブック
ＥＢ
15. Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986
edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 291
オンライン: http://dx.doi.org/10.1007/3-540-18771-5
16.

電子ブック
ＥＢ
16. A Connotational Theory of Program Structure
by James S. Royer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 273
オンライン: http://dx.doi.org/10.1007/3-540-18253-5
17.

電子ブック
ＥＢ
17. Uncertainty in Knowledge-Based Systems : International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, June 30 – July 4, 1986 Selected and Extended Contributions
edited by B. Bouchon, R. R. Yager
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 286
オンライン: http://dx.doi.org/10.1007/3-540-18579-8
18.

電子ブック
ＥＢ
18. STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings
edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 247
オンライン: http://dx.doi.org/10.1007/BFb0039590
19.

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

電子ブック
ＥＢ
20. Database Machine Performance: Modeling Methodologies and Evaluation Strategies
edited by Francesca Cesarini, Silvio Salza
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 257
オンライン: http://dx.doi.org/10.1007/3-540-17942-9
21.

電子ブック
ＥＢ
21. From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions
by Dominique Snyers, André Thayse
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 271
オンライン: http://dx.doi.org/10.1007/3-540-18217-9
22.

電子ブック
ＥＢ
22. Category Theory and Computer Science : Edinburgh, U.K., September 7–9, 1987 Proceedings
edited by David H. Pitt, Axel Poigné, David E. Rydeheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 283
オンライン: http://dx.doi.org/10.1007/3-540-18508-9
23.

電子ブック
ＥＢ
23. Future Parallel Computers : An Advanced Course Pisa, Italy, June 9–20, 1986 Proceedings
edited by P. Treleaven, M. Vanneschi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 272
オンライン: http://dx.doi.org/10.1007/3-540-18203-9
24.

電子ブック
ＥＢ
24. Translating Relational Queries into Iterative Programs
by Johann Christoph Freytag
出版情報: Berlin, Heidelberg : Johann Christoph Freytag, 1987
シリーズ名: Lecture Notes in Computer Science ; 261
オンライン: http://dx.doi.org/10.1007/BFb0055115
25.

電子ブック
ＥＢ
25. The Munich Project CIP : Volume II: The Program Transformation System CIP-S
edited by F. L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 292
オンライン: http://dx.doi.org/10.1007/3-540-18779-0
26.

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

電子ブック
ＥＢ
27. PARLE Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
edited by J. W. Bakker, A. J. Nijman, P. C. Treleaven
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 259
オンライン: http://dx.doi.org/10.1007/3-540-17945-3
28.

電子ブック
ＥＢ
28. Trends, Techniques, and Problems in Theoretical Computer Science : 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions
edited by Alica Kelemenová, Jozef Kelemen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 281
オンライン: http://dx.doi.org/10.1007/3-540-18535-6
29.

電子ブック
ＥＢ
29. Rewriting Techniques and Applications : Bordeaux, France, May 25–27, 1987 Proceedings
edited by Pierre Lescanne
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 256
オンライン: http://dx.doi.org/10.1007/3-540-17220-3
30.

電子ブック
ＥＢ
30. Petri Nets: Central Models and Their Properties : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8–19 September 1986
edited by W. Brauer, W. Reisig, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 254
オンライン: http://dx.doi.org/10.1007/BFb0046832
31.

電子ブック
ＥＢ
31. Analogical and Inductive Inference : International Workshop All '86 Wendisch-Rietz, GDR, October 6–10, 1986 Proceedings
edited by Klaus P. Jantke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 265
オンライン: http://dx.doi.org/10.1007/3-540-18081-8
32.

電子ブック
ＥＢ
32. A Review of Ada Tasking
edited by Alan Burns, Andrew M. Lister, Andrew J. Wellings
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 262
オンライン: http://dx.doi.org/10.1007/3-540-18008-7
33.

電子ブック
ＥＢ
33. MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
by Andrzej Blikle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 288
オンライン: http://dx.doi.org/10.1007/3-540-18657-3
34.

電子ブック
ＥＢ
34. Networking in Open Systems : International Seminar Oberlech, Austria, August 18–22, 1986 Proceedings
edited by Günter Müller, Robert P. Blanc
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 248
オンライン: http://dx.doi.org/10.1007/BFb0026949
35.

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

電子ブック
ＥＢ
36. Systems of Reductions
by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 277
オンライン: http://dx.doi.org/10.1007/3-540-18598-4
37.

電子ブック
ＥＢ
37. Embedded Systems : New Approaches to Their Formal Description and Design An Advanced Course Zürich, Switzerland, March 5–7, 1986
edited by A. Kündig, R. E. Bührer, J. Dähler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 284
オンライン: http://dx.doi.org/10.1007/BFb0016343
38.

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

電子ブック
ＥＢ
39. Co-oP : A Group Decision Support System for Cooperative Multiple Criteria Group Decision Making
by Tung X. Bui
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 290
オンライン: http://dx.doi.org/10.1007/3-540-18753-7
40.

電子ブック
ＥＢ
40. WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology : Proceedings of a Workshop Neubiberg, Federal Republic of Germany, July 2–4, 1986
edited by Jörg D. Becker, Ignaz Eisele
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 253
オンライン: http://dx.doi.org/10.1007/3-540-18022-2
41.

電子ブック
ＥＢ
41. VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
edited by Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 252
オンライン: http://dx.doi.org/10.1007/3-540-17654-3
42.

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

電子ブック
ＥＢ
43. Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings
edited by Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 278
オンライン: http://dx.doi.org/10.1007/3-540-18740-5
44.

電子ブック
ＥＢ
44. Advances in Cryptology — CRYPTO’ 86 : Proceedings
edited by Andrew M. Odlyzko
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1987
シリーズ名: Lecture Notes in Computer Science ; 263
オンライン: http://dx.doi.org/10.1007/3-540-47721-7
45.

電子ブック
ＥＢ
45. ECOOP’ 87 European Conference on Object-Oriented Programming : Paris, France, June 15–17, 1987 Proceedings
edited by Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1987
シリーズ名: Lecture Notes in Computer Science ; 276
オンライン: http://dx.doi.org/10.1007/3-540-47891-4
46.

電子ブック
ＥＢ
46. Manifolds with Cusps of Rank One : Spectral Theory and L2-Index Theorem. 1st ed. 1987
by Werner Müller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Mathematics ; 1244
オンライン: https://doi.org/10.1007/BFb0077660