書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- 出版事項
- 出版地(国名コード)
- us
- 対象利用者
- 一般
- 関連情報
- Data base organization for data managementMethods of numerical integrationProbability, statistics, and queueing theory : with computer science applicationsSpectral approximation of linear operatorsDigital picture processingOperating systemsSocial issues in computingDiscrete computational structuresAn introduction to mathematical logic and type theory : to truth through proofNumerical methods of mathematical optimization with ALGOL and FORTRAN programsPrinciples of mathematical modelingAnalysis and synthesis of computer systemsImage reconstruction from projections : the fundamentals of computerized tomographyIntroduction to the theory of computationData base management systemsComputability, complexity, and languages : fundamentals of theoretical computer scienceMicro database management : practical techniques for application developmentIntroduction to interval computationsNumerical methods for partial differential equationsPicture processing by computerIterative solution of large linear systemsComputer image processing and recognitionMathematical methods for wave phenomenaRecursive function theory and logicData base organization for data managementIntroduction to matrix computationsCombinatorial algorithms for computers and calculatorsIterative solution of nonlinear equations in several variablesComputer arithmetic in theory and practiceApplied iterative methodsGraph theory : an algorithmic approachSoftware for roundoff analysis of matrix algorithmsMethods of numerical integrationPicture languages : formal models for picture recognitionNumerical solution of differential equationsFinite element solution of boundary value problems : theory and computationThe theory of matrices : with applicationsSymbolic logic and mechanical theorem provingConstrained optimization and Lagrange multiplier methodsMatrix polynomialsIntroduction to probabilistic automataAlgorithmic graph theory and perfect graphsNonnegative matrices in the mathematical sciencesDigital picture processingIntroduction to numerical computationsComputer organization and assembly language programmingData structures : theory and practiceDiscrete computational structuresIntroduction to numerical computationsCombinatorial algorithmsAlgorithm-structured computer arrays and networks : architectures and processes for images, percepts, models, information
- 連携機関・データベース
- 国立情報学研究所 : CiNii Research
- 提供元機関・データベース
- CiNii Books
- NACSIS書誌ID(NCID)
- https://ci.nii.ac.jp/ncid/BA00104316 : BA00104316