Search by Bookstore
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
other
CiNii Research
Search ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Publication, Distribution, etc.
- Place of Publication (Country Code)
- us
- Target Audience
- 一般
- Related Material
- 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
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research
- Original Data Provider (Database)
- CiNii Books
- NCID
- https://ci.nii.ac.jp/ncid/BA00104316 : BA00104316