Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
таблица
Связанные издания:
Aggregation and Composition in Object-Relational Database Design
A Modulus Oriented Hash Function for the Construction of Minimal Perfect Tables
An Algorithm for the Implementation of Replicated Tables
Analysis of parallel uniform hashing
Another Solution of Scoping Problems in Symbol Tables
A Practical, Robust Method for Generating Variable Range Tables
A Self-organizing Semantic Map for Information Retrieval
A Survey of DBMS Research Issues in Supporting Very Large Tables
A Universal-Scheme Approach to Statistical Database Containing Homogeneous Summary Tables
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./16th International Conference, TABLEAUX 2007. Aix en Provence, France, July 2007
Boolean Routing
Borland s Spreedsheet Contender
Compact Dispatch Tables for Dynamically Typed Object Oriented Languages
DEFTABLE:A Macro for Implementing Tables
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs
Effective Representation of Aliases and Indirect Memory Operations in SSA Form
Exploiting Parallelism in Tabled Evaluations
Fast Algorithms for Compressed Multimethod Dispatch Table Generation
Generating Finite Counter Examples with Semantic Tableaux
Higher-Order Tableaux
Labelled Tableaux for Multi-Modal Logics
Linear Analytic Tableaux
Link Deletion in Model Elimination
Minimizing Row Displacement Dispatch Tables
Model of Summary Tables Selection for Data Warehouses
Multiple State and Single State Tableaux for Combining Local and Global Model Checking
Non-elementary Speedups between Different Versions of Tableaux
Order-Preserving Minimal Perfect Hash Functions and Information Retrieval
Quattro Pro 4.0- новый ход корпорации Borland
Query by Example for Nested Tables
Realizing Sets by Hash Tables
Real Programmers Don t Use Spreadsheets
Selector Table Indexing & Sparse Arrays
Semantic Tableaus for Inheritance Nets
Simple and Efficient BURS Table Generation
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux
Tableau for Intuitionistic Predicate Logic as Metatheory
Tableaux for the Logic of Proofs
Table-Driven Bottom Up Parser in Prolog
The Even More Liberalized -Rule in Free Variable Semantic Tableaux
The Interactive Matrix Chart
Theorem Proving with Analytic Tableaux and Related Methods: Proc./4th Intern. Workshop, TABLEAUX 95. Schloss Rheinfels, St.Goar, Germany, May 1995
Towards Automatic Deductive Verification of C Programs over Linear Arrays
View Maintenance Using Conditional Tables
Visually Mining on Multiple Relational Tables an Once
Web-дизайн для всех. Свое имя в сети. Часть 3
Автоматизация создания таблицы конфигурации программного обеспечения для систем реального времени в авионике
1
2
следующая ›
последняя »