ВебКаталог
Найти.in
Расширенный поиск


Сортировать по: году, названию, автору (Я → А) Результаты 1 - 20 из примерно 81.
Верификация моделей программ. Model CheckingВерификация моделей программ. Model Checking
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед
Год: 2002
Модулярные параллельные вычислительные структуры нейропроцессорных системМодулярные параллельные вычислительные структуры нейропроцессорных систем
Автор: Н. И. Червяков, П. А. Сахнюк, А. В. Шапошников, С. А. Ряднов
Год: 2003
Дискретная математика и комбинаторикаДискретная математика и комбинаторика
Автор: Джеймс Андерсон
Год: 2004
Параллельные вычисленияПараллельные вычисления
Автор: В. В. Воеводин, Вл. В. Воеводин
Год: 2004
Быстрая разработка программ. Принципы, примеры, практикаБыстрая разработка программ. Принципы, примеры, практика
Автор: Роберт К. Мартин, Джеймс В. Ньюкирк, Роберт С. Косс
Год: 2004