Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
библиография
Связанные издания:
A Bibliography for the Development of an Intelligent Mathematical Programming System
A Bibliography of Net Theory
A Bibliography of Ole-Johan Dahl
A Bibliography on Garbage Collection and Related Topics
A Bibliography on Parallel Parsing
A Bibliography on Performance Issues in ATM Networks
Abstraction in Software Model Checking: Principles and Practice
Algebraic System Specification and Development: Survey and Annotated Bibliography, 2nd Edition, 1997
An Annotated Bibliography of Dependable Distributed Computing
An Annotated Bibliography of Interactive Program Steering
An Annotated Bibliography on Integration in Software Engineering Environments
An Annotated Bibliography on Object-Orientation and Deduction
An Annotated Bibliography on Software Inspections
An Annotated Bibliography on Software Maintenance
An Annotated Bibliography on Software Process Improvement
Annotated Bibliography on Global States and Times in Distributed Systems
Annotated Bibliography on Network Management
An Updated Bibliography of Temporal, Spatial, and Spatio-temporal Data Mining Research
An Update of the Temporal Database Bibliography
A Preliminary Annotated Bibliography on Domain Engineering
A Survey on Attribute Grammars. Part III. Classified Bibliography
Authentication in Distributed Systems: A Bibliography
Bibliography of Software Reuse: 1998-1991
Bibliography on Computerization and Privacy
Bibliography on Database Security
Bibliography on Spatiotemporal Databases
Bibliograthy on Syntax Error Handling in Context Free Languages
CMP CAD Services
Distributed Artificial Intelligence: An Annitated Bibliography
Duration Calculus. Bibliography
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
Mobile Processes: A Commented Bibliography
Object concepts and bibliography
Object-Oriented Metrics: an Annotated Bibliography
Prolog: An annotated bibliography
Reading in Scheme
Runtime Code Generation for C++ as a Foundation for Domain-Specific Optimization
Schema Evolution in Database Systems - An Annotated Bibliography
Selected, Annotated Bibliography on Process-Centered Software Engineering Environments
Select Z Bibliography
Software Portability Annotated Bibliography
Synchronous Programming of Reactive Systems
Temporal Database Bibliography Update
Testing Transition Systems: An Annotated Bibliography
Verification of Systems with an Infinite State Space
Web Engineering Resources
Алгоритм построения логических правил при разметке текстов
Андрей Петрович Ершов
Библиографический указатель по теории автоматов и сложности вычислений в двух частях
Библиография по конвейерным и векторным вычислениям
1
2
следующая ›
последняя »