核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Data processing)
該当件数:219件
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)
図書
Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 / edited by Edward W. Ng
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 72)
Numerical solution of SDE through computer experiments / Peter E. Kloeden, Eckhard Platen, Henri Schurz
Corr. 3rd printing. - Berlin : Springer , 2003. - (Universitext)
Field solutions on computers / Stanley Humphries, Jr
Boca Raton : CRC Press , c1998
Gaussian processes for machine learning / Carl Edward Rasmussen, Christopher K.I. Williams
Cambridge, Mass. : MIT Press , c2006. - (Adaptive computation and machine learning)
Finite element systems : a handbook / editor, C. A. Brebbia
German,U.S.. - 3rd rev. ed. - Berlin ; Tokyo : Springer-Verlag , c1985
Finite element systems : a handbook / editor: C.A. Brebbia
: West Germany,: U.S. - [2nd ed.]. - Southampton : Computational Mechanics Centre , c1982
Computer aided design : fundamentals and system architectures / J. Encarnação, E.G. Schlechtendahl
us,gw. - Berlin ; New York : Springer-Verlag , 1983. - (Symbolic computation ; Computer graphics)
Advances in engineering data handling / edited by Peter C.C. Wang
Boston : Kluwer Academic Publishers , c1984
Data analysis in astronomy II / edited by V. Di Gesù ... [et al.]
New York : Plenum Press , c1986. - (Ettore Majorana international science series ; . Physical sciences ; v. 27)
Computer modeling of gas lasers / Kenneth Smith and R. M. Thomson
New York : Plenum Press , c1978. - (Optical physics and engineering)
Optics : learning by computing, with examples using Mathcad, Matlab, Mathematica, and Maple / K.D. Möller
2nd ed.. - New York : Springer , c2007
Computer-aided design in magnetics / D.A. Lowther, P.P. Silvester
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1986
International journal for numerical methods in fluids
Vol. 1, no. 1 (Jan./Mar. 1981)-. - Chichester ; New York : Wiley , c1981-
雑誌
Real-time data handling and process control--II : real-time data processing and related standards & common practices : introduction, present applications and relevance of standards, future requirements and trends, new technologies and system structures : proceedings of the second European symposium held in Versailles, France, 3-5 November, 1982 / edited by E.G. Kingham, G. Le Lann, and N.E. Malagardis
Amsterdam ; New York : North-Holland. - New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1984
Computer aided design of digital systems : a bibliography / W.M. vanCleemput
v. 1 - v. 3. - Woodland Hills, Calif. : Computer Science Press , c1976-. - (Digital system design series)
Computing methods in applied sciences and engineering, VII : proceedings of the Seventh International Symposium on Computing Methods in Applied Sciences and Engineering, Versailles, France, December 9-13, 1985 / edited by R. Glowinski, J.-L. Lions
Amsterdam ; Tokyo : North-Holland , 1986
Supercomputer applications : proceedings of the International Supercomputer Applications Symposium, Amsterdam, The Netherlands, November 7-9, 1984 / edited by A.H.L. Emmen
Amsterdam ; New York : North-Holland. - New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada : Elsevier Science Pub. Co. , 1985
Computing methods in applied sciences and engineering, VI : proceedings of the Sixth International Symposium on Computing Methods in Applied Sciences and Engineering, Versailles, France, December 12-16, 1983 / edited by R. Glowinski, J.-L. Lions
Amsterdam ; New York : North-Holland , 1984
Computers & composing : how the new technologies are changing writing / by Jeanne W. Halpern & Sarah Liggett ; with a foreword by Edward P.J. Corbett
pbk.. - Carbondale : Southern Illinois University Press , c1984. - (Studies in writing & rhetoric)