Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
последовательность
Связанные издания:
Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets
A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling
Bioinformatics Research and Applications: Proc./8th International Symposium, ISBRA 2012, Dallas,TX,USA, May 2012
Central European Functional Programming School: Revised Selected Lectures/ Third Summer School, CEFP 2009, Budapest, Hungary and Komarno, Slovakia, May 2009
Combinatorial Pattern Matching: Proc./22nd Annual Symposium, CPM 2011, Palermo, Italy, June 2011
Combinatorics on Words: Proc./10th International Conference, WORDS 2015, Kiel, Germany, September 2015
Combinatorics on Words: Proc./9th International Conference, WORDS 2013, Turku, Finland, September 2013
Communication Technologies for Vehicles: Proc./13th International Workshop Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 2018
Computing the All-Pairs Longest Chains in the Plane
Conceptual Modeling - ER 2010: Proc./29th International Conference on CM, Vancouver,BC,Canada, November 2010
Conditions for Resolving Observability Problems in Distributed Testing
Construction of Checking Sequences Based on UIO Sequences
Distribution and Management of Secret Sequence Numbers for Large Computer Networks in an Internet Security Access Control Scheme
Edicates - A Specification of Calling Sequences
Global Consistency for Continuous Constraint
Modelling Foundations and Applications: Proc./7th European Conference, ECMFA 2011, Birmingham, UK, June 2011
New Frontiers in Mining Complex Patterns: Revised Selected Papers/3rd International Workshop, NFMCP 2014, Held in Conjunction with ECML-PKDD 2014, Nanvy, France, September 2014
New Frontiers in Mining Complex Patterns: Revised Selected Papers/4th International Workshop. NFMCP 2016 Held in Conjunction with ECML-PKDD 2015, Porto, Portugal, September 2015
On the Learnability of a Restricted Predicate Formulae
Principles of Distributed Systems: Proc./18th International Conference, OPODIS 2014, Cortina d Ampezzo, Italy, December 2014
Probability - 2: 3rd Edition
Scheduling Time-Critical Instructions on RISC Machines
Sequences and Their Applications - SETA 2008: Proc./5th International Conference. Lexington, KY, USA, September 2008
Sequences and Their Applications - SETA 2010: Proc./6th International Conference, Paris, France, September 2010
Sequences and Their Applications - SETA 2014: Proc./8th International Conference, Melbourne, VIC, Australia, November 2014
Sequences, Subsequences, and Consequences: Revised Selected Papers/International Workshop, SSC 2007. Los Angeles, CA, USA, May/June 2007
String Processing and Information Retrieval: Proc./21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 2014
Tests and Proofs: Proc./9th International Conference, TAP 2015 Held as Part of STAF 2015, L Aquila, Italy, July 2015
Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри
Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК
Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК
Анализ последовательностей ДНК с помо ью кода Голея
Вейвлет-анализ и кластеризация генетических последовательностей
Выбор оптимальной последовательности контрольных испытаний технических изделий в условиях неопределенности
Выявление статистических закономерностей в символьных последовательностях
Генерация тестовых последовательностей
Индуктивный синтез программ обработки символьных последовательностей
Исследование подхода к решению задачи классификации последовательностей, представленных скрытыми Марковскими моделями, с использованием инициированных этими моделями признаков
Исследование ускоренного поиска близких текстовых последовательностей с помо ью векторных представлений
Комбинаторика слов и построение тестовых последовательностей
Методы выявления структурных единиц в символьных последовательностях
Об особенностях формирования и упорядочения выборок
О сложности проверки су ествования установочных последовательностей для недетерминированных автоматов
Пакет программ CisSearch для анализа регуляторных последовательностей ДНК
Последовательность Фибоначчи-Падована и матрицы преобразования Мак-Вильямс
Построение тестовых последовательностей при минимуме информации о тестируемой системе
Потенциальные функции для анализа сигналов и символьных последовательностей разной длины
Символьные вычисления над последовательностями
Система распознавания цис-элементов на последовательностях ДНК
Средства управления пропуском тестовых последовательностей и анализа полученных результатов
1
2
следующая ›
последняя »