富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Computer programs)
該当件数:21件
Concise Guide to Software Verification : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Texts in Computer Science. ISSN:1868095X)
電子ブック
Intelligent Crowdsourced Testing / by Qing Wang, Zhenyu Chen, Junjie Wang, Yang Feng
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022)
SPSS statistics for data analysis and visualization / Keith McCormick, Jesus Salcedo ; with Jon Peck and Andrew Wheeler
(Indianapolis, IN : Wiley , 2017)
A data scientist's guide to acquiring, cleaning and managing data in R / by Samuel Buttrey, Naval Postgraduate School, California, United States, Lyn R. Whitaker, Naval Postgraduate School, California, United States
(Hoboken, NJ, USA : Wiley , 2017). - (ITpro collection)
Presentation zen : simple ideas on presentation design and delivery / Garr Reynolds ; [foreword by Guy Kawasaki]
: pbk. - Berkeley, CA : New Riders , c2008. - (Voices that matter)
図書
Computer graphics for CAD/CAM systems / Jack E. Zecher
New York : Marcel Decker , c1994. - (Computer-aided engineering ; 3)
Modern TeX and its applications / Michael Vulis
: acid-free paper. - Boca Raton : CRC Press , c1993
Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz
: gw,: us. - Berlin : New York : Springer-Verlag , c1992. - (Artificial intelligence)
Anatomy of a silicon compiler / edited by Robert W. Brodersen
Boston : Kluwer Academic Publishers , c1992. - (The Kluwer international series in engineering and computer science ; SECS 181 . VLSI, computer architecture, and digital signal processing)
The Software catalog, microcomputers, Winter 1990 : including International Standard Program Numbers[TM] (ISPN) : produced from .MENU - the International Software Database[TM]
Winter 1990 : set,Winter 1990, pt. 1,Winter 1990, pt. 2. - New York : Elsevier , c1990
Numerical recipes : the art of scientific computing : FORTRAN version / William H. Press ... [et al.]
Cambridge : Cambridge University Press , 1989
Differential and difference equations through computer experiments : with diskettes containing PHASER : an animator/simulator for dynamical systems for IBM personal computers / Hüseyin Koçak
: New York,: Berlin. - 2nd ed. - New York : Tokyo : Springer-Verlag , c1989
Microcomputer programs for groundwater studies / David Clarke
Amsterdam : Tokyo : Elsevier , 1987. - (Developments in water science ; 30)
BASIC programs for steam plant engineers : boilers, combustion fluid flow, and heat transfer / V. Ganapathy
New York : Dekker , c1986. - (Mechanical engineering ; 47)
Groundwater modelling : an introduction with sample programs in BASIC / Wolfgang Kinzelbach
: U.S.,series. - Amsterdam : Tokyo : Elsevier , 1986. - (Developments in water science ; 25)
BASIC mechanical vibrations / A.J. Pretlove
est.. - London : Boston : Butterworths , 1985
Vectorization of computer programs with applications to computational fluid dynamics / Wolfgang Gentzsch : with contributions of Roland Kessler ... [et al.]
: pbk.. - Braunschweig : F. Vieweg , c1984. - (Notes on numerical fluid mechanics ; v. 8)
NBS/NRC steam tables : thermodynamic and transport properties and computer programs for vapor and liquid states of water in SI units / Lester Haar, John S. Gallagher, George S. Kell
paper. - Washington, [D.C.] : Hemisphere Pub. Corp. , c1984
Programs for digital signal processing / edited by the Digital Signal Processing Committee, IEEE Acoustics, Speech, and Signal Processing Society
: IEEE - : Wiley : pbk. - New York : IEEE Press : Sole worldwide distributor, J. Wiley , c1979
Software : practice and experience
Vol. 1, no. 1 (Jan./Mar. 1971)-. - London : J. Wiley , 1971-
雑誌