1.

電子ブック
ＥＢ
1. Form and good in Plato's Eleatic dialogues the Parmenides, Theaetetus, Sophist, and Statesman (electronic bk.)
Kenneth Dorter
出版情報: Berkeley : University of California Press, c1994
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=13074
2.

電子ブック
ＥＢ
2. Aristotle Posterior analytics translated with a commentary by Jonathan Barnes. 2nd ed (electronic bk.)
Aristotle. ; Barnes, Jonathan.
出版情報: Oxford : New York : Clarendon Press ;, 1994
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=17745
3.

電子ブック
ＥＢ
3. Introduction to surface chemistry and catalysis Gabor A. Somorjai (electronic bk. ; acid-free)
Somorjai, Gabor A.
出版情報: New York : Wiley, c1994
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=26232
4.

電子ブック
ＥＢ
4. Sporting females : critical issues in the history and sociology of women's sports
Jennifer Hargreaves
出版情報: London ; New York : Routledge, 1994
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=77302
5.

電子ブック
ＥＢ
5. 海軍 加藤寬治日記 (electronic bk.)
[伊藤隆他編]
出版情報: 東京 : みすず書房, 1994
シリーズ名: 続・現代史資料 ; ; 5
オンライン: https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=232949
6.

電子ブック
ＥＢ
6. Selected papers from volumes 24 and 25 of Vychislitel'naya Seysmologiya
Dipak K. Chowdhury
出版情報: 1994.  1 online resource (ix, 183 pages) 
シリーズ名: Computational seismology and geodynamics ; v. 2
オンライン: https://doi.org/10.1029/CS002
7.

電子ブック
ＥＢ
7. Seasonal and interannual variability of the western Mediterranean Sea
Paul E. La Violette, ed
出版情報: 1994.  1 online resource (vii, 373 pages) 
シリーズ名: Coastal and estuarine studies ; 46
オンライン: https://doi.org/10.1029/CE046
8.

電子ブック
ＥＢ
8. Languages and Compilers for Parallel Computing : 6th International Workshop Portland, Oregon, USA, August 12–14, 1993 Proceedings
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 768
オンライン: http://dx.doi.org/10.1007/3-540-57659-2
9.

電子ブック
ＥＢ
9. Computer Vision — ECCV '94 : Third European Conference on Computer Vision Stockholm, Sweden, May 2–6, 1994 Proceedings, Volume I
edited by Jan-Olof Eklundh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 800
オンライン: http://dx.doi.org/10.1007/3-540-57956-7
10.

電子ブック
ＥＢ
10. Information Theory and Applications : Third Canadian Workshop Rockland, Ontario, Canada, May 30 – June 2, 1993 Proceedings
edited by T. Aaron Gulliver, Norman P. Secord
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 793
オンライン: http://dx.doi.org/10.1007/3-540-57936-2
11.

電子ブック
ＥＢ
11. Management and Processing of Complex Data Structures : Third Workshop on Information Systems and Artificial Intelligence Hamburg, Germany, February 28–March 2, 1994 Proceedings
edited by Kai Luck, Heinz Marburger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 777
オンライン: http://dx.doi.org/10.1007/3-540-57802-1
12.

電子ブック
ＥＢ
12. Principles and Practice of Constraint Programming : Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings
edited by Alan Borning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 874
オンライン: http://dx.doi.org/10.1007/3-540-58601-6
13.

電子ブック
ＥＢ
13. Human-Computer Interaction : 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2–5, 1994 Selected Papers
edited by Brad Blumenthal, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 876
オンライン: http://dx.doi.org/10.1007/3-540-58648-2
14.

電子ブック
ＥＢ
14. Computer Vision — ECCV '94 : Third European Conference on Computer Vision Stockholm, Sweden, May 2–6 1994 Proceedings, Volume II
edited by Jan-Olof Eklundh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 801
オンライン: http://dx.doi.org/10.1007/BFb0028329
15.

電子ブック
ＥＢ
15. Computer Performance Evaluation Modelling Techniques and Tools : 7th International Conference Vienna, Austria, May 3–6, 1994 Proceedings
edited by Günter Haring, Gabriele Kotsis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 794
オンライン: http://dx.doi.org/10.1007/3-540-58021-2
16.

電子ブック
ＥＢ
16. Programming Languages and System Architectures : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings
edited by Jürg Gutknecht
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 782
オンライン: http://dx.doi.org/10.1007/3-540-57840-4
17.

電子ブック
ＥＢ
17. Advances in Cryptology — CRYPTO’ 93 : 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22–26, 1993 Proceedings
edited by Douglas R. Stinson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1994
シリーズ名: Lecture Notes in Computer Science ; 773
オンライン: http://dx.doi.org/10.1007/3-540-48329-2
18.

電子ブック
ＥＢ
18. Foundation of Software Technology and Theoretical Computer Science : 14th Conference Madras, India, December 15–17, 1994 Proceedings
edited by P. S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 880
オンライン: http://dx.doi.org/10.1007/3-540-58715-2
19.

電子ブック
ＥＢ
19. 2D-Gravity in Non-Critical Strings : Discrete and Continuum Approaches. 1st ed. 1994
by E. Abdalla, M.C.B. Abdalla, D. Dalmazi, A. Zadra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Physics Monographs ; 20
オンライン: https://doi.org/10.1007/978-3-540-48336-6
20.

電子ブック
ＥＢ
20. High-Performance Computing and Networking : International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 2: Networking and Tools. 1st ed. 1994
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 797
オンライン: https://doi.org/10.1007/3-540-57981-8
21.

電子ブック
ＥＢ
21. Network and Operating System Support for Digital Audio and Video : 4th International Workshop NOSSDAV '93, Lancaster, UK, November 3-5, 1993. Proceedings. 1st ed. 1994
edited by Doug Shepherd, Gordon Blair, Geoff Coulson, Nigel Davies, Francisco Garcia
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 846
オンライン: https://doi.org/10.1007/3-540-58404-8
22.

電子ブック
ＥＢ
22. Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings. 1st ed. 1994
edited by P.S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 880
オンライン: https://doi.org/10.1007/3-540-58715-2
23.

電子ブック
ＥＢ
23. Management and Processing of Complex Data Structures : Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994. Proceedings. 1st ed. 1994
edited by Kai v. Luck, Heinz Marburger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 777
オンライン: https://doi.org/10.1007/3-540-57802-1
24.

電子ブック
ＥＢ
24. Programming Languages and System Architectures : International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings. 1st ed. 1994
edited by Jürg Gutknecht
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 782
オンライン: https://doi.org/10.1007/3-540-57840-4
25.

電子ブック
ＥＢ
25. Algebraic Coding : First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings. 1st ed. 1994
edited by Gerard Cohen, Simon Litsyn, Antoine Lobstein, Gilles Zemor
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 781
オンライン: https://doi.org/10.1007/3-540-57843-9
26.

電子ブック
ＥＢ
26. Advances in Cryptology — CRYPTO ’93 : 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22–26, 1993 Proceedings. 1st ed. 1994
edited by Douglas R. Stinson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 773
オンライン: https://doi.org/10.1007/3-540-48329-2
27.

電子ブック
ＥＢ
27. Object-Oriented Methodologies and Systems : International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings. 1st ed. 1994
edited by Elisa Bertino, Susan Urban
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 858
オンライン: https://doi.org/10.1007/BFb0014012
28.

電子ブック
ＥＢ
28. Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers. 1st ed. 1994
edited by Hartmut Ehrig, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 785
オンライン: https://doi.org/10.1007/3-540-57867-6
29.

電子ブック
ＥＢ
29. Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers. 1st ed. 1994
edited by Egon Börger, Yuri Gurevich, Karl Meinke
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 832
オンライン: https://doi.org/10.1007/BFb0049319
30.

電子ブック
ＥＢ
30. Information Theory and Applications : Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993. Proceedings. 1st ed. 1994
edited by T. Aaron Gulliver, Norman P. Secord
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 793
オンライン: https://doi.org/10.1007/3-540-57936-2
31.

電子ブック
ＥＢ
31. Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings. 1st ed. 1994
edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 812
オンライン: https://doi.org/10.1007/3-540-58131-6
32.

電子ブック
ＥＢ
32. Algorithmic Number Theory : First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings. 1st ed. 1994
edited by Leonard M. Adleman, Ming-Deh Huang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 877
オンライン: https://doi.org/10.1007/3-540-58691-1
33.

電子ブック
ＥＢ
33. Computer Vision - ECCV '94 : Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 2. 1st ed. 1994
edited by Jan-Olof Eklundh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 801
オンライン: https://doi.org/10.1007/BFb0028329
34.

電子ブック
ＥＢ
34. Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings. 1st ed. 1994
edited by Thomas F. Melham, Juanito Camilleri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 859
オンライン: https://doi.org/10.1007/3-540-58450-1
35.

電子ブック
ＥＢ
35. Principles and Practice of Constraint Programming : Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings. 1st ed. 1994
edited by Alan Borning
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 874
オンライン: https://doi.org/10.1007/3-540-58601-6
36.

電子ブック
ＥＢ
36. Advances in Cryptology — CRYPTO ’94 : 14th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21–25, 1994. Proceedings. 1st ed. 1994
edited by Yvo G. Desmedt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 839
オンライン: https://doi.org/10.1007/3-540-48658-5
37.

電子ブック
ＥＢ
37. Parallel Processing: CONPAR 94 - VAPP VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994. Proceedings. 1st ed. 1994
edited by Bruno Buchberger, Jens Volkert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 854
オンライン: https://doi.org/10.1007/3-540-58430-7
38.

電子ブック
ＥＢ
38. Human-Computer Interaction : 4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers. 1st ed. 1994
edited by Brad Blumenthal, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 876
オンライン: https://doi.org/10.1007/3-540-58648-2
39.

電子ブック
ＥＢ
39. Computer Performance Evaluation: Modelling Techniques and Tools : Modelling Techniques and Tools. 7th International Conference, Vienna, Austria, May 3 - 6, 1994. Proceedings. 1st ed. 1994
edited by Günter Haring, Gabriele Kotsis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 794
オンライン: https://doi.org/10.1007/3-540-58021-2
40.

電子ブック
ＥＢ
40. Compiler Construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings. 1st ed. 1994
edited by Peter A. Fritzson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 786
オンライン: https://doi.org/10.1007/3-540-57877-3
41.

電子ブック
ＥＢ
41. Entity-Relationship Approach - ER '93 : 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings. 1st ed. 1994
edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 823
オンライン: https://doi.org/10.1007/BFb0024351
42.

電子ブック
ＥＢ
42. Computers for Handicapped Persons : 4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994. Proceedings. 1st ed. 1994
edited by Wolfgang L. Zagler, Geoffrey Busby, Roland Wagner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 860
オンライン: https://doi.org/10.1007/3-540-58476-5
43.

電子ブック
ＥＢ
43. Parallel Scientific Computing : First International Workshop, PARA '94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings. 1st ed. 1994
edited by Jack Dongarra, Jerzy Wasniewski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 879
オンライン: https://doi.org/10.1007/BFb0030129
44.

電子ブック
ＥＢ
44. Database and Expert Systems Applications : 5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings. 1st ed. 1994
edited by Dimitris Karagiannis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 856
オンライン: https://doi.org/10.1007/3-540-58435-8
45.

電子ブック
ＥＢ
45. Computer Vision - ECCV '94 : Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 1. 1st ed. 1994
edited by Jan-Olof Eklundh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 800
オンライン: https://doi.org/10.1007/3-540-57956-7
46.

電子ブック
ＥＢ
46. Qualitative Representation of Spatial Knowledge. 1st ed. 1994
by Daniel Hernandez
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 804
オンライン: https://doi.org/10.1007/BFb0020328
47.

電子ブック
ＥＢ
47. Graph-Theoretic Concepts in Computer Science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings. 1st ed. 1994
edited by Jan van Leeuwen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 790
オンライン: https://doi.org/10.1007/3-540-57899-4
48.

電子ブック
ＥＢ
48. Fast Software Encryption : Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings. 1st ed. 1994
edited by Ross Anderson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 809
オンライン: https://doi.org/10.1007/3-540-58108-1
49.

電子ブック
ＥＢ
49. Languages and Compilers for Parallel Computing : 6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings. 1st ed. 1994
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 768
オンライン: https://doi.org/10.1007/3-540-57659-2
50.

電子ブック
ＥＢ
50. Applications of Invariance in Computer Vision : Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9 - 14, 1993. Proceedings. 1st ed. 1994
edited by Joseph L. Mundy, Andrew Zisserman, David Forsyth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 825
オンライン: https://doi.org/10.1007/3-540-58240-1