Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ACM Computing Surveys
Связанные издания:
A Comparative Analysis of Functional Correctness
A Functional Overview of the Core System with Glossary
Analyzing Algorithms by Simulation: Variance Reduction Techniques and Simulation Speedups
An Introduction to Assertional Reasoning for Concurrent Systems
An Overview of Deterministic Functional RAM Chip Testing
A Survey of Adaptive Sorting Algorithms
A Survey of Image Registration Techniques
A Survey of PRAM Simulation Techniques
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
A Taxonomy of Computer Program Security Flaws
Cache Coherence in Large-Scale Shared-Memory Multiprocessors: Issues and Comparisons
Cache Memories
Centralized versus Decentralized Computing: Organizational Considerations and Management Options
Comparative Models of the File Assignment Problem
Computational Strategies for Object Recognition
Computer-Music Interfaces: A Survey
Conception, Evolution, and Application of Functional Programming Languages
Concurrency Control in Advanced Database Applications
Concurrency Control in Distributed Database Systems
Data Structures and Algorithms for Disjoint Set Union Problems
Deadlock Detection in Distributed Databases
Debugging Concurrent Programs
Distributed File Systems: Concepts and Examples
Distributed Object-Based Programming Systems
Document Formatting Systems: Survey, Concept, and Issues
Evaluation Relational Algebras Incorporating the Time Dimention in Databases
Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases
Graphics Programming Using the Core System
Gross Motion Planning - A Survey
Heterogeneous Distributed Database Systems for Production Use
High-Speed Local Area Networks and their Performance: A Survey
Householder Reduction of Linear Equations
How to Write Parallel Programs: A Guide to the Perplexed
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial
Information Systems Security Design Methods: Implications for Information Systems Development
Interactive Editing Systems: Part 1
Interactive Editing Systems: Part II
Interoperability of Multiple Autonomous Databases
Jooin Processing in Relational Databases
Model-Based Object Recognition in Dense-Range Images - A Review
Modeling for Text Compression
Models of Machines and Computation for Mapping in Multicomputers
On Randomization in Sequential and Distributed Algorithms
Paradigms for Process Interaction in Distributed Programs
Parallel Logic Programming Systems
Parallel Logic Simulation of VLSI Systems
Planar Geometric Projections and Viewing Transformations
Principles of Transaction-Oriented Database Recovery
Probabilistic Diagnosis of Multiprocessor Systems
Programming Languages for Computer Music Synthesis, Performance, and Composition
1
2
следующая ›
последняя »