1.

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
13. Compiler Compilers and High Speed Compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988. Proceedings. 1st ed. 1989
edited by Dieter Hammer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 371
オンライン: https://doi.org/10.1007/3-540-51364-7
14.

電子ブック
ＥＢ
14. Interactive Relational Database Design : A Logic Programming Implementation. 1st ed. 1989
by Tapan P. Bagchi, Vinay K. Chaudhri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 402
オンライン: https://doi.org/10.1007/BFb0019944
15.

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

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

電子ブック
ＥＢ
17. Foundations of Equational Logic Programming. 1st ed. 1989
by Steffen Hölldobler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Artificial Intelligence ; 353
オンライン: https://doi.org/10.1007/BFb0015791
18.

電子ブック
ＥＢ
18. Algorithms for Parallel Polygon Rendering. 1st ed. 1989
by Theoharis Theoharis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 373
オンライン: https://doi.org/10.1007/3-540-51394-9
19.

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

電子ブック
ＥＢ
20. Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings. 1st ed. 1989
edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 389
オンライン: https://doi.org/10.1007/BFb0018340
21.

電子ブック
ＥＢ
21. ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings. 1st ed. 1989
edited by Carlo Ghezzi, John A. McDermid
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 387
オンライン: https://doi.org/10.1007/3-540-51635-2
22.

電子ブック
ＥＢ
22. Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers. 1st ed. 1988
edited by Donald Sannella
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 332
オンライン: https://doi.org/10.1007/3-540-50325-0
23.

電子ブック
ＥＢ
23. Supercomputing : 1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings. 1st ed. 1988
edited by Elias N. Houstis, Theodore S. Papatheodorou, Constantine D. Polychronopoulos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 297
オンライン: https://doi.org/10.1007/3-540-18991-2
24.

電子ブック
ＥＢ
24. ESOP '88 : 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings. 1st ed. 1988
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 300
オンライン: https://doi.org/10.1007/3-540-19027-9
25.

電子ブック
ＥＢ
25. Attribute Grammar Inversion and Source-to-source Translation. 1st ed. 1988
by Daniel M. Yellin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 302
オンライン: https://doi.org/10.1007/3-540-19072-4
26.

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

電子ブック
ＥＢ
27. PORTAL Language Description. 2nd ed. 1988
by Arnold Businger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 198
オンライン: https://doi.org/10.1007/3-540-18960-2
28.

電子ブック
ＥＢ
28. ANNA A Language for Annotating Ada Programs : Reference Manual. 1st ed. 1987
by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 260
オンライン: https://doi.org/10.1007/3-540-17980-1
29.

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

電子ブック
ＥＢ
30. Semantics of Digital Circuits. 1st ed. 1987
by Carlos Delgado Kloos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 285
オンライン: https://doi.org/10.1007/3-540-18540-2
31.

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

電子ブック
ＥＢ
32. ECOOP '87. European Conference on Object-Oriented Programming : Paris, France, June 15-17, 1987. Proceedings. 1st ed. 1987
edited by Jean Bezivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 276
オンライン: https://doi.org/10.1007/3-540-47891-4
33.

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

電子ブック
ＥＢ
34. PARLE Parallel Architectures and Languages Europe : Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings. 1st ed. 1987
edited by Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 259
オンライン: https://doi.org/10.1007/3-540-17945-3
35.

電子ブック
ＥＢ
35. PARLE Parallel Architectures and Languages Europe : Vol.1: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings. 1st ed. 1987
edited by Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 258
オンライン: https://doi.org/10.1007/3-540-17943-7
36.

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

電子ブック
ＥＢ
37. MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics. 1st ed. 1987
by Andrzej Blikle ; edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 288
オンライン: https://doi.org/10.1007/3-540-18657-3
38.

電子ブック
ＥＢ
38. The Munich Project CIP : Volume II: The Programme Transformation System CIP-S. 1st ed. 1987
SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 292
オンライン: https://doi.org/10.1007/3-540-18779-0
39.

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

電子ブック
ＥＢ
40. Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985. 1st ed. 1986
edited by Eiiti Wada
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 221
オンライン: https://doi.org/10.1007/3-540-16479-0
41.

電子ブック
ＥＢ
41. Negation and Control in Prolog. 1st ed. 1986
by Lee Naish
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 238
オンライン: https://doi.org/10.1007/BFb0021681
42.

電子ブック
ＥＢ
42. Paragon : A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types. 1st ed. 1985
by Mark S. Sherman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 189
オンライン: https://doi.org/10.1007/3-540-15212-1
43.

電子ブック
ＥＢ
43. A Study in String Processing Languages. 1st ed. 1985
by Paul Klint
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 205
オンライン: https://doi.org/10.1007/3-540-16041-8
44.

電子ブック
ＥＢ
44. A Survey of Verification Techniques for Parallel Programs. 1st ed. 1985
by Howard Barringer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 191
オンライン: https://doi.org/10.1007/3-540-15239-3
45.

電子ブック
ＥＢ
45. Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE). 1st ed. 1985
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 186
オンライン: https://doi.org/10.1007/3-540-15199-0
46.

電子ブック
ＥＢ
46. The Munich Project CIP : Volume I: The Wide Spectrum Language CIP-L. 1st ed. 1985
SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 183
オンライン: https://doi.org/10.1007/3-540-15187-7
47.

電子ブック
ＥＢ
47. Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings. 1st ed. 1984
edited by G. Kahn, D.B. MacQueen, G. Plotkin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 173
オンライン: https://doi.org/10.1007/3-540-13346-1
48.

電子ブック
ＥＢ
48. Programming Languages and their Definition : Selected Papers. 1st ed. 1984
by H. Bekic ; edited by C. B. Jones
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 177
オンライン: https://doi.org/10.1007/BFb0048933
49.

電子ブック
ＥＢ
49. Ada Software Tools Interfaces : Workshop, Bath, July 13-15, 1983. Proceedings. 1st ed. 1984
edited by Peter J. L. Wallis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 180
オンライン: https://doi.org/10.1007/3-540-13878-1
50.

電子ブック
ＥＢ
50. Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings. 1st ed. 1984
edited by J. Paredaens
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 172
オンライン: https://doi.org/10.1007/3-540-13345-3