Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
реализация
Связанные издания:
Managing Large-Scale Service Deployment: Proc./19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008. Samos Island, Greece, September 2008
Mathematical Morphology and Its Applications to Signal and Image Processing: Proc./12th International Symposiu, ISMM 2015, Reykjavik, Iceland, May 2015
Mathematical Software - ICMS 2006: Proc./Second International Congress on Mathematical Software. Castro Uridales, Spain, September 2006
McJava - A Design and Implementation of Java with Mixin-Types
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008: Part II: Proc./11th International Conference. New York, NY, USA, September 2008
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008: PartI: Proc./11th International Conference. New York, NY, USA, September 2008
Merging Ada 9X and C++ in a Graphics System Software Architecture
Message Dispatch on Pipelined Processors
Metaphor: A Multi-stage, Object-Oriented Programming Language
MetaProlog Design and Implementation
Methods and Tools
Mobile Agents: Proc./6th Intern. Conf., MA 2002, Barcelona, Spain, October 2002
Model Checking Software: Proc./13th International SPIN Workshop. Vienna, Austria, March/April 2006
Model-Driven Configuration and Deployment of Component Middleware Publish/Subscribe Services
Model Transformantion Languages and Their Implementation by Bootstrapping Method
Monitoring Compliance of a Software System with Its High-Level Design Models
Multiobjective Optimization: Interactive and Evolutionary Approaches
Multiparadigm Programming with Object-Oriented Languages
Multiplex: A Formal Model for Multidatabases and Its Implementation
Multiprocessor Execution of Functional Programs
Naive Reverse can be Linear
Nature-Inspired Problem-Solving Methods in Knowledge Engineering: Part II: Proc./2nd Intl Work-Conference on the Interplay v Natural & Artificial Computation, IWINAC 2007. La Manga del Mar Menor, Spain, June 2007
NETWORKING 2008: Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet: Proc./7th International IFIP-TC6 Networking Conference. Singapore, May 2008
New Stream Cipher Designs: The eSTREAM Finalists
Next-Generation Satellite Networks: Architectures and Implementations
NSTO Programs (Not Subject To Occur-check)
Numerical Algorithms for the Cray T3D
Oberon Technical Notes
Object-Oriented Concurrent Refflective Languages can be Implemented Efficiently
Object-Oriented Implementation of OSI Application Layer Protocols
Object-Oriented Technology: Final Reports/ECOOP 2006 Workshops. Nantes, France, July 2006
Observational implementation of algebraic specifications
On Implementation of Tree Synchronized Languages
On Linear List Recursion in Parallel
On the Complexity of Parallel Implementation of Logic Programs
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs
OpenMP Shared Memory Parallel Programming: Proc./International Workshops, IWOMP 2005 & 2006. Eugene, OR, USA, June 2005, Reims, France, June 2006
Optimizing And-Or Parallel Implementations
Optimizing Multi-Method Dispatch Using Compressed Dispatch Tables
OR-parallel Prolog on Distributed Memory Systems
Our Experience and Learning in ERP Implementation
Output Value Placement in Moded Logic Programs
Overview of Modula-2 Implementation
Pallada System
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
Paragon Specifications: Structure, Analysis and Implementation
Parallel and Distributed Model Checking in Eddy
Parallel Computing Technologies: Proc./15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 2019
Parallel Generalized LR Parser based on Logic Programming
Parallel Implementation of Functional Languages
« первая
‹ предыдущая
…
4
5
6
7
8
9
10
11
12
…
следующая ›
последняя »