Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
структура
Связанные издания:
Programming Languages Specification and Prototyping Using the MAX System
Programming Languages: Structures and Models
Programming paradigms in higher education
Programming the Premature Loop Exit: From Functional to Navigational
Programming with Distributed Data Structure for EM-X Multiprocessor
Program Restructuring via Design-Level Manipulation
Program Structure Analysis in a Global Optimization
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
Protected Records in Ada 9X
Protocol Boosters: Applying Programmability to Network Infrastructures
Prototype of a Grammar Checker Kernel
Proving Properties of Programs Defined Over Recursive Data Structures
Quantum Interaction: Selected Papers/7th International Conference, QI 2013, Leicester, UK, July 2013
Quantum Mechanical Programs for Distributed Systems: Strategies and Results
Query Evaluation via Tree-Decompositions. Extended Abstract
Randomized Incremental Construction of Simple Abstract Voronoi Diagrams in 3-Space
Ranking in Spatial Databases
Reachability Problems: Proc./3rd International Workshop, RP 2009, Palaiseau, France, September 2009
Reachability Problems: Proc./7th International Workshop, RP 2013, Uppsala, Sweden, September 2013
Realizing Sets by Hash Tables
Realizing the Information Future
Real-Time Event Structures and Scott Domains
Recent Trends in Data Type Specification: Selected Papers/10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. S.Margherita, Italy, May-June 1994
Recovering Logical Structures of Data
Recovery of Architectural Structure: A Case Study
Reducing Network Hardware Quantity by Employing Multi-Processor Cluster Structure in Distributed Memory Parallel Processors
Refinement of Actions in Event Structures and Causal Trees
Regular Event Structures and Finite Petri Nets: A Conjecture
Relational structures model of concurrency
Remarks on the Equivalence of c-e Structures and Petri Nets
Repeated Structures: Image Correspondence Constraints and 3D Structure Recovery
Representation and Analysis of the SYNTHESIS Data Structures in the Storage System
Representation of Three-Dimensional Object Structure as Cross-Ratios of Determinants of Stereo Image Points
Representing CSP-like Systems as Cause-effect Structures
Restructuring for Style
Retraining and Redundancy Elimination for a Condensed Nearest Neighbour Network
Retrieval Activities in a Database Consisting of Hetergeneous Collections of Structured Text
Retrospection of the PQCC Compiler Structure
Revisions: Seeing the Text, Again
REX-Research and Education in Concurrent Systems (An Event Structure Representation of Trace Languages. Event Structure Semantics of Elementary Net Systems (kopieen van transparanten))
REX-Research and Education in Concurrent Systems (Event Structures: Basic Theory and Applications)
Safe Approximation of Data Dependencies in Pointer-Based Structures
Safe Structural Conformance for Java
Safety and Security of Programmable Network Infrastructures
Scalable Software Libraries
Scalable Visual Hierarchy Exploration
Seeing the Text
Segmented Iterators and Hierarchical Algorithms
Semantic Information Connected with Data
Semantic Structures for Video Data Indexing
« первая
‹ предыдущая
…
7
8
9
10
11
12
13
14
15
…
следующая ›
последняя »