Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
реализация
Связанные издания:
! = 1 Optimizing Optimal -calculus Implementations
20-->30 Transformation of Cellular Algorithms
7. Architectures and Implementations of Spatio-temporal Database Management Systems
Abstract Interpretation Using TDGs
A Case Study in the Parallel Implementation of Functional Languages Using Skeletons
ACE: And/Or-parallel Copying-based Execution of Logic Program
ACM SIGPLAN 92 Conf. on Programming Language Design and Implementation.:Proc./ San Francisco, California.June 17-19, 1992
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
A Computer Architecture for Ada
A Concurrent Compiler for Modula-2+
A Customizable Substrate for Concurrent Languages
A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine
A Depository for Structured Text Objects
Advanced Encryption Standard - AES: Revised Selected and Invited Papers: 4th International Conference, AES 2004. Bonn, Germany, May 2004
Advances in Computer Systems Architecture: Proc./11th Asia-Pacific Conference, ACSAC 2006. Shanghai, China, September 2006
Advances in Grid and Pervasive Computing: Proc./Second International Conference, GPC 2007. Paris, France, May 2007
Advances in Web Based Learning - ICWL 2006: Revised Papers/ 5th International Conference, Penang,Malaysia,July 2006
Advances in Web Based Learning - ICWL 2008: Proc./7th International Conference. Jinhua, China, August 2008
A Flat GHC Implementation for Supercomputers
A Framework of Syntactic Models for the Implementation of Visual Languages
A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X
A Functional Database
A General Framework for Modular Implementations of Modular System Specifications
A Generator for Production Quality Compilers
A Generic Process to Refine a B Specification into a Relational Database Implementation
Agent-Oriented Software Engineering VI: Revised and Invited Papers/6th International Workshop, AOSE 2005. Utrecht, The Netherlands, July 2005
A High-Level Generic Interface to External Programming Languages for ECLiPSe
A Language Implementation Framework in Java
Algebraic Methodology and Software Technology: Proc./12th International Conference, AMAST 2008. Urbana, IL, USA, July 2008
Algorithm Engineering: Selected Results and Surveys
Algorithmic Aspects of Wireless Sensor Networks: Revised Selected Papers/5th International Workshop, ALGOSENSORS 2009
Algorithms - ESA 2004: Proc./12th Annual European Symposium. Bergen, Norway, September 2004
Algorithms - ESA 2007: Proc./15th Annual European Symposium. Eliat, Israel, October 2007
A Logic Language Based on GAMMA-like Multiset Rewriting
A Massively Parallel Implementation of the Full Search Vector Quantization Algorithm
A Message Passing Implementation of Lazy Task Creation
A Method for Implementing Equational Theories as Logic Programs
A Microcomputer Implementation of an ER Query and Update Interface
Am Implementation for Small Databases with High Availability
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces
A Multiprocessor Implementation of Joyce
A Multithreaded Implementation of Id using P-RISC Graphs
Analysis of SLG-WAM Evaluation of Definite Programs
An APL Implementation of Todd-Coxeter Coset Enumeration
An approach to development of the decision support system for enterprise with complex technological infrastructure
An Assume Facility for CAS, with a Sample Implementation for Maple
An Efficient Implementation of L Language Data Processing Algorithms
An Efficient Implementation of Multiple Return Values in Scheme
An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers
An Efficient Meta-lock for Implementing Ubiquitous Synchronization
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »