1.

電子ブック
ＥＢ
1. Contributions to Antarctic research
American Geophysical Union.
出版情報: 1990, 9999.  1 online resource (volumes <1-2>) 
シリーズ名: Antarctic research series ; v. 50, 53
オンライン: https://doi.org/10.1029/AR050
2.

電子ブック
ＥＢ
2. Sea-level change
Geophysics Study Committee, Commission on Physical Sciences, Mathematics, and Resources, National Research Council
出版情報: Washington, D.C. : National Academy Press, 1990
シリーズ名: Studies in geophysics ;
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=14739
3.

電子ブック
ＥＢ
3. The conning, the cunning of being : being a Kierkegaardian demonstration of the postmodern implosion of metaphysical sense in Aristotle and the early Heidegger
Pat Bigelow
出版情報: Tallahassee, Fla. : Florida State University Press, ©1990
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=20692
4.

電子ブック
ＥＢ
4. Coaching volleyball successfully : the USAV Coaching Accreditation Program and American Sport Education Program leader level volleyball book
William J. Neville
出版情報: Champaign, Ill. : Human Kinetics, ©1990
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=28599
5.

電子ブック
ＥＢ
5. Semantic structures
Ray Jackendoff
出版情報: Cambridge, Mass. : MIT Press, ©1990
シリーズ名: Current studies in linguistics ; ; 18
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=49706
6.

電子ブック
ＥＢ
6. Oceanography and marine biology. an annual review (electronic bk.)
[edited by] Harold Barnes and Margaret Barnes
出版情報: Aberdeen : Aberdeen University Press, 1990
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=70775
7.

電子ブック
ＥＢ
7. Estuarine water quality management : monitoring, modelling, and research
W. Michaelis, ed
出版情報: 1990.  1 online resource (xv, 478 pages) 
シリーズ名: Coastal and estuarine studies ; 36
オンライン: https://doi.org/10.1029/CE036
8.

電子ブック
ＥＢ
8. Mineral resources potential of Antarctica
John F. Splettstoesser, Gisela A.M. Dreschhoff, editors
出版情報: 1990.  1 online resource (xii, 310 pages) 
シリーズ名: Antarctic research series ; v. 51
オンライン: https://doi.org/10.1029/AR051
9.

電子ブック
ＥＢ
9. Quo vadimus : geophysics for the next generation
George D. Garland, John R. Apel, editors
出版情報: 1990.  1 online resource (xvi, 113 pages) 
シリーズ名: Geophysical monograph ; 60
IUGG ; v. 10
オンライン: https://doi.org/10.1029/GM060
10.

電子ブック
ＥＢ
10. Antarctic siphonophores from plankton samples of the United States Antarctic Research Program : ELTANIN cruises for spring, summer, fall, and winter (cruises 3-5,8-23,25-28,30,35,and 38)
Angeles Alvariño, Joan M. Wojtan, and M. Rachel Martinez
出版情報: 1990.  1 online resource (xi, 436 pages) 
シリーズ名: Antarctic research series ; v. 49
Biology of the Antarctic Seas ; 20
オンライン: https://doi.org/10.1029/AR049
11.

電子ブック
ＥＢ
11. Vincit veritas : a portrait of the life and work of Norman Abraham Haskell, 1905-1970
Ari Ben-Menahem, editor
出版情報: 1990.  1 online resource (xvii, 200 pages) 
オンライン: https://doi.org/10.1029/SP030
12.

電子ブック
ＥＢ
12. Geology of the USSR : a plate-tectonic synthesis
Lev P. Zonenshain, Michael I. Kuzmin, Lev M. Natapov ; edited by Benjamin M. Page
出版情報: 1990.  1 online resource (xv, 242 pages) 
シリーズ名: Geodynamics series ; v. 21
オンライン: https://doi.org/10.1029/GD021
13.

電子ブック
ＥＢ
13. The Brittle-ductile transition in rocks : the Heard volume
A.G. Duba [and others], editors
出版情報: 1990.  1 online resource (xii, 243 pages) 
シリーズ名: Geophysical monograph ; v. 56
オンライン: https://doi.org/10.1029/GM056
14.

電子ブック
ＥＢ
14. Geophysics news 1990
Debra Knopman, editor
出版情報: 1990.  1 online resource (25 pages) 
オンライン: https://doi.org/10.1029/SP029
15.

