Сортировать по:
| Выпуск | Название | |
| Том 26, № 1 (2023) | Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
| "... for deriving finite test suites with guaranteed fault coverage for Input / Output automata. A method ..." | ||
| Том 23, № 4 (2020) | О разделимости входо-выходных полуавтоматов с недетерминированным поведением | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
| "... such automata and propose an approach for deriving such a separating sequence. ..." | ||
| Том 27, № 2 (2024) | Зависимость первой частоты собственных колебаний балочной фермы с треугольной решеткой от числа панелей | Аннотация PDF (Rus) похожие документы |
| Михаил Николаевич Кирсанов, Александр Иванович Муницын | ||
| "... An algorithm is given for deriving the analytical dependence of the smallest natural frequency ..." | ||
| Том 28, № 3 (2025) | Оптимизация алгоритмов численного моделирования C++ с использованием методов многопоточности | Аннотация PDF (Rus) похожие документы |
| Юрий Сергеевич Ефимов | ||
| "... Представлены основные методы численного моделирования (конечных разностей, конечных элементов ..." | ||
| Том 20, № 4 (2017) | Фреймворк для облачного видеомониторинга через IP-камеры с интуитивно-понятным интерфейсом | Аннотация PDF (Rus) похожие документы |
| А. С. Гришина, В. В. Кугуракова | ||
| "... управлением для конечного пользователя. ..." | ||
| Том 23, № 5 (2020) | Сравнительный анализ производительности механизмов метапрограммирования в языке Java | Аннотация PDF (Rus) похожие документы |
| А. Ф. Галиуллин, И. С. Шахова | ||
| "... языке Java может негативно сказываться на времени сборки и работе конечного программного продукта, в ..." | ||
| Том 22, № 6 (2019) | Stem-образование в современной школе в рамках проектной деятельности по естественно-научным дисциплинам | Аннотация PDF (Rus) похожие документы |
| Т. Ю. Гаврилова, О. Г. Игнатова | ||
| "... совершение расчетов и представление конечных результатов с помощью современных технических средств. Таким ..." | ||
| Том 24, № 5 (2021) | Развитие информационной системы регистрации результатов интеллектуальной деятельности сотрудников научного учреждения | Аннотация PDF (Rus) похожие документы |
| С. А. Власова, Н. Е. Каленов | ||
| "... ориентирована как на конечного пользователя, заинтересованного в получении конкретных данных, так и на ..." | ||
| Том 24, № 2 (2021) | Идентификация авторов в рамках предметной области в семантической библиотеке | Аннотация PDF (Rus) похожие документы |
| О. М. Атаева, В. А. Серебряков, Н. П. Тучкова | ||
| "... позволяют оценить вклад автора в публикацию, несмотря на то, что конечно, реальный вклад в научное ..." | ||
| Том 28, № 1 (2025) | Новый метод описания вихревых ковариационных экологических данных | Аннотация PDF (Rus) похожие документы |
| Равиль Рашидович Нигматуллин, Александр Алексеевич Литвинов, Сергей Игоревич Осокин | ||
| "... теория дает потенциальному исследователю способ очистки исходных данных и в конечном итоге предлагает ..." | ||
| Том 24, № 5 (2021) | Опыт верификации реализаций протокола TLS 1.3 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... , предоставляющая средства автоматизации тестирования на основе использования конечных автоматов. Состояния ..." | ||
| Том 26, № 1 (2023) | Опыт верификации реализаций клиента протокола TLS 1.3 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... , предоставляющая средства автоматизации тестирования на основе использования конечных автоматов. Состояния ..." | ||
| Том 15, № 1 (2012) | Инфраструктура научных информационных ресурсов для непрерывного доступа к спутниковым данным исследования Земли из космоса | Аннотация PDF (Rus) PDF (Rus) похожие документы |
| Е. Б. Кудашев | ||
| "... a Service (SaaS)). SaaS подразумевает предоставление приложений для конечного пользователя в виде ..." | ||
| 1 - 13 из 13 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
