Сортировать по:
Выпуск | Название | |
№ 4(20) (2008) | РЕАЛИЗАЦИЯ ПОДСИСТЕМЫ БЕЗОПАСНОСТИ В МЕДИЦИНСКОЙ ИНФОРМАЦИОННОЙ СИСТЕМЕ «КЛИНИКА» | Аннотация PDF (Rus) похожие документы |
Д. Л. Можейко, К. Г. Киселев | ||
№ 3(11) (2006) | ПОСТРОЕНИЕ КОНЦЕПТУАЛЬНОЙ МОДЕЛИ КЛИНИКО-ДИАГНОСТИЧЕСКОЙ ЛАБОРАТОРИИ | Аннотация PDF (Rus) похожие документы |
Д. Л. Можейко, А. В. Анищенко, Е. В. Кильчевская | ||
№ 3(11) (2006) | ТЕХНОЛОГИЯ АВТОМАТИЗИРОВАННОЙ ДИАГНОСТИКИ ЗАБОЛЕВАНИЙ ЛИМФАТИЧЕСКИХ УЗЛОВ ПО УЛЬТРАЗВУКОВЫМ ИЗОБРАЖЕНИЯМ | Аннотация PDF (Rus) похожие документы |
В. В. Анищенко, И. В. Бегун, В. В. Кулага, С. В. Спиридонов, К. В. Чижиков, Д. Л. Можейко | ||
№ 1 (2015) | МНОГОКРАТНАЯ СВЕРТКА РЕГУЛЯРНЫХ СТРУКТУР НА ОСНОВЕ РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 3(7) (2005) | МЕТОДЫ СОЗДАНИЯ 3D-МОДЕЛЕЙ КОРПУСНЫХ ДЕТАЛЕЙ В СИСТЕМЕ PRO/ENGINEER | Аннотация PDF (Rus) похожие документы |
Д. Л. Васильев | ||
№ 3(11) (2006) | КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 1(01) (2004) | МИНИМИЗАЦИЯ ПЛОЩАДИ РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ СВЕРТКИ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 4(28) (2010) | СИНТЕЗ КОМБИНАЦИОННЫХ КМОП-СХЕМ С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 2(26) (2010) | ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ ПРИ ОПТИМИЗАЦИИ ДВУХУРОВНЕВЫХ КМОП-СХЕМ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 1(13) (2007) | НАХОЖДЕНИЕ ОТНОШЕНИЯ ПАРАЛЛЕЛЬНОСТИ НА МНОЖЕСТВЕ ЦЕПОЧЕК АЛГОРИТМА УПРАВЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 2(18) (2008) | ТОПОЛОГИЧЕСКАЯ ОПТИМИЗАЦИЯ РЕГУЛЯРНЫХ МОП СТРУКТУР МЕТОДОМ ДВУДОЛЬНОЙ СВЕРТКИ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 2(34) (2012) | ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
Д. Я. Новиков, Л. Д. Черемисинова | ||
№ 3(27) (2010) | ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
Д. Я. Новиков, Л. Д. Черемисинова | ||
№ 4(04) (2004) | АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, Л. Д. Черемисинова | ||
№ 4(36) (2012) | СВЕРТКА РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ МОДЕЛИРОВАНИЯ ОТЖИГА | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова, И. П. Логинова | ||
№ 2(34) (2012) | ГРАММАТИЧЕСКИЙ СЛОВАРЬ И ПРАВИЛА ОПРЕДЕЛЕНИЯ СЛОВЕСНОГО УДАРЕНИЯ ДЛЯ СИНТЕЗА РЕЧИ ПО ТЕКСТУ НА МОБИЛЬНЫХ УСТРОЙСТВАХ | Аннотация PDF (Rus) похожие документы |
Л. И. Цирульник, Д. А. Покладок | ||
№ 4(56) (2017) | ПОСТРОЕНИЕ ТЕСТОВ ПОЛНОГО ПЕРЕБОРА ДЛЯ ОЦЕНКИ ЭНЕРГОПОТРЕБЛЕНИЯ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 3(31) (2011) | ОПТИМИЗАЦИЯ СКОБОЧНЫХ ПРЕДСТАВЛЕНИЙ БУЛЕВЫХ ФУНКЦИЙ С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова, Н. А. Кириенко | ||
№ 4(32) (2011) | АВТОМАТИЗАЦИЯ ВЫБОРА ТЕХНОЛОГИЧЕСКОГО МЕТОДА ПРИ ОРГАНИЗАЦИИ КОМПАКТНОГО ПРОИЗВОДСТВА МАШИНОСТРОИТЕЛЬНОЙ ПРОДУКЦИИ | Аннотация PDF (Rus) похожие документы |
Д. Н. Свирский, А. Л. Климентьев | ||
№ 2(22) (2009) | МИНИМИЗАЦИЯ НА ТОПОЛОГИЧЕСКОМ УРОВНЕ ПЛОЩАДИ РЕГУЛЯРНЫХ СХЕМ С ПОСЛЕДОВАТЕЛЬНЫМ СОЕДИНЕНИЕМ МОП ТРАНЗИСТОРОВ | Аннотация PDF (Rus) похожие документы |
И. П. Логинова, Л. Д. Черемисинова | ||
№ 2(18) (2008) | АРКАДИЙ ДМИТРИЕВИЧ ЗАКРЕВСКИЙ | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, Н. Р. Торопов, Л. Д. Черемисинова | ||
Том 18, № 4 (2021) | Распознавание логических вентилей в плоской транзисторной схеме | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
"... Ц е л и. С ростом трудоемкости верификации и моделирования современных СБИС, содержащих сотни ..." | ||
Том 19, № 3 (2022) | Канонизация графов при декомпиляции транзисторных схем | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
№ 4 (2013) | СИНТЕЗ КОМБИНАЦИОННЫХ СХЕМ В БАЗИСЕ БИБЛИОТЕЧНЫХ ЭЛЕМЕНТОВ КМОП СБИС С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
Том 20, № 4 (2023) | Моделирование дискретных управляющих систем с параллелизмом поведения | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
Том 21, № 3 (2024) | Извлечение логических сетей при декомпиляции описаний КМОП-схем на уровне транзисторов | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
№ 2(14) (2007) | СКВОЗНАЯ КОМПЬЮТЕРНАЯ ТЕХНОЛОГИЯ ПРОЕКТИРОВАНИЯ И ПРОИЗВОДСТВА ПЛАСТМАССОВЫХ ДЕТАЛЕЙ В ТРАКТОРОСТРОЕНИИ | Аннотация PDF (Rus) похожие документы |
Л. В. Губич, Д. Л. Васильев, А. В. Заблоцкий, Н. П. Муха, Н. И. Петкевич, А. А. Прохорова | ||
№ 1(5) (2005) | ВЕРИФИКАЦИЯ ИМИТАЦИОННОЙ МОДЕЛИ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ПРОИЗВОДСТВА С ИЕРАРХИЧЕСКОЙ СТРУКТУРОЙ | Аннотация PDF (Rus) похожие документы |
В. Д. Левчук, П. Л. Чечет, Е. О. Попова, В. В. Старченко, А. С. Помаз | ||
№ 3 (2016) | ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ТЕХНОЛОГИЧЕСКИ НЕЗАВИСИМОЙ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ КМОП-СХЕМ | Аннотация PDF (Rus) похожие документы |
Н. А. Кириенко, Л. Д. Черемисинова | ||
№ 2(10) (2006) | ИМИТАЦИОННАЯ МОДЕЛЬ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ НА ГОРОДСКОМ ТРАНСПОРТЕ | Аннотация PDF (Rus) похожие документы |
И. В. Максимей, В. Д. Левчук, В. Н. Галушко, В. Н. Галушко, В. С. Могила, П. Л. Чечет | ||
№ 1(53) (2017) | О НАУЧНОМ НАСЛЕДИИ ЧЛЕНА-КОРРЕСПОНДЕНТА А.Д. ЗАКРЕВСКОГО | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, Ю. В. Поттосин, Л. Д. Черемисинова | ||
Том 16, № 2 (2019) | Верификация систем с параллелизмом поведения на основе графа достижимых состояний | Аннотация PDF (Rus) похожие документы |
Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова | ||
Том 18, № 4 (2021) | Праектаванне беларуска- і рускамоўных натуральна-маўленчых інтэрфейсаў для даведкавых сістэм | Аннотация похожие документы |
Ю. С. Гецэвіч, Д. А. Дзенісюк, С. А. Гецэвіч, Л. І. Кайгародава, К. А. Нікалаенка | ||
"... неадпаведнасцю магчымасцей рэалізацыі натуральна-маўленчага інтэрфейсу спадзяванням карыстальніка. М е та д ы ..." | ||
№ 3(55) (2017) | ИССЛЕДОВАНИЕ ДЕМПФИРУЮЩИХ СВОЙСТВ МОДЕЛИ АДАПТИВНОГО АМОРТИЗАТОРА | Аннотация PDF (Rus) похожие документы |
В. С. Кончак, С. В. Хитриков, Д. А. Швец, Я. А. Богданов, В. Л. Ефремов | ||
№ 2 (2013) | ВОПРОСЫ РАЗВИТИЯ ЕДИНОЙ СИСТЕМЫ ТЕЛЕМЕДИЦИНСКОГО КОНСУЛЬТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
Ж. Г. Асташевич, В. А. Лапицкий, Д. Л. Пиневич, С. М. Поляков, М. М. Сачек | ||
№ 4(16) (2007) | МОДЕЛЬ АНАЛИЗА И КОРРЕКЦИИ УСТОЙЧИВОСТИ РЕШЕНИЯ СИСТЕМ ЛИНЕЙНЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
Л. П. Матюшков, Г. Л. Матюшкова | ||
№ 1(25) (2010) | ОЦЕНКА ПОВРЕЖДЕНИЙ СЕЛЬСКОХОЗЯЙСТВЕННЫХ КУЛЬТУР ГРАДОМ С ИСПОЛЬЗОВАНИЕМ ИЗОБРАЖЕНИЙ ДИСТАНЦИОННОГО ЗОНДИРОВАНИЯ ЗЕМЛИ | Аннотация PDF (Rus) похожие документы |
С. Л. Кравцов, Л. В. Орешкина | ||
№ 4(24) (2009) | ОЦЕНКА КОНЦЕНТРАЦИИ ОРГАНИЧЕСКИХ ВЕЩЕСТВ В ПОЧВЕ МЕТОДАМИ ДИСТАНЦИОННОГО ЗОНДИРОВАНИЯ ЗЕМЛИ | Аннотация PDF (Rus) похожие документы |
С. Л. Кравцов, Л. В. Орешкина | ||
№ 2(22) (2009) | РАЗНОСТНЫЕ ГИСТОГРАММЫ В ТЕХНОЛОГИИ АВТОМАТИЧЕСКОГО АНАЛИЗА ИЗМЕНЕНИЙ ОБЪЕКТОВ ПО РАЗНОВРЕМЕННЫМ ИЗОБРАЖЕНИЯМ СПУТНИКОВОЙ СЪЕМКИ | Аннотация PDF (Rus) похожие документы |
Л. А. Белозерский, Л. В. Орешкина | ||
№ 1(25) (2010) | АВТОМАТИЧЕСКАЯ БИНАРИЗАЦИЯ ГРАДИЕНТНЫХ ИЗОБРАЖЕНИЙ НА ОСНОВЕ КЛАСТЕРНОГО МЕТОДА ОПРЕДЕЛЕНИЯ ПОРОГОВОЙ ВЕЛИЧИНЫ | Аннотация PDF (Rus) похожие документы |
Д. В. Прадун, Д. А. Залесский | ||
№ 2(10) (2006) | АВТОМАТИЗИРОВАННАЯ СИСТЕМА КЛОНИРОВАНИЯ ФОНЕТИКО-АКУСТИЧЕСКИХ ХАРАКТЕРИСТИК РЕЧИ | Аннотация PDF (Rus) похожие документы |
Л. И. Цирульник | ||
№ 2(10) (2006) | АЛГОРИТМ ВОССТАНОВЛЕНИЯ ИЗОБРАЖЕНИЙ, ЗАРЕГИСТРИРОВАННЫХ МАТРИЧНЫМИ ФОТОПРИЕМНИКАМИ | Аннотация PDF (Rus) похожие документы |
И. Л. Захаров | ||
№ 3(7) (2005) | МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ СБИС НА ПОВЕДЕНЧЕСКОМ УРОВНЕ НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
Л. А. Золоторевич | ||
№ 3(11) (2006) | ГЛАВНЫЕ ПОТЕНЦИАЛЬНЫЕ НАПРАВЛЕНИЯ В МОДЕЛИ УПРУГОПЛАСТИЧЕСКОЙ СРЕДЫ | Аннотация PDF (Rus) похожие документы |
О. Л. Швед | ||
№ 1(5) (2005) | МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ В СТРУКТУРАХ СБИС НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
Л. А. Золоторевич | ||
№ 1(01) (2004) | СКВОЗНЫЕ КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ ПРОЕКТИРОВАНИЯ И УПРАВЛЕНИЕ КАЧЕСТВОМ ПРОДУКЦИИ | Аннотация PDF (Rus) похожие документы |
Л. В. Губич | ||
№ 2(6) (2005) | ОБНАРУЖЕНИЕ И РАСПОЗНАВАНИЕ КЛАССА ОБЪЕКТОВ НА МНОГОЗОНАЛЬНЫХ ИЗОБРАЖЕНИЯХ ДИСТАНЦИОННОГО ЗОНДИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
Л. В. Орешкина | ||
№ 4(12) (2006) | ОБ УЧЕТЕ ЭФФЕКТА БАУШИНГЕРА В МОДЕЛИ УПРУГОПЛАСТИЧЕСКОЙ СРЕДЫ | Аннотация PDF (Rus) похожие документы |
О. Л. Швед | ||
№ 4(12) (2006) | АЛГОРИТМ ГЕНЕРАЦИИ ФОНЕМНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ ПО ОРФОГРАФИЧЕСКОМУ ТЕКСТУ В СИСТЕМЕ СИНТЕЗА РЕЧИ | Аннотация PDF (Rus) похожие документы |
Л. И. Цирульник | ||
№ 2(26) (2010) | АЛГОРИТМЫ ПОСТРОЕНИЯ КОНТЕКСТА ИНФОРМАТИВНЫХ ПРЕДЛОЖЕНИЙ ПРИ РЕФЕРИРОВАНИИ ТЕКСТОВЫХ ДОКУМЕНТОВ | Аннотация PDF (Rus) похожие документы |
Л. В. Степура | ||
№ 3(31) (2011) | ПРЕДСТАВЛЕНИЕ ЗАКОНА МУРНАГАНА ДЛЯ ИСПОЛЬЗОВАНИЯ В ОПРЕДЕЛЯЮЩИХ СООТНОШЕНИЯХ УПРУГОПЛАСТИЧНОСТИ | Аннотация PDF (Rus) похожие документы |
О. Л. Швед | ||
№ 2(30) (2011) | МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ЯВЛЕНИЯ ПЛАСТИЧЕСКОЙ ДЕФОРМАЦИИ ВОЛЬФРАМА ПРИ ОДНООСНЫХ НАГРУЖЕНИЯХ | Аннотация PDF (Rus) похожие документы |
О. Л. Швед | ||
№ 2(34) (2012) | ПОСТРОЕНИЕ ТЕСТОВ И ВЕРИФИКАЦИЯ ПОТОКОВЫХ МОДЕЛЕЙ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
Л. А. Золоторевич | ||
№ 4(28) (2010) | ОЦЕНКА ВЛАЖНОСТИ ЗЕМНОЙ ПОВЕРХНОСТИ С ИСПОЛЬЗОВАНИЕМ ИЗОБРАЖЕНИЙ ДИСТАНЦИОННОГО ЗОНДИРОВАНИЯ ЗЕМЛИ | Аннотация PDF (Rus) похожие документы |
Л. С. Кравцов | ||
№ 3(27) (2010) | ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ ИЗМЕНЕНИЯ ОБЪЕМА МАТЕРИАЛОВ И ОПРЕДЕЛЕНИЕ ГРАНИЦ РАЗРУШЕНИЯ ПОД ВЫСОКИМ ГИДРОСТАТИЧЕСКИМ ДАВЛЕНИЕМ | Аннотация PDF (Rus) похожие документы |
О. Л. Швед | ||
№ 2(14) (2007) | ОПРЕДЕЛЯЮЩЕЕ УРАВНЕНИЕ УПРУГОВЯЗКОПЛАСТИЧЕСКОЙ СРЕДЫ С КОНЕЧНЫМИ «ГРАДИЕНТАМИ» УПРУГОЙ ДЕФОРМАЦИИ | Аннотация PDF (Rus) похожие документы |
О. Л. Швед | ||
№ 1(13) (2007) | СРАВНЕНИЕ И ОЦЕНКА ТОЧНОСТИ МЕТОДОВ КЛАССИФИКАЦИИ МНОГОЗОНАЛЬНЫХ СПУТНИКОВЫХ ИЗОБРАЖЕНИЙ | Аннотация PDF (Rus) похожие документы |
Л. В. Орешкина | ||
№ 3(19) (2008) | О ПРИМЕНЕНИИ ДАННЫХ ДИСТАНЦИОННОГО ЗОНДИРОВАНИЯ ЗЕМЛИ В ГЕОЛОГИИ | Аннотация PDF (Rus) похожие документы |
С. Л. Кравцов | ||
№ 2(18) (2008) | ДВОЙСТВЕННОЕ ОПИСАНИЕ УПРУГОВЯЗКОПЛАСТИЧЕСКОГО ПРОЦЕССА ДЕФОРМИРОВАНИЯ МАТЕРИАЛА | Аннотация PDF (Rus) похожие документы |
О. Л. Швед | ||
№ 2(18) (2008) | МОДЕЛИРОВАНИЕ ГИСТОГРАММ ИЗОБРАЖЕНИЙ ДИСТАНЦИОННОГО СПУТНИКОВОГО ЗОНДИРОВАНИЯ ДЛЯ АНАЛИЗА СОСТОЯНИЙ ОБЪЕКТОВ | Аннотация PDF (Rus) похожие документы |
Л. А. Белозерский | ||
№ 3(23) (2009) | АНАЛИЗ СОСТОЯНИЯ И НАПРАВЛЕНИЙ РАЗВИТИЯ МЕТОДОВ ОБРАБОТКИ ИЗОБРАЖЕНИЙ ДИСТАНЦИОННОГО ЗОНДИРОВАНИЯ ЗЕМЛИ | Аннотация PDF (Rus) похожие документы |
С. Л. Кравцов | ||
№ 1(9) (2006) | VHDL-МОДЕЛИ МАТЕМАТИЧЕСКИХ ФУНКЦИЙ, ОСНОВАННЫЕ НА КУСОЧНО-ПОЛИНОМИАЛЬНОЙ ИНТЕРПОЛЯЦИИ | Аннотация PDF (Rus) похожие документы |
Д. А. Кочанов | ||
№ 4(8) (2005) | ЭНЕРГОСБЕРЕГАЮЩЕЕ КОДИРОВАНИЕ СОСТОЯНИЙ КОНЕЧНОГО АВТОМАТА. МЕТОД КВАДРАТОВ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
№ 3(7) (2005) | РАБОТА С КЛАСТЕРНЫМ КОМПЬЮТЕРОМ ИЗ WINDOWS | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
№ 4(16) (2007) | СПОСОБ ВВОДА ТЕКСТА В ВЫЧИСЛИТЕЛЬНЫЕ УСТРОЙСТВА С РЕДУЦИРОВАННОЙ КЛАВИАТУРОЙ | Аннотация PDF (Rus) похожие документы |
Д. И. Самаль | ||
№ 3(03) (2004) | ФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
№ 4(04) (2004) | РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
№ 3(03) (2004) | АВТОМАТИЗАЦИЯ СТРУКТУРНОГО СИНТЕЗА СБОРОЧНО СВАРОЧНЫХ ПРИСПОСОБЛЕНИЙ | Аннотация PDF (Rus) похожие документы |
Д. П. Кункевич | ||
№ 1(5) (2005) | МОРФИЗМЫ МОДЕЛЕЙ ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
№ 1(01) (2004) | ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
1 - 70 из 242 результатов | 1 2 3 4 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)