Ваш поиск дал 19 результатов

Результаты поиска
	1.		КнигаВолшебное кольцо : Рус. нар. сказки / [Пересказал А. Платонов ; Худож. Л. Непомнящий]1985Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 85-5/3577 (1). Добавить в подборку (удалить)
	2.		КнигаЗнание. Убеждение. Выбор / А.В. Непомнящий, А.П. СухановНепомнящий, А. В. -- АвторСуханов, Анатолий Павлович -- Автор1998Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 99-3/3948 (1). Добавить в подборку (удалить)
	3.		КнигаСПЕЦИФИКАЦИЯ, верификация и сетевые модели параллельных систем : Сб. науч. тр. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова ; Под ред. В.А. Непомнящего1994Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 97-3/947 (1). Добавить в подборку (удалить)
	4.		КнигаПрикладные методы верификации программ / Под ред. А.П. ЕршоваНепомнящий, Валерий Александрович (1939-)Рякин, Олег Михайлович1988Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 89-3/3370 (1). Добавить в подборку (удалить)
	5.		КнигаПрикладные методы верификации программ / Под ред. А.П. ЕршоваНепомнящий, Валерий АлександровичРякин, Олег Михайлович (1939-)1988Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 89-3/1899 (1). Добавить в подборку (удалить)
	6.		КнигаПрименение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры / В.А. Непомнящий, Е.А. МацкоНепомнящий, В. А. -- АвторМацко, Е. А. -- Автор2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-4/9208 (4). Добавить в подборку (удалить)
	7.		КнигаНа пути к верификации С-программ / В.А. Непомнящий, И.С. Ануреев, И.Н. Михайлов, А.В. ПромскийНепомнящий, В. А. -- Автор;Ануреев, Игорь Сергеевич -- Автор ;Михайлов, И. Н. -- Автор;Промский, Алексей Владимирович -- Автор 2001Тома: Показать записиНаличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	8.		КнигаСимуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL / В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов, М.В. ТюрюшкинНепомнящий, Валерий Александрович -- Автор;Бодин, Евгений Викторович -- Автор;Веретнов, С. О. -- Автор;Тюрюшкин, М. В. -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/14165 (2). Добавить в подборку (удалить)
	9.		КнигаСталевар А.П. Журавлев : [Завод "Электросталь"] / Лит. обработка Н. НепомнящегоЛейзеров, Яков Самуилович1953Наличие: Экземпляры доступные для заказа: РНБ (Садовая)Шифр хранения: Т30 Г-4/457 (1). Добавить в подборку (удалить)
	10.		КнигаЭкономия легирующих и высокое качество металла / [Канд. техн. наук М.Д. Филинков, А.П. Непомнящий, В.К. Шашкова и др. ; Ред.-сост. д-р техн. наук Ю.Г. Гуревич]Шашкова, В.К.;Филинков, М.Д.;Непомнящий, А.П.1977Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 77-3/7410 (1). Добавить в подборку (удалить)
	11.		КнигаВерификация раскрашенных сетей Петри методом проверки моделей / В.Е. Козюра, В.А. Непомнящий, Р.М. НовиковКозюра, В. Е. -- АвторНепомнящий, Валерий Александрович -- Автор;Новиков, Р. М. -- Автор2001Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-4/14858 (2). Добавить в подборку (удалить)
	12.		КнигаЯзык спецификаций распределенных систем Dynamic-REAL / В.А. Непомнящий, Е.В. Бодин, С.О. ВеретновНепомнящий, В. А. -- АвторБодин, Евгений Викторович -- Автор;Веретнов, С. О. -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-4/13397 (2). Добавить в подборку (удалить)
	13.		КнигаАлгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри / Н. В. Визовитин, В. А. НепомнящийВизовитин, Николай Валерьевич Непомнящий, Валерий Александрович (1939-) 2012Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	14.		КнигаПрофессора Крымского федерального университета имени В.И. Вернадского : [сборник : в 3-х т.] / Министерство науки и высшего образования Российской Федерации, Федеральное государственное автономное образовательное учреждение высшего образования Крымский федеральный университет имени В.И. Вернадского ; [редакторы-составители: А.А. Непомнящий и др.Крымский федеральный университет им. В. И. Вернадского 2018Тома: Показать записиНаличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	15.		КнигаПрименение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL / В. А. Непомнящий, Е. В. Бодин, С. О. ВеретновНепомнящий, Валерий Александрович (1939-) -- Автор Бодин, Евгений Викторович -- Автор ;Веретнов, С. О. -- Автор2011Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	16.		КнигаВерификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри / В.А. Непомнящий, Г.И. Алексеев, А.В. Быстров и др. ; Под ред. В.А. Непомнящего и Н.В. ШиловаНепомнящий, В. А. -- Автор;Алексеев, Г. И. -- Автор;Быстров, А. В. -- Автор1998Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Т1 З973.202/В-326 (1). Добавить в подборку (удалить)
	17.		КнигаМоделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. ВеретновНепомнящий, Валерий Александрович -- АвторБодин, Евгений Викторович -- Автор;Веретнов, С. О. -- Автор2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2010-4/14176 (2). Добавить в подборку (удалить)
	18.		КнигаПРОБЛЕМЫ теоретического и экспериментального программирования : Сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики ; Под ред. к. ф.-м. н. В.А. Непомнящего1993Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 95-3/66 (1). Добавить в подборку (удалить)
	19.		КнигаИстория Крымского федерального университета имени В. И. Вернадского в документах и фотографиях : [к 100-летию университета] / Министерство науки и высшего образования Российской Федерации, Федеральное государственное автономное образовательное учреждение высшего образования "Крымский федеральный университет имени В. И. Вернадского" ; [авторы-составители: А. А. Непомнящий, А. С. Кравчукредакционная коллегия: А.П. Фалалеев, профессор и др.2018Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)

Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru