Поисковый запрос: (<.>K=верификация<.>) |
Общее количество найденных документов : 190
Показаны документы с 1 по 20 |
|
1.
| Лохов А. Функциональная верификация СБИС/А. Лохов // Электроника: наука, технология, бизнес, 2004,N N 1.-С.58-62
|
2.
| Першин Ю. Ю. Опыт реконструкции понятия сублимации/Ю. Ю. Першин // Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии, 2004,N N 3.-С.208-214
|
3.
| Косачев А. С. Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования/А. С. Косачев, Ф. Куттер, М. А. Посыпкин // Программирование, 2004,N N 4.-С.52-67
|
4.
| Иванов А. Образ компании во внешней среде/А. Иванов, Е. Бунина // Журнал для акционеров, 2005,N N 2/3.-С.32-39
|
5.
| Рязанов В. Т. Проблема верификации в экономической теории/В. Т. Рязанов // Вестник Санкт-Петербургского университета. Сер. 5, Экономика, 2004,N N 4.-С.3-21
|
6.
| Соловьев А. Грани документооборота/Александр Соловьев // Бухгалтер и компьютер, 2005,N N 10.-С.37-44
|
7.
| Сорокин А. В. Верификация ценовых эффектов/А. В. Сорокин // Вестник Московского университета. Сер. 6, Экономика, 2005,N N 4.-С.45-67
|
8.
| Романовская А. А. Аккумуляция углерода в болотных низинных почвах залежных земель Мурманской области/А. А. Романовская // Экология, 2006,N N 6.-С.424-428
|
9.
| Савченко А. Механизм латентного управления/А. Савченко // Консультант директора, 2006,N N 21.-С.26-30
|
10.
| Кузнецов Г. Автоматизация розничного бизнеса: время - деньги/Георгий Кузнецов // Банковские технологии, 2005,N N 9.-С.40-42
|
11.
| Юровицкий В. М. Новая банковская услуга - БАНКИНЕТ/В. М. Юровицкий // Банковские услуги, 2007,N N 4.-С.21-26
|
12.
| Вудок Д. Первые шаги к решению проблемы верификации программ/Д. Вудок // Открытые системы. СУБД, 2006,N N 8.-С.36-43
|
13.
| Шишкин М. А. Методология экономического анализа и верификация теории: основные тенденции развития/М. А. Шишкин // Вестник Санкт-Петербургского университета. Сер. 5, Экономика, 2007,N N 2.-С.22-28
|
14.
| Петряев В. В. Творчество: диалектика конструктивного абстрагирования/Петряев В. В. // Российский исторический журнал, 2007,N N 2.-С.73-89
|
15.
| Карпычев А. Н. Правовой анализ методов защиты нотариальных документов/Карпычев А. Н. // Нотариус, 2008,N N 4.-С.15-17
|
16.
| Проверка правил политики безопасности для корпоративных компьютерных сетей/И. В. Котенко [и др. ] // Защита информации. Инсайд, 2007,N N 5.-С.46-49
|
17.
| Проверка правил политики безопасности для корпоративных компьютерных сетей/И. В. Котенко [и др. ] // Защита информации. Инсайд, 2007,N N 6.-С.52-59
|
18.
| Демкив О. Экономическая мораль украинского общества в общеевропейском и внутрирегиональном измерении/О. Демкив, Л. Кондратик // Социология: теория, методы, маркетинг, 2007,N N 4.-С.5-37
|
19.
| Звягин В. Н. Определение длины тела взрослого человека по костям кисти/В. Н. Звягин, А. О. Замятина // Судебно-медицинская экспертиза, 2008,N N 6.-С.24-26
|
20.
| Глигич-Золотарева М. В. Верификация дефиниций конституционной науки vs. "увлечение общими местами"/М. В. Глигич-Золотарева // Политика и общество, 2009,N N 5 (59).-С.4-10
|
|
|