電子ブック
ＥＢ
15. History of Geophysics : Volume 4
C.S. Gillmor
出版情報: 1990.  1 online resource (x, 289 pages) 
シリーズ名: History of geophysics ; vol. 4
オンライン: https://doi.org/10.1029/HG004
16.

電子ブック
ＥＢ
16. Variations in Earth rotation
Dennis D. McCarthy, William E. Carter, editors
出版情報: 1990.  1 online resource (x, 205 pages) 
シリーズ名: Geophysical monograph ; 59
IUGG ; v. 9
オンライン: https://doi.org/10.1029/GM059
17.

電子ブック
ＥＢ
17. Enclosed experimental marine ecosystems : a review and recommendations : a contribution of the Scientific Committee on Oceanic Research Working Group 85
C.M. Lalli (ed.)
出版情報: 1990.  1 online resource (x, 218 pages) 
シリーズ名: Coastal and estuarine studies ; 37
オンライン: https://doi.org/10.1029/CE037
18.

電子ブック
ＥＢ
18. Volcanoes of the Antarctic plate and southern oceans
W.E. LeMasurier and J.W. Thomson, editors ; P.E. Baker [and others], associate editors
出版情報: 1990.  1 online resource (xix, 487 pages) 
シリーズ名: Antarctic research series ; v. 48
オンライン: https://doi.org/10.1029/AR048
19.

電子ブック
ＥＢ
19. Biology of the Antarctic Seas XXI
Louis S. Kornicker, editor
出版情報: 1990.  1 online resource (236 pages) 
シリーズ名: Antarctic research series ; v. 52
Biology of the Antarctic Seas ; 21
オンライン: https://doi.org/10.1029/AR052
20.

電子ブック
ＥＢ
20. Oceanography of a large-scale estuarine system : the St. Lawrence
Mohammed I. El-Sabh, Norman Silverberg (eds.)
出版情報: 1990.  1 online resource (x, 434 pages) 
シリーズ名: Coastal and estuarine studies ; 39
オンライン: https://doi.org/10.1029/CE039
21.

電子ブック
ＥＢ
21. Residual currents and long-term transport
R.T. Cheng (ed.)
出版情報: 1990.  1 online resource (xi, 544 pages) 
シリーズ名: Coastal and estuarine studies ; 38
オンライン: https://doi.org/10.1029/CE038
22.

電子ブック
ＥＢ
22. The Ross Ice Shelf : glaciology and geophysics
Charles R. Bentley and Dennis E. Hayes, editor
出版情報: 1990.  1 online resource (126 p.) 
シリーズ名: Antarctic research series ; v. 42
オンライン: https://agupubs.onlinelibrary.wiley.com/doi/book/10.1029/AR042
23.

電子ブック
ＥＢ
23. Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings
edited by Karl Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 418
オンライン: http://dx.doi.org/10.1007/3-540-52337-6
24.

電子ブック
ＥＢ
24. Mathematical Foundations of Computer Science 1990 : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings
edited by Branislav Rovan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 452
オンライン: http://dx.doi.org/10.1007/BFb0029591
25.

電子ブック
ＥＢ
25. Mathematical Foundations of Programming Semantics : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings
edited by M. Main, A. Melton, M. Mislove, D. Schmidt
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 442
オンライン: http://dx.doi.org/10.1007/BFb0040251
26.

電子ブック
ＥＢ
26. 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
edited by F. Pichler, R. Moreno-Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 410
オンライン: http://dx.doi.org/10.1007/3-540-52215-8
27.

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

電子ブック
ＥＢ
28. Software Engineering Education : SEI Conference 1990 Pittsburgh, Pennsylvania, USA, April 2–3, 1990 Proceedings
edited by Lionel E. Deimel
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 423
オンライン: http://dx.doi.org/10.1007/BFb0040434
29.

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

電子ブック
ＥＢ
30. Advances in Cryptology — EUROCRYPT ’89 : Workshop on the Theory and Application of Cryptographic Techniques Houthalen, Belgium, April 10–13, 1989 Proceedings
edited by Jean-Jacques Quisquater, Joos Vandewalle
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1990
シリーズ名: Lecture Notes in Computer Science ; 434
オンライン: http://dx.doi.org/10.1007/3-540-46885-4
31.

