Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
построение
Связанные издания:
A Calculus of Gamma programs
A competitive 2-server algorithm
A Compiler Construction Project For an Object-Oriented Language
A Fine-Grain Sort Discipline and its Application to Formal Program Construction
A Framework for Constructing Adaptive Component-Based Applications: Concepts and Experiences
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: Revised Lectures/Intern. Summer School and Workshop, Oxford, UK, April 2000
Algorithms - ESA 2004: Proc./12th Annual European Symposium. Bergen, Norway, September 2004
Algorithms - ESA 2005: Proc./13th Annual European Symposium. Palma de Mallorca, Spain, October 2005
A Memory Organisation Independent Binding Environment for AND and OR Parallel Execution of Logic Pragrams
A Multiparadigm Approach to Compiler Construction
An Algorithm for Automatic Construction of Class Diagrams
An Architecture for a Construction System
An Architecture for Verified Compiler Construction
An Environment for Building Customizable Software Components
Arjuna and Voltan: Case Studies in Building Faut-Tolerant Distributed Systems Using Standard Components
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury
A Two-Phase Approach to Reverse Engineering Using Formal Methods
A Unifying Framework for Correct Program Construction
Automatic Construction of Hypertexts for Self-referencing: The Hyper-TextBook Project
Automatic Construction of Prolog Primitives for Type Checking Analysis
Automating the Design of Algorithms
B 98: Recent Advances in the Development and Use of the B Method: Proc./Second Intern. B Conf. Montpellier, France, April 1998
Bilingual Tests with Swedish, Finnish, and German Queries: Dealing with Morphology, Compound Words, and Query Structure
Borland C++ 4.0 - среда для построения 16- и 32-разрядных прикладных программ
Borland InterBase 7 для построения масштабируемых систем
Building an APL2 X-Windows Interface for VM and AIX with a General APL2-to-C Interface
Building an Interpreter with Vmgen
Building Applications with Domain-Specific Markup Languages: A Systematic Approach to the Development of XML-Based Software
Building Large Distributed Software Systems Using Objects
Building Modern Distributed Systems
Building Modular Communication Systems in Ada: The Simple_Com Approach
Building the Data Warehouse
Case Study of Technology of Building Expert Systems
Closed Object Boundaries from Scattered Points
Code Complete
Combined Use of Languages in Object-Oriented Software Construction
Comparison of Two Approaches for Automatic Construction of Web Applications: Annotation Approach and Diagram Aprroach
Compiler Construction
Compiler Construction: Craftsmaship or Engineering?
Compiler Construction in Higher Order Logic Programming
Compiler Construction: Proc./11th Intern. Conf., CC 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002
Compiler Construction: Proc./12th Intern. Conf., CC 2003, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003
Compiler Construction: Proc./16th Intl Conference, CC 2007, Held as Part of the Joint European Conferences on the Theory and Practice of Software, ETAPS 2007. Braga, Portugal, March 2007
Compiler Construction: Proc./6th Intern. Conf., CC 96. Linkoping, Sweden, April 1996
Compiler Construction: Proc./7th Intern. Conf., CC 98, Held as Part of the European Joint Conf. on the Theory and Practice of Software, ETAPS 98. Lisbon, Portugal, March-April, 1998
Compiler Construction: Proc./8th Intern. Conf., CC 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999
Compiler Construction: Proc./9th Intern. Conf., CC 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000
Compiler Construction Using LOTOS NT
Compiling Legal Hypertexts
Conception et Realisation d un logiciel pour la Construction Interactive d objets 3D par le modele CSG
1
2
3
4
5
следующая ›
последняя »