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
- 図書
- Title
- Publication, Distribution, etc.
- Place of Publication (Country Code)
- us
- Text Language Code
- en
- Target Audience
- 一般
- Related Material
- An information retrieval system based on a computer model of legal knowledgeLocally least-cost error correctors for context-free and context sensitive parsersPerformance evaluation of data base systemsAlgorithms for some design automation problemsOptimization of queries in relational databasesCapability architectures and small objectsFormal verification of an operating system security kernelSystem aids in constructing consultation programsCharacteristics of program localitiesData security and performance overhead in a distributed architecture systemData management on distributed databasesQuery optimization by semantic reasoningRobot rover visual navigationFormal differentiation : a program synthesis techniqueAn analysis of Pascal programsDesign of an interactive manipulator programming environmentPath selection for symbolic execution systemsControl and communication in programsA distributed double-loop computer network (DDLCN)Performance improvement of virtual memory systemsAn algebraic analysis of storage fragmentationEfficiency analysis of file organization and information retrievalOn reductions and livelocks in asynchronous parallel computationPerformance of update algorithms for replicated dataSubjective understanding, computer models of belief systemsStructured systems and their performance improvement through vertical migrationFormalization and automatic derivation of code generatorsThe automatic revision of storage structuresA graphical engineering aid for VLSI systemsRegister allocation in optimizing compilersAn inquiry driven vision system based on visual and conceptual hierarchiesAutomatic transaction decomposition in a distributed CODASYL prototype systemSecrecy, authentication, and public key systemsAutomatic storage optimizationEfficiency in program synthesisParallel algorithms on a multiprocessorKnowledge based theorem proving and learningTailoring software for multiple processor systemsModel-based computer visionSearch mechanisms for large filesA production system version of the Hearsay-II speech understanding systemDynamic resource allocation in distributed computing systemsA computer system for checking proofsMedusa, a distributed operating systemImage analysis and image database management
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research
- Original Data Provider (Database)
- CiNii Books