核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチを検索します。
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(標準分類: 510/.8 s)
該当件数:62件
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 78)
図書
Pattern synthesis / U. Grenander
New York : Springer-Verlag , 1976. - (Lectures in pattern theory / U. Grenander ; ; v. 1). - (Applied mathematical sciences ; v. 18)
Combinatorial methods / J. K. Percus
us,gw. - New York : Springer-Verlag , 1971. - (Applied mathematical sciences ; v. 4)
Theory of functions and its applications : dedicated to Academician Sergeĭ Mihaĭlovič Nikolʹskiĭ / edited by L.S. Pontrjagin
Providence, R.I. : American Mathematical Society , 1977. - (Proceedings of the Steklov Institute of Mathematics ; no. 134)
Population dynamics : proceedings of a Symposium conducted by the Mathematics Research Center, The University of Wisconson, Madison June 19-21, 1972 / edited by T.N.E. Greville
New York : Academic Press , 1972. - (Publication of the Mathematics Research Center, the University of Wisconsin ; no. 29)
Supersonic flow and shock waves / R. Courant, K.O. Friedrichs
: New York,: Berlin. - New York ; Tokyo : Springer-Verlag , c1976. - (Applied mathematical sciences ; v. 21)
Fluid dynamics / R. von Mises, K.O. Friedrichs
: us - us.. - New York : Springer-Verlag , 1971. - (Applied mathematical sciences ; v. 5)
A course in elasticity / B.M. Fraeijs de Veubeke ; translated by F.A. Ficken ; with the editorial assistance of D.A. Simons
New York : Springer-Verlag , c1979. - (Applied mathematical sciences ; v. 29)
Applications of bifurcation theory : proceedings of an advanced seminar / edited by Paul H. Rabinowitz ; conducted by the Mathematics Research Center, the University of Wisconsin--Madison, October 27-29, 1976
New York : Academic Press , 1977. - (Publication of the Mathematics Research Center, the University of Wisconsin-Madison ; no. 38)
Functional differential equations and approximation of fixed points : proceedings, Bonn, July 1978 / edited by Heinz-Otto Peitgen and Hans-Otto Walther
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in mathematics ; 730)
Partial differential equations / Fritz John ; [editors, Fritz John ... et al.]
3d ed. - New York : Springer-Verlag , c1978. - (Applied mathematical sciences ; v. 1)
Numerical quadrature and solution of ordinary differential equations : a textbook for a beginning course in numerical analysis / A.H. Stroud
gw,us. - New York : Springer-Verlag , 1974. - (Applied mathematical sciences ; v. 10)
Optimal control theory / L.D. Berkovitz
New York : Springer-Verlag , 1974. - (Applied mathematical sciences ; v. 12)
Pattern analysis / U. Grenander
New York : Springer-Verlag , c1978. - (Applied mathematical sciences ; v. 24 . Lectures in pattern theory / U. Grenander ; v. 2)
Markov chain models : rarity and exponentiality / Julian Keilson
: us,: gw. - New York : Springer-Verlag , c1979. - (Applied mathematical sciences ; v. 28)
Regular structures / Ulf Grenander
New York : Springer-Verlag , c1981. - (Applied mathematical sciences ; v. 33 . Lectures in pattern theory / Ulf Grenander ; v. 3)
Asymptotic analysis : from theory to application / edited by F. Verhulst
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in mathematics ; 711)
Differential equations and their applications : an introduction to applied mathematics / M. Braun
: us,: gw. - New York : Springer-Verlag , 1975. - (Applied mathematical sciences ; v. 15)
Applications of algebraic topology : graphs and networks : the Picard-Lefschetz theory and Feynman integrals / S. Lefschetz
:us. - New York : Springer-Verlag , 1975. - (Applied mathematical sciences ; v. 16)
Theory and application of special functions : proceedings of an advanced seminar sponsored by the Mathematics Research Center, the University of Wisconsin-Madison, March 31-April 2, 1975 / edited by Richard A. Askey
New York : Academic Press , 1975. - (Publication of the Mathematics Research Center, the University of Wisconsin-Madison ; no. 35)
