1.

図書
図書
1. 英語学の関連分野
柴谷方良, 大津由紀雄, 津田葵著
出版情報: 東京 : 大修館書店, 1989.8
シリーズ名: 英語学大系 / 太田朗, 加藤泰彦編 ; 6
所蔵情報: loading…
2.

図書
図書
2. Splines and variational methods (: pbk)
P.M. Prenter
出版情報: New York : Wiley, 1989
シリーズ名: Wiley classics library
所蔵情報: loading…
3.

図書
図書
3. Linear programming and its applications (: us ; : gw)
James K. Strayer
出版情報: New York ; Tokyo : Springer-Verlag, c1989
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
4.

図書
図書
4. An introduction to algebraic topology (: us ; : gw)
Joseph J. Rotman
出版情報: New York ; Tokyo : Springer-Verlag, c1988
シリーズ名: Graduate texts in mathematics ; 119
所蔵情報: loading…
5.

図書
図書
5. Internetworking with TCP/IP : principles, protocols, and architecture (: pbk)
Douglas E. Comer
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1988
所蔵情報: loading…
6.

図書
図書
6. Constraint programming languages : their specification and generation
by Wm. Leler
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1988
所蔵情報: loading…
7.

図書
図書
7. PostScript language : program design (: pbk)
Adobe Systems Incorporated ; Glenn C. Reid
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1988
所蔵情報: loading…
8.

図書
図書
8. General techniques and regular problems (pbk.)
Geoffrey C. Fox ... [et al.]
出版情報: Englewood Cliffs, NJ : Prentice Hall, c1988
シリーズ名: Solving problems on concurrent processors ; v. 1
所蔵情報: loading…
9.

図書
図書
9. Selected topics in graph theory ([1] ; 2 ; 3)
edited by Lowell W. Beineke and Robin J. Wilson
出版情報: London ; Tokyo : Academic Press, 1978-1988
所蔵情報: loading…
10.

図書
図書
10. Theory of reproducing kernels and its applications (: us ; : uk)
Saburou Saitoh
出版情報: Harlow, Essex, England : Longman Scientific & Technical , New York : Wiley, 1988
シリーズ名: Pitman research notes in mathematics series ; 189
所蔵情報: loading…
11.

図書
図書
11. Art gallery theorems and algorithms
Joseph O'Rourke
出版情報: New York : Oxford University Press, 1987
シリーズ名: International series of monographs on computer science ; v. 3
所蔵情報: loading…
12.

図書
図書
12. Foundations of statistical inference (: set)
edited by Ian B. MacNeill & Gary J. Umphrey ; associate editors, M. Safiul Haq, William L. Harper, Serge B. Provost
出版情報: Dordrecht ; Tokyo : D. Reidel , Norwell : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1987
シリーズ名: The University of Western Ontario series in philosophy of science ; v. 35 . Advances in the statistical sciences ; v. 2
所蔵情報: loading…
13.

図書
図書
13. Stochastic hydrology (: set)
edited by Ian B. MacNeill and Gary J. Umphrey ; associate editor, A. Ian McLeo
出版情報: Dordrecht ; Tokyo : D. Reidel , Norwell, Ma. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1987
シリーズ名: The University of Western Ontario series in philosophy of science ; v. 37 . Advances in the statistical sciences ; v. 4
所蔵情報: loading…
14.

図書
図書
14. Actuarial science
edited by Ian B. MacNeill & Gary J. Umphrey ; associate editors, Beda S.C. Chan, Serge B. Provost
出版情報: Dordrecht ; Tokyo : D. Reidel , Norwell : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1987
シリーズ名: The University of Western Ontario series in philosophy of science ; v. 39 . Advances in the statistical sciences ; v. 6
所蔵情報: loading…
15.

図書
図書
15. Tilings and patterns
Branko Grünbaum, G.C. Shephard
出版情報: New York : W.H. Freeman, c1987
シリーズ名: A series of books in the mathematical sciences
所蔵情報: loading…
16.

図書
図書
16. Abstraction and specification in program development (: MIT Press ; : McGraw-Hill)
Barbara Liskov and John Guttag
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1986
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
17.

