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

Результаты поиска
	1.		КнигаТеоретические и прикладные задачи информатики: новые подходы и решения : Тр. шк.-конкурса молодых ученых, Новосибирск, Академгородок, 25 мая - 15 июня 2003 г.2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2004-4/17493 (4). Добавить в подборку (удалить)
	2.		КнигаМетод верификации свойств параллелизма временных сетей Петри / Е.А. ПокозийПокозий, Е. А. -- Автор1999Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 99-4/8884 (1). Добавить в подборку (удалить)
	3.		КнигаОСТ: система контроля тестированности модула-2-программ / А.В. Кауфман, С.К. ЧерноножкинКауфман, А. В. -- АвторЧерноножкин, С. К. -- Автор1997Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2000-4/7714 (1). Добавить в подборку (удалить)

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