Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Australian Computer Science Communications
Связанные издания:
Abstraction of Business Rules in Object-Oriented Design
A Connectionist View on Document Classification
A Critical Analysis of Distributed Database Recovery Protocols
A Cryptographic Solution to Discretionary Access Control in Structurally Object-Oriented Databases
Adaptive Buffer Allocation
A Feedback Mechanism for Query by Navigation
A LAN-based Comparison of IPC Abstractions
Algebraic Semantics of Imperative Statements
An Integrated Approach to the Floorplanning, Placement and Routing of Hierarchical Designs
A Nonmonotoning Reasoning Belief Revision System
An Optimal Parallel Algorithm for the Euclidean TSP on EREW PRAM
An Orthogonal Classification of Multicast Mechanisms
A Polymorphic Language with First-Class Modules
A Simple Implementation of Divide and Conquer Parallelism (Expressed in Haskell)
A Simple Semantics for Logic Programming Languages with Dynamic Scheduling
Asynchronous Logic Techniques for Data-Rate Matching and Area-Time Reduction
A Two-Stack (Bottom-up) Parser Construction: Beyond LR Parsing Without Backtracking
Behavioural Retrieval from Class Libraries
Bounded-Space Tagless Garbage Collection for First Order Polymorphic Languages
Bounding and Expected Size of Irredundant Forms
CIGRAPHS: A New Graph Model
Composing Grammar Transformations to Construct a Specification of a Parser
Computer Supported Query Formulation in an Evolving Context
Constructing a Legal Database on Quixote
Declarative Link Specifications for Reuse of Hypermedia
Divide-and-Conquer Mapping of Parallel Programs onto Hypercube Computers
Efficient Modelling of Domains for Computer Tutoring Systems
Efficient Recognition of Events in a Distributed System
Engineering the Knowledge Base
Evaluation of Automatically-Generated Compilers
Exploring the Boundaries of Static Safety in Persistent Application Systems
Extending Z with Modules
Fault-tolerant Real-time Communication with Reduced Resource Overhead
GB-Ordering: A Dynamic & Efficient 2-d Spatial Access Method
Generalised Cumulative Arrays and their Applications to Secret Sharing Schemes
Identity Preservation and Normal Forms in Relational Databases
Implementation and Development Issues for the Linear Logic Programming Language Lygon
Implementation and Performance of the MPI Message Passing Interface on the Fujitsu AP1000 Multicomputer
Improved Inverted File Processing for Large Text Databases
Improving Editing Environments by Integrating Attribute Grammars and Relations
Information Security in Mobile Databases
Insertion Anomalies and the Justification for 4NF in Relational Databases
Integrating Links and Versioning in Document Management
Issues in Active Databases
Keyboard User Verification: Toward an Accurate, Efficient and Ecologically Valid Algorithm
Limited-Memory Predictive Compression for Chinese Text
Load Balancing and Workstation Autonomy on Amoeba
Logging in Main Memory Databases
LRNL(1): LR(1) with Nonterminal Lookaheads and Its Benefits for Incremental Parsing
Managing Persistent Objects in a Distributed Environment
1
2
следующая ›
последняя »