Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
метод
Связанные издания:
Implementierungstechniken fur Monitore
Improved Multitheading Techniques for Hiding Communication Latency in Multiprocessor
Improving Compiler and Run-Time Support for Irregular Reductions Using Local Writes
Improving Estimation Practics by Applying Use Case Models
Improving First-Come-First-Serve Job Scheduling by Gang Scheduling
Improving Hazard Classification through the Reuse of Descriptive Arguments
Improving Programming Re-usability via an Object-Oriented Approach in Multi-Sensor System Evaluation
Improving Semi-Static Branch Prediction by Code Replication
Incremental Multi-threaded Garbage Collection on Virtually Shared Memory Architectures
Index Structures for Selective Dissemination of Information Under the Boolean Model
Inductive Definitions, Semantics and Abstract Interpretation
Informal Strategies in Design by Refinement
Informational system for integrating strategic management methodologies
Information Engineering for Systems in Ada: A new Metrics for Complexity
Information Processing in Medical Imaging: Proc./20th International Conference, IPMI 2007. Kerkrade, The Netherlands, July 2007
Information Systems and Artificial Intelligence: Integration Aspects. Proc./First Workshop, Ulm, FRG, March 1990
Information Visualization Using 3d Interactive Animation
Inkwell: A 2 1/2-D Animation System
Inlining of Virtual Methods
Innovative Schaltunstechnik statt Software- SHUFFLE SORT: VLSI-Beispiel eines Sortierers
Insertion Scheduling: An Alternative to List Scheduling for Modulo Schedulers
Instruction-level Parallelism in Prolog: Analisis and Architectural Support
Integer Loop Code Generation for VLIW
Integrated Formal Methods: Proc./Second Intern. Conf., IFM 2000, Dagstuhl Castle, Germany, November 2000
Integrated Formal Methods: Proc./Third Intern. Conf., IFM 2002, Turku, Finland, May 2002
Integrated Informal Object-Oriented and Formal Modeling Techniques
Integrating a Program Design Calculus and a Subset of UML
Integrating Domain Specific Language Design in the Software Life Cycle
Integrating SA/RT with LOTOS
Integrating Semi-formal and Formal Requirements
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems
Integrating VDM++ and Real-Time System Design
Integration a Formal Specification Notation with HOOD
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./Second International Conference, CPAIOR 2005. Prague, Czech Republic, May/June 2005
Integration of Formal Datatypes within State Diagrams
Integration of Z-Based Semantics of OO-Notations
Intelligent Networks as a Data Intensive Application (INDIA)
Intelligent Techniques for Web Personalization: Revised Selected Papers/IJCAI 2003 Workshop, ITWP 2003. Acapulco, Mexico, August 2003
Interactive Pen-and-Ink Illustration
Interactive System Safety and Usability Enforced with the Development Process
Interfacing Engines and Schedulers in Or-Parallel Prolog Systems
Interleaving: A Multithreading Technique Targeting Multiprocessors and Workstations
Introducing HOOD into Software Process Modelling Based Environments
Introduction to Probabilistic Methods of Knowledge Representation and Processing
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations
Is Huffman Coding Dead?
Issues in Theorem Proving Based on the Connection Method
Issues in Translating Smalltalk to Java
Iterative Rule Induction Methods
Just-in-Time Stub Generation
« первая
‹ предыдущая
…
8
9
10
11
12
13
14
15
16
…
следующая ›
последняя »