Список литературы

Генератор кроссвордов

Генератор титульных листов

Таблица истинности ONLINE

Прочие ONLINE сервисы

Kниги автора Карпов, Ю.Г.

Model Checking. Верификация параллельных и распределенных программных систем Автор: Карпов Ю. Г. Год: 2009 Издание: БХВ-Петербург	Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) Автор: Карпов Ю.Г. Год: 2010 Издание: БХВ-Петербург
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 (+ CD) Автор: Карпов Ю. Г. Год: 2006 Издание: БХВ-Петербург	Теория автоматов Автор: Карпов, Ю.Г. Год: 2003 Издание: СПб: Питер
Теория автоматов Автор: Карпов, Ю.Г. Год: 2003 Издание: СПб: Питер	Теория автоматов Автор: Карпов, Ю.Г. Год: 2003 Издание: СПб: Питер
Теория автоматов Автор: Карпов, Ю.Г. Год: 2003 Издание: СПб: Питер	Теория и технология программирования. Основы построения трансляторов Автор: Карпов Ю. Г. Год: 2012 Издание: БХВ-Петербург
Теория и технология программирования. Основы построения трансляторов. Гриф УМО университетов РФ Автор: Карпов Ю.Г. Год: 2005 Издание: БХВ-Петербург

Вход на сайт

Информация

В нашем каталоге

Околостуденческое

© 2009-2024, Список Литературы