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)
- ne
- Target Audience
- 一般
- Related Material
- Interfaces between computer science and operations research : proceedings of a symposium held at the Mathematisch Centrum, Amsterdam, September 7-10, 1976Cardinal functions in topology, ten years laterFrom A to Z : Proceedings of a Symposium in honour of A. C. ZaanenTopological semigroupsStochastic dynamic programming : successive approximations and nearly optimal strategies for Markov decision processes and Markov gamesMultiple grid methods for equations of the second kind with applications in fluid mechanicsAbsoluteness of intuitionistic logicThe translation of the elements of Euclid from the Arabic into Latin by Hermann of Carinthia (?), books VII-XIIFinite difference methods for solving partial differential equationsMonotone Transformations and Limit LawsTORRIX : a programming system for operations on vectors and matrices over arbitrary fields and of variable sizeFormal properties of newspaper DutchAsymptotic analysisSymmetric closed categoriesOn the asymptotic analysis of large-scale ocean circulationReduction methods in nonlinear programmingSuccess epochs in Bernoulli trials : with applications in number theoryAutomatic numerical integrationCardinal functions in topology : ten years laterSimple-periodic and non-periodic lamé functionsIdentification and informative sample sizeEmpirical distributions and rank statisticsApplication of the theory of boundary value problems in the analysis of a queueing model with paired servicesError detecting decimal codesCharacterization of optimal strategies in dynamic gamesSlippage testsRecursive program schemes : semantics and proof theoryMetrizability in generalized ordered spacesFormal methods in the study of languageAnalysis of (s,S) inventory modelsThe numerical solution of nonlinear operator equations by imbedding methodsLarge deviations and asymptotic efficienciesOn point processesQuery processing and data allocation in distributed database systemsApplications of distributions in mathematical physicsLinear programming and finite markovian control problemsDynamic feedback in finite-and infinite-dimensional linear systemsProceedings International Conference on ALGOL 68 : Rechenzentrum der Ruhr-Universität Bochum, BRD, March 30-31, 1981Universal morphismsThe compilerRepresentations of the Lorentz group and projective geometryTopological transformation groups : a categorical approachDynamic programming and Markov potential theoryAbstract automathSelected statistical papersStatistical performance of location estimatorsDynamic programming and Markov potential theoryFinite generalized Markov programmingPreservation of infinite divisibility under mixing and related topicsSuperextensions of topological spacesConvex transformations of random variablesRandom walks with stationary increments and renewal theoryApplications of distributions in mathematical physicsOn the birth of boundary layersOn regular variation and its application to the weak convergence of sample extremesComplex Fourier transformation and analytic functionals with unbounded carriersMathematical models of epidemicsFormula manipulation in ALGOL 60Topological structures : proceedings of a symposiumHigher order asymptotics for simple linear rank statisticsCombinatorics : proceedings of the Advanced Study Institute on Combinatorics held at Nijenrode Castle, Breukelen , the Netherlands, July 8-20, 1974Cardinal functions in topologyThe interval function of a graphFormal definition of programming languages with an application to the difinition of algol 60Upper bounds for the numbers of solutions of diophantine equationsNumerical solution of systems of nonlinear equationsAbel-Jacobi isogenies for certain types of Fano threefoldsThe languageExercises in computational linguisticsA numerical study of stiff two-point boundary problemsAssocions and the closure statementILP : Intermediate Language for PicturesSimultaneous approximations in transcendental number theoryA mathematical theory of pure exchange economies without the no-critical-point hypothesisSparse matrices and substructures with a novel implementation of finite element algorithmsTranscendence in fields of positive characteristicIntroduction to Riesz spacesFixed and almost fixed pointsAutomatic analysis of Dutch compound wordsComputational methods in number theoryProbabilistic backgroundFormal definition of programming languages : with an application to the difinition of algol 60Model and methodEisenstein series on the mataplectic group : an algebraic approachContracting Markov decision processesBranching processes with continuous state spaceFoundations of computer science IINonnegative matrices in dynamic programmingBayesian control of Markov chainsRevised report on the algorithmic language ALGOL 68The solution of initial value problems using interval arithmetic : Formulation and analysis of an algorithmCombination of one-sided statistical testsMarkov decision processes with continuous time parameterEdgeworth expansions for linear combinations of order statisticsUniversal morphismsConvex transformations of random variablesFormal methods in the study of language. part 2Compact ordered spacesTests for preferenceAlgol 60 procedures in numerical algebraAlgol 60 procedures in numerical algebraAsymptotic theory of rank tests for independenceSimplicial fixed point algorithmsFoundations of computer science IV, distributed systemsComputational methods in number theorySuccess epochs in Bernoulli trials (with applications in number theory)Topological semigroupsJacobi series and approximationLindenmayer systems : structure, languages, and growth functionsTopological semigroupsSome properties related to compactnessPacking and covering in combinatoricsFormula manipulation in ALGOL 60Recursive procedures2-D systems, an algebraic approachSingular perturbations of hyperbolic typeAn analysis of sparse matrix storage schemesTreelike spaces and related connected topological spacesTopological structures II : proceedings of the symposium in Amsterdam, October 31 - November 2, 1978Asymptotic expansionsConnected orderable spacesMarkov decision processes with continuous time parameterThe compactness operator in set theory and topologyStochastic dynamic programming : successive approximations and nearly optimal strategies for Markov decision processes and Markov gamesGeneralized Markovian decision processes : applicationsSemigroup and factorization methods in transport theoryTopology and order structuresBayesian control of Markov chainsEigenvalue techniques in design and graph theoryProjections of lawless sequencesCompact ordered spacesPacking and covering in combinatoricsAnalysis of (s,S) inventory modelsAbstraction, specification and implementation techniques : with an application to garbage collectionAsymptotic optimality theory for testing problems with restricted alternativesExercises in computational linguisticsApplication of the Wigner distribution to harmonic analysis of generalized stochastic processesQueueing models involving buffersReflexive and superreflexive Banach spacesSome properties related to compactnessA theoretical and computational study of generalized aliquot sequencesCalculus of variations in mathematical physicsSupercompactness and Wallman spacesRedundancy and linear programsMC-25 Informatica Symposium : [lectures]Singularly perturbed differential operators of second orderGo-spaces and generalizations of metrizabilityCensoring and stochastic integralsAn analysis of complexityAlgol 60 procedures in numerical algebraMulti-dimensional continued fraction algorithmsAn ALGOL 60 compiler in ALGOL 60 : text of the MC-compiler for the EL-X8An ALGOL 60 compiler in ALGOL 60Variable dimension fixed point algorithms and triangulationsFoundations of computer scienceApproximations to the poisson, binomial and hypergeometric distribution functionsChecking Landau's "Grundlagen" in the automath systemSampling from a graphALGOL 68 transputClassifying infinitely divisible distributions by functional equationsGeneralized Markovian decision processes : applicationsMeromorphic operator valued functionsFoundations of computer science IIISample path properties of stable processesAutomatic numerical integrationMatroids and linking systemsProbabilistic backgroundFixed and almost fixed pointsProceedings, bicentennial congress, Wiskundig GenootschapAsymptotic optimality of likelihood ratio tests in exponential familiesThe covariant classification of two-dimensional smooth commutative formal groups over an algebraically closed field of positive characteristicMarkov decision theory : proceedings of the Advanced Seminar on Markov Decision Theory held at Amsterdam, The Netherlands, September 13-17, 1976Calculus of variations in mathematical physicsLocally convex algebras in spectral theory and eigenfunction expansionsCorrectness preserving program refinements : proof theory and applicationsSlippage testsCombinatory reduction systemsMarkovian control problems : functional equations and algorithmsSequencing by enumerative methodsAsymptotic expansions and the deficiency concept in statistics
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research
- Original Data Provider (Database)
- CiNii Books
- NCID
- https://ci.nii.ac.jp/ncid/BA0072600X : BA0072600X