Вы здесь

Главная

London

Связанные издания:

Optimization of Object-Oriented Queries by Inverse Methods
Overview of the Semantics of TCOZ
Parallel Architectures and Languages for Advanced Information Processing. A VLSI-derected Approach
Parallel Computing in Control
Parallel Computing in Engineering and Engineering Education: Proc. /First World Conference, UNESCO, Paris, October 1990
Parallelism made Easer with Graphical Software Tools
Parallel Processing for Real-Time Systems: A Primer Course
Passage-Level Evidence in Document Retrieval
Perceptual Speed, Learning and Information Retrieval Performance
Persistent Object Systems and Interoperability: Linguistic and Architectural Requirements
Polyrepresentation of Information Needs and Semantic Entities: Elements of a Cognitive Theory for Information Retrieval Interaction
Pragmatic Programming & Sensible Software: Proc./Online Conference Pragmatic Programming and Sensible Software, London, February 1978
Prescribing behaviours
Primal and Revised Simplex Algorithms on a Network of T800 Transputers
Principles and Practice of Constraint Programming
Proceedings of 21st National Conference - Association for Computing Machinery
Proceedings of 21st National Conference - Association for Computing Machinery
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor
Program Generating Tools for Parallel Computer DAP510 and Its Application to Engineering Problems
Programming Language Theory and its Implementation
Program Specialisation and Abstract Interpretation Reconciled
Proof-Theoretic Foundation of Compilation in Logic Programming Languages
Properties of Extended Booleans Models in Information Retrieval
Prosody and Speech Recognition
Prototiping a Categorical Database in P/FDM
Proving Termination of Input-Consuming Logic Programs
Proving the Correctness of Compiler Optimisations Based on a Global Program Analysis/Imperial College of Sci.,Technology and Medicine
Quality of education with the application of new information technologies
Query Expansion using Lexical-Semantic Relations
Reactive System Refinement of Distributed Systems in B
Reasoning about Knowledge
Refined C: an Update
Relational Databases Equivalence Problem
Remote access parallel computing education and training for Australian conditions
Report. New Titles from Academic Press
Results of Applying Probabilistic IR to OCR Text
Retrieving Terms and their Variants in a Lexicalized Unification-Based Framework
RT-Z: An Integration of Z and timed CSP
Rule-Based Programming
Scientific Supercomputing in the 90 s: the Grand Challenges, the GlobalVillage and the Great Debate
Second International Joint Conference on Artificial Intelligence: London, September, 1971
Security as an Add-On Quality in Persistent Object Systems
Selected bibliography of Ershov s papers
Self-Diagnosis of a MIMD Parallel System
Semantic Definitions for Normal Open Programs
Semantic Optimization of Queries in Deductive Object-Oriented Database
SIGIR 94: Proc./Seventeenth Annual Intern. ACM-SIGIR Conf. on Research and Development in Information Retrieval, organised by Dublin City Univ. Dublin, Ireland, 3-6 July 1994
Silicon Towards 2000. Devices. A National Research Programme in Silicon VLSI and CAD
Simulation Strategies for Computer Networks on a Parallel MIMD Computer
Software Engineering of Parallel Programs in a Computationally Oriented Display Environment