Preview

Информатика

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
№ 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 диссертация)