電子ブック
ＥＢ
31. Parallel Lisp: Languages and Systems : US/Japan Workshop on Parallel Lisp Sendai, Japan, June 5–8, 1989 Proceedings
edited by Takayasu Ito, Robert H. Halstead
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 441
オンライン: http://dx.doi.org/10.1007/BFb0024148
32.

電子ブック
ＥＢ
32. Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings
edited by Hélène Kirchner, Wolfgang Wechler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 463
オンライン: http://dx.doi.org/10.1007/3-540-53162-9
33.

電子ブック
ＥＢ
33. A Systematic Catalogue of Reusable Abstract Data Types
by Jürgen Uhl, Hans Albrecht Schmid
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 460
オンライン: http://dx.doi.org/10.1007/BFb0016877
34.

電子ブック
ＥＢ
34. Reasoning and Revision in Hybrid Representation Systems
by Bernhard Nebel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 422
オンライン: http://dx.doi.org/10.1007/BFb0016445
35.

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

電子ブック
ＥＢ
36. AI '88 : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15–18, 1988 Proceedings
edited by Christopher J. Barter, Michael J. Brooks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 406
オンライン: http://dx.doi.org/10.1007/3-540-52062-7
37.

電子ブック
ＥＢ
37. Advanced Information Systems Engineering : Second Nordic Conference CAiSE '90 Stockholm, Sweden, May 8–10, 1990 Proceedings
edited by Bo Steinholtz, Arne Sølvberg, Lars Bergman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 436
オンライン: http://dx.doi.org/10.1007/BFb0000578
38.

電子ブック
ＥＢ
38. Advances in Cryptology — CRYPTO’ 89 Proceedings
edited by Gilles Brassard
出版情報: New York, NY : Springer-Verlag Berlin Heidelberg, 1990
シリーズ名: Lecture Notes in Computer Science ; 435
オンライン: http://dx.doi.org/10.1007/0-387-34805-0
39.

電子ブック
ＥＢ
39. LOGLAN '88--Report on the Programming Language
by Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture notes in computer science ; 414
オンライン: http://dx.doi.org/10.1007/BFb0024097
40.

電子ブック
ＥＢ
40. Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
edited by Pierre Deransart, Jan Maluszyński
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 456
オンライン: http://dx.doi.org/10.1007/BFb0024171
41.

電子ブック
ＥＢ
41. Artificial Intelligence in Higher Education : CEPES-UNESCO International Symposium Prague, CSFR, October 23–25, 1989 Proceedings
edited by Vladimir Mařík, Olga Štěpánková, Zdeněk Zdráhal
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 451
オンライン: http://dx.doi.org/10.1007/3-540-52952-7
42.

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

電子ブック
ＥＢ
43. Advances in Cryptology — CRYPTO’ 88 : Proceedings
edited by Shafi Goldwasser
出版情報: New York, NY : Springer-Verlag Berlin Heidelberg, 1990
シリーズ名: Lecture Notes in Computer Science ; 403
オンライン: http://dx.doi.org/10.1007/0-387-34799-2
44.

電子ブック
ＥＢ
44. Expert Systems in Engineering Principles and Applications : International Workshop Vienna, Austria, September 24–26, 1990 Proceedings
edited by Georg Gottlob, Wolfgang Nejdl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 462
オンライン: http://dx.doi.org/10.1007/3-540-53104-1
45.

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

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

電子ブック
ＥＢ
47. A Methodology for Uncertainty in Knowledge-Based Systems
by Kurt Weichselberger, Sigrid Pöhlmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 419
オンライン: http://dx.doi.org/10.1007/BFb0037513
48.

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

電子ブック
ＥＢ
49. Design and Implementation of Large Spatial Databases : First Symposium SSD '89 Santa Barbara, California, July 17/18, 1989 Proceedings
edited by Alejandro P. Buchmann, Oliver Günther, Terence R. Smith, Yuan-Fang Wang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 409
オンライン: http://dx.doi.org/10.1007/3-540-52208-5
50.

電子ブック
ＥＢ
50. Advances in Computing and Information — ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings
edited by S. G. Akl, F. Fiala, W. W. Koczkodaj
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 468
オンライン: http://dx.doi.org/10.1007/3-540-53504-7