Вы здесь

Главная

метод

Связанные издания:

Verification Techniques for LOTOS
Verification: Theory and Practice. Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Visual Data Mining: Theory, Techniques and Tools for Visual Analytics
Visualization of Message Passing Parallel Programs
Visualization of Multidimensional Shape and Texture Features in Laser Range Data using Complex-Valued Gabor Wavelets
Visualizing Objects: Methods for Exploring Human Computer Interaction Concepts
Visualizing Reference Database
Visualizing the Behavior of Object-Oriented Systems
Visual Verification of Reactive Systems
VISWAS and on Diagnosability with IEEE Std P1522 and UML 2.0 Testing Profile
VLIW Compilation Techniques for Superscalar Architectures
VLIW Compilation Techniques in a Superscalar Environment
VLSI-Algorithmen: innovative Schaltungstechnic statt Software
Warp-Edge Optimization in XPath
Well!: An Evaluation Procedure for All Logic Programs
"What Is an Infrastructure?" Towards an Informatics Answer
Where Do Operations Come From? A Multiparadigm Specification Technique
Why Explore Object Methods, Patterns, and Architectures?
Wie erstellt man ein objektorientiertes Analysemodell?
Wie evolutionar sind die objektorientierten Analysemethoden? Ein kritischer Vergleich
Windows 95: расширения оболочек
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
XFSM: A Formal Model of Communicating State Machines for Implementation Specifications
XHIVE: Interactive Parallel Application Development using the PCF Metodology
XI. Focus
Xspin/Project - Integrated Validation Management for Xspin
XVI. RAISE
Yet Another Intelligent Backtracking Method
ZB 2003 - Formal Specification and Development in Z and B: Proc./Third Intern. Conf. of B and Z Users, Turku, Finland, June 2003
Zception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
Zero-cost Range Splitting
ZUM 97: The Z Formal Specification Nonation: Proc./10th Intern. Conf. of Z Users. Reading, UK, April 1997
Автоматизация исследований в математике: Сборник научных трудов
Автоматизация методов принятия решений на железнодорожном транспорте как гарантия обеспечения безопасности движения
Автоматизированные методы спецификации
Автоматизированный практикум по методам конструирования компиляторов
Автоматные методы описания и исследования вероятностных систем
Агентные технологии для отбора информативных признаков
Адаптивные методы извлечения информации из статистических таблиц, представленных в текстовом виде
Адаптивные методы и средства поддержки дистанционного обучения программированию
Адаптируемые средства программирования. Методы оценки трансляторов: (Материалы школы-семинара 5-10 июня 1989 г.)
Алгоритмический метод оптимизации оценки трудозатрат
Алгоритмическое обеспечение численного моделирования линейных процессов оптимального управления
Анализ геометрического метода формирования модульной структуры нейронных сетей
Анализ распределенных вычислительных систем с применением теоретико-модельных методов
Анализ систем массового обслуживания конечной емкости с групповым потоком и групповым обслуживанием
Аналитические методы решения нелинейных операторно-функциональных уравнений в нерегулярных случаях
Аналитический метод решения игровой задачи о "мягкой посадке" для движу ихся объектов
Архиватор RAR
Балансно-характеристический метод численного решения одномерных задач аэроакустики