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)
- uk
- Text Language Code
- en
- Target Audience
- 一般
- Related Material
- Theorem proving with the real numbersRandomized algorithms : approximation, generation, and countingA combination of geometry theorem proving and nonstandard analysis with application to Newton's PrincipiaInheritance relationships for disciplined software constructionHardware evolution : automatic design of electronic circuits in reconfigurable hardware by Artificial EvolutionStochastic algorithms for visual tracking : probabilistic modelling and stochastic algorithms for visual localisation and trackingAccurate visual metrology from single and multiple uncalibrated imagesAutomated theory formation in pure mathematicsLarge scale collaborative virtual environmentsSearch and planning under incomplete information : a study using bridge card playAsynchronous system-on-chip interconnectUser-developer cooperation in software development : building common ground and usable systemsArchitecture-independent loop parallelisationImage mosaicing and super-resolutionGames and full abstraction for a functional metalanguage with recursive typesModels of sharing graphs : a categorical semantics of let and letrec
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research
- Original Data Provider (Database)
- CiNii Books