図書
図書
17. Annual review of computer science (v. 1 - v. 4)
Joseph F. Traub, editor ; Barbara J. Grosz, associate editor, Butler W. Lampson, associate editor, Nils J. Nilsson, associate editor
出版情報: Palo Alto, Calif. : Annual Review Inc., c1986-<c1990 >
所蔵情報: loading…
18.

図書
図書
18. Actors : a model of concurrent computation in distributed systems
Gul A. Agha
出版情報: Cambridge, Mass. : MIT Press, c1986
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
19.

図書
図書
19. The design of the UNIX operating system (: pbk)
Maurice J. Bach
出版情報: Englewood Cliffs : Prentice-Hall, c1986 , London : Prentice-Hall International, c1986
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
20.

図書
図書
20. The C++ programming language
Bjarne Stroustrup
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1986
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
21.

図書
図書
21. Discrete thoughts : essays on mathematics, science, and philosophy (: us ; : gw)
Mark Kac, Gian-Carlo Rota, and Jacob T. Schwartz ; [edited by Harry Newman]
出版情報: Boston : Birkhäuser, c1986
シリーズ名: Scientists of our time
所蔵情報: loading…
22.

図書
図書
22. Combinatorics : set systems, hypergraphs, families of vectors and combinatorial probability (: hard cover ; : pbk.)
Béla Bollobás
出版情報: Cambridge [Cambridgeshire] : Cambridge University Press, 1986
所蔵情報: loading…
23.

図書
図書
23. Constructive combinatorics (: us ; : gw)
Dennis Stanton, Dennis White
出版情報: New York : Springer-Verlag, c1986
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
24.

図書
図書
24. 英語史 (1 - 3B)
小野茂, 中尾俊夫著
出版情報: 東京 : 大修館書店, 1972.8-1985.7
シリーズ名: 英語学大系 / 太田朗, 加藤泰彦編 ; 8-10, 10-2
所蔵情報: loading…
25.

図書
図書
25. The theory and practice of compiler writing
Jean-Paul Tremblay, Paul G. Sorenson
出版情報: New York : McGraw-Hill, c1985
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
26.

図書
図書
26. The geometry and topology of manifolds (: U.S ; : Germany)
B.A. Dubrovin, A.T. Fomenko, S.P. Novikov ; translated by Robert G. Burns
出版情報: New York : Springer-Verlag, c1985
シリーズ名: Graduate texts in mathematics ; 104 . Modern geometry : methods and applications / B.A. Dubrovin, A.T. Fomenko, S.P. Novikov ; translated by Robert G. Burns ; pt. 2
Springer series in Soviet mathematics
所蔵情報: loading…
27.

図書
図書
27. Postscript language tutorial and cookbook
Adobe Systems Incorporated
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., 1985
所蔵情報: loading…
28.

図書
図書
28. Postscript language reference manual
Adobe Systems
出版情報: Reading, Mass. : Addison-Wesley, c1985
所蔵情報: loading…
29.

図書
図書
29. Structure and interpretation of computer programs (: MIT Press ; : McGraw-Hill)
Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1985
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
30.

図書
図書
30. Why math? (: pbk ; : us ; : gw)
R. D. Driver
出版情報: New York : Springer-Verlag, c1984
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
31.

図書
図書
31. The Xinu approach (pbk.)
Comer, Douglas E.
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984
シリーズ名: Prentice-Hall software series ; . Operating system design / Douglas Comer ; [v. 1]
所蔵情報: loading…
32.

図書
図書
32. Polymorphic programming languages : design and implementation (: halsted ; : Ellis horewood)
D.M. Harland
出版情報: Chichester, West Sussex : E. Horwood , New York : Halsted Press, 1984
シリーズ名: Ellis Horwood series in computers and their applications ; 25
所蔵情報: loading…
33.

図書
図書
33. Rule-based expert systems : the MYCIN experiments of the Stanford Heuristic Programming Project
edited by Bruce G. Buchanan, Edward H. Shortliffe
出版情報: Reading, Mass. : Addison-Wesley, c1984
シリーズ名: The Addison-Wesley series in artificial intelligence
所蔵情報: loading…
34.

図書
図書
34. Common LISP : the language (: pbk)
Guy L. Steele, Jr. ; with contributions by Scott E. Fahlman ... [et al.]
出版情報: Bedford, MA : Digital Press, c1984
所蔵情報: loading…
35.

図書
図書
35. Network flows and monotropic optimization
R.T. Rockafellar
出版情報: New York : Wiley, c1984
シリーズ名: Pure and applied mathematics
所蔵情報: loading…
36.

図書
図書
36. Quantitative system performance : computer system analysis using queueing network models
Edward D. Lazowska ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984
所蔵情報: loading…
37.

図書
図書
37. Algebraic combinatorics I : association schemes (: pbk.)
Eiichi Bannai, Tatsuro Ito
出版情報: Menlo Park, Calif. : Benjamin/Cummings Pub. Co., 1984
シリーズ名: Mathematics lecture note series ; 58
所蔵情報: loading…
38.

図書
図書
38. Artificial intelligence. 2nd ed
Patrick Henry Winston
出版情報: Reading, Mass. : Addison-Wesley, 1984
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
39.

図書
図書
39. 意味論
安井稔 [ほか] 著
出版情報: 東京 : 大修館書店, 1983.10
シリーズ名: 英語学大系 / 太田朗, 加藤泰彦編 ; 5
所蔵情報: loading…
40.

図書
図書
40. Chemistry and biochemistry of amino acids, peptides, and proteins : a survey of recent developments (v. 1 - v. 7)
edited by Boris Weinstein
出版情報: New York : Dekker, c1971-c1983
所蔵情報: loading…
41.

図書
図書
41. Univalent functions (: us ; : gw)
Peter L. Duren
出版情報: New York ; Berlin : Springer-Verlag, c1983
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; 259
所蔵情報: loading…
42.

図書
図書
42. An introduction to convex polytopes (: us ; : gw)
Arne Brøndsted
出版情報: New York : Springer-Verlag, c1983
シリーズ名: Graduate texts in mathematics ; 90
所蔵情報: loading…
43.

図書
図書
43. Syntax
Terry Winograd
出版情報: Reading, Mass. : Addison Wesley Pub. Co., c1983
シリーズ名: Language as a cognitive process / Terry Winograd ; v. 1
所蔵情報: loading…
44.

図書
図書
44. World directory of mathematicians. 7th ed (1982)
International Mathematical Union
出版情報: Kyoto : Bureau of the World Directory of Mathematicians, International Mathematical Union , [Helsinki] : Published under the auspices of International Mathematical Union , Providence, R.I. : Distributed by American Mathematical Society, c1982-
所蔵情報: loading…
45.

図書
図書
45. Infinite processes, background to analysis
A. Gardiner
出版情報: New York : Springer-Verlag, c1982
所蔵情報: loading…
46.

図書
図書
46. Convexity and related combinatorial geometry : proceedings of the second University of Oklahoma conference (pbk.)
edited by David C. Kay and Marilyn Breen
出版情報: New York : M. Dekker, c1982
シリーズ名: Lecture notes in pure and applied mathematics ; v. 76
所蔵情報: loading…
47.

図書
図書
47. Periodic behavior (: set)
by Ralph H. Abraham and Christopher D. Shaw
出版情報: Santa Cruz, Calif. : Aerial Press, 1982 printing
シリーズ名: The Visual mathematics library ; vismath v. 1 . Dynamics : the geometry of behavior ; pt. 1
所蔵情報: loading…
48.

図書
図書
48. Combinatorial and geometric structures and their applications (: ne ; : U.S. : pbk.)
edited by A. Barlotti
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982
シリーズ名: Annals of discrete mathematics ; 14
North-Holland mathematics studies ; 63
所蔵情報: loading…
49.

図書
図書
49. Fourier series and integrals of boundary value problems
J. Ray Hanna
出版情報: New York : Wiley, c1982
シリーズ名: Pure and applied mathematics : a Wiley-Interscience series of texts, monographs, and tracts
所蔵情報: loading…
50.

図書
図書
50. A handbook of public speaking for scientists and engineers (pbk.)
Peter Kenny
出版情報: Bristol : A. Hilger, 1982(1984 printing)
所蔵情報: loading…