Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
метод
Связанные издания:
A Two-Level Approach for Modeling and Verification of Telecommunication Systems
A Uified Software Pipeline Construction Scheme for Modulo Scheduled Loops
A UML-Based Methodology for Hypermedia Design
A Unified Architectural Tradeoff Methodology
Authoring Software in Special Education
Automatically Generating Information from a Z Specification to Support the Classification Tree Method
Automatic Claims Derivation from a User s Security Policy using AI Techniques
Automatic Generation of Compiled Forms for Linear Recursions
Automatic Generation of State Invariants from Requirements Specifications
Automatic Verification of Speed-Independent Circuit Designs Using the Circal System
Automating Object-Oriented Software Development Methods
Automating (Specification = Implemenation) using Equational Reasoning and LOTOS
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics
A Visual Software Process Language
Avoiding Unconditional Jumps by Code Replication
Balanced, Locality-Based Parallel Irregular Reductions
Begriffsverzeichnis: a Concept Index
Benefits and Problems of Formal Methods
Big Data Analytics: Proc./3rd International Conference, BDA 2014, New Delhi, India, December 2014
Binary Wrapping: A Technique for Instrumenting Object Code
Bioinformatics Research and Applications: Proc./12th International Symposium, ISBRA 2016, Minsk, Belarus, June 2016
Biomimetic and Biohybrid Systems: Proc./5th International Conference, Living Machines 2016, Edinburgh, UK, July 2016
Bit-Sliced Signature Files for Very Large Text Databases on a Parallel Machine Architecture
Bounded Model Checking for Timed Systems
Branch Effect Reduction Techniques
Breaking through the V and V Bottleneck
Building Bridges: HCI, Visualization, and Non-formal Modeling: Revised Selected Papers/ IFIP WG 13.7 Workshops: 7th HCIV@ECCE 2011, Rostock, Germany, August 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 2011
Building Generic User Interface Tools: an Experience with Multiple Inheritance
Business Process Management: Models, Techniques, and Empirical Studies
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages
Case Study in Trace Specification of Non-deterministic Modules
CASE-системы и методы спецификации программ
Causality Based Proof of a Distributed Shared Memory System
CAVEAT: Technique and Tool for Computer Aided Verification and Transformation
Centralized Concurrency Control Methods for High-End TP
Chapter 12. A Compilation Method for Communication-Efficient Partitioning of DOALL Loops
Chapter 18. A Duplication Based Compile Time Scheduling Method for Task Parallelism
Chapter 2. Circuit Design in Ruby
Charade: Remote Control of Objects Using Free-Hand Gestures
Checking Absence of Illicit Applet Interactions: A Case Study
C in Education and Software Engineering
Classification Schemes to Aid in the Analysis of Real-Time Systems
Classification supervisee de documents
Closed Object Boundaries from Scattered Points
CLPS-B - A Constraint Solver for B
Cluster-Based Database Selection Techniques for Routing Bibliographic Queries
CMPP 98: First Intern. Workshop on Constructive Methods for Parallel Programming. Marstrand, Sweden, June 18, 1998
Code Liberation - A Tool for Refitting Code to a Parallel Environment
Coherent Models for Object-Oriented Analysis
Combinational Pattern Matching: Proc./16th Annual Symposium, CPM 2005. Jeju Island, Korea, June 2005
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »