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

Результаты поиска
	1.		КнигаCombining knowledge and fixpoints = Комбинирование знаний и неподвижных точек / N.V. Shilov, N.O. GaraninaŠilov, Nikolaj Vjačeslavovič, АвторGaranina, N.O., Автор2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2003-4/87 (1). Добавить в подборку (удалить)
	2.		КнигаАффинное представление данных для проверки моделей программ = Affine representation of data for model checking / Н.О. ГаранинаГаранина, Наталия О, Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2004-4/31702 (2). Добавить в подборку (удалить)
	3.		КнигаКомбинирование знаний и неподвижных точек = Combining knowledge and fixpoints / Н.В. Шилов, Н.О. ГаранинаШилов, Н. В., АвторГаранина, Н. О., Автор2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-4/5716 (2). Добавить в подборку (удалить)

Уточнить поиск