1.

電子ブック
ＥＢ
1. Aspects and Prospects of Theoretical Computer Science : 6th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, November 19–23, 1990 Proceedings
edited by Jürgen Dassow, Jozef Kelemen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 464
オンライン: http://dx.doi.org/10.1007/3-540-53414-8
2.

電子ブック
ＥＢ
2. Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings. 1st ed. 1990
edited by Miriam Leeser, Geoffrey Brown
出版情報: New York, NY : Springer New York : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 408
オンライン: https://doi.org/10.1007/0-387-97226-9
3.

電子ブック
ＥＢ
3. Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings. 1st ed. 1990
edited by Kesav V. Nori, C.E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 472
オンライン: https://doi.org/10.1007/3-540-53487-3
4.

電子ブック
ＥＢ
4. A Collection of Test Problems for Constrained Global Optimization Algorithms. 1st ed. 1990
by Christodoulos A. Floudas, Panos M. Pardalos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 455
オンライン: https://doi.org/10.1007/3-540-53032-0
5.

電子ブック
ＥＢ
5. Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings. 1st ed. 1990
edited by Joseph Sifakis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 407
オンライン: https://doi.org/10.1007/3-540-52148-8
6.

電子ブック
ＥＢ
6. Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, Proceedings. 1st ed. 1990
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 411
オンライン: https://doi.org/10.1007/3-540-52292-1
7.

電子ブック
ＥＢ
7. Advances in Cryptology - AUSCRYPT '90 : International Conference on Cryptology Sydney, Australia, January 8-11, 1990. 1st ed. 1990
edited by Jennifer Seberry, Josef Pieprzyk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 453
オンライン: https://doi.org/10.1007/BFb0030344
8.

電子ブック
ＥＢ
8. VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. 1st ed. 1990
edited by Dines Bjørner, C.A.R. Hoare, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 428
オンライン: https://doi.org/10.1007/3-540-52513-0
9.

電子ブック
ＥＢ
9. CONCUR '90: Theories of Concurrency: Unification and Extension : Theories of Concurrency: Unification and Extension. 1st ed. 1990
edited by Joseph C.M. Baeten, Jan W. Klop
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 458
オンライン: https://doi.org/10.1007/BFb0039045
10.

電子ブック
ＥＢ
10. Computer Aided Systems Theory - EUROCAST '89 : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26 - March 4, 1989. Proceedings. 1st ed. 1990
edited by Franz Pichler, Roberto Moreno-Diaz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 410
オンライン: https://doi.org/10.1007/3-540-52215-8
11.

電子ブック
ＥＢ
11. Programming Language Implementation and Logic Programming : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings. 1st ed. 1990
edited by Pierre Deransart, Jan Maluszynski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 456
オンライン: https://doi.org/10.1007/BFb0024171
12.

電子ブック
ＥＢ
12. Advanced Information Systems Engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings. 1st ed. 1990
edited by Bo Steinholtz, Arne Soelvberg, Lars Bergman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 436
オンライン: https://doi.org/10.1007/BFb0000578
13.

電子ブック
ＥＢ
13. Advances in Petri Nets 1989. 1st ed. 1990
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 424
オンライン: https://doi.org/10.1007/3-540-52494-0
14.

電子ブック
ＥＢ
14. Combinatorics on Traces. 1st ed. 1990
by Volker Diekert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 454
オンライン: https://doi.org/10.1007/3-540-53031-2
15.

電子ブック
ＥＢ
15. Mathematical Foundations of Computer Science 1990 : Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings. 1st ed. 1990
edited by Branislav Rovan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 452
オンライン: https://doi.org/10.1007/BFb0029591
16.

電子ブック
ＥＢ
16. Aspects and Prospects of Theoretical Computer Science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings. 1st ed. 1990
edited by Jürgen Dassow, Jozef Kelemen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 464
オンライン: https://doi.org/10.1007/3-540-53414-8
17.

電子ブック
ＥＢ
17. Progress in Distributed Operating Systems and Distributed Systems Management : European Workshop, Berlin, FRG, April 18/19, 1989, Proceedings. 1st ed. 1990
edited by Wolfgang Schröder-Preikschat, Wolfgang Zimmer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 433
オンライン: https://doi.org/10.1007/3-540-52609-9
18.

電子ブック
ＥＢ
18. Automata, Languages and Programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings. 1st ed. 1990
edited by Michael S. Paterson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 443
オンライン: https://doi.org/10.1007/BFb0032016
19.

電子ブック
ＥＢ
19. SWAT '90 : 2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings. 1st ed. 1990
edited by John R. Gilbert, Rolf Karlsson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 447
オンライン: https://doi.org/10.1007/3-540-52846-6
20.

電子ブック
ＥＢ
20. Advances in Computing and Information - ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings. 1st ed. 1990
edited by Selim G. Akl, Frantisek Fiala, Waldemar W. Koczkodaj
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 468
オンライン: https://doi.org/10.1007/3-540-53504-7
21.

電子ブック
ＥＢ
21. STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings. 1st ed. 1990
edited by Christian Choffrut, Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 415
オンライン: https://doi.org/10.1007/3-540-52282-4
22.

電子ブック
ＥＢ
22. Design and Implementation of Symbolic Computation Systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings. 1st ed. 1990
edited by Alfonso Miola
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 429
オンライン: https://doi.org/10.1007/3-540-52531-9
23.

電子ブック
ＥＢ
23. SIL - a Simulation Language : User's Guide. 1st ed. 1990
by Niels Houbak
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 426
オンライン: https://doi.org/10.1007/3-540-52497-5
24.

電子ブック
ＥＢ
24. Efficient Query Processing in Geographic Information Systems. 1st ed. 1990
by Beng Chin Ooi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 471
オンライン: https://doi.org/10.1007/BFb0019984
25.

電子ブック
ＥＢ
25. COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings. 1st ed. 1990
edited by Per Martin-Löf, Grigori Mints
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 417
オンライン: https://doi.org/10.1007/3-540-52335-9
26.

電子ブック
ＥＢ
26. Algorithms : International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990. Proceedings. 1st ed. 1990
edited by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 450
オンライン: https://doi.org/10.1007/3-540-52921-7
27.

電子ブック
ＥＢ
27. CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. 1st ed. 1990
edited by Andre Arnold
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 431
オンライン: https://doi.org/10.1007/3-540-52590-4
28.

電子ブック
ＥＢ
28. Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings. 1st ed. 1990
edited by Irene Guessarian
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 469
オンライン: https://doi.org/10.1007/3-540-53479-2