Математика, Экономика, Философия, Физика, Право, Социология, Химия, История, Религия, Биология , Психология, Русский язык , Медицина, Педагогика, Иностранные языки, Литература, Информационные технологии , Культура и искусство , Инженерия, Ветеринария, Сельское и лесное хозяйство | Электронно-библиотечная система "AgriLib"

Верификация автоматных программ

Вельдер СЭ, Лукин МА, Шалыто АА, Яминов БР. 2011. Верификация автоматных программ. Санкт-Петербургский национальный исследовательский университет ИТМО. 004.42

Гатчин ЮА, Ткалич ВЛ, Виволанцев АС, Дудников ЕА. 2010. Введение в Микроэлектронику. Санкт-Петербургский национальный исследовательский университет ИТМО. 621.3+538.9

Шлейкин АГ, Жилинская НТ. 2013. Введение в биотехнологию. Санкт-Петербургский национальный исследовательский университет ИТМО. 637.5

Санин КВ, Санин МК. 2005. Бухгалтерский учёт. Санкт-Петербургский национальный исследовательский университет ИТМО.

Голубев АА, Абакумова АВ, Мишура ЛГ. 2006. Банковское и страховое дело. Санкт-Петербургский национальный исследовательский университет ИТМО.

Манойлов ВВ. 2012. Аппаратные средства систем автоматизации аналитических приборов. Санкт-Петербургский национальный исследовательский университет ИТМО.

Соколова ЛИ, Юрьева ЛВ. 2013. Английский язык. Страноведение и речевой этикет. Санкт-Петербургский национальный исследовательский университет ИТМО. 811.111(075)

Усик НИ. 2009. Анализ и диагностика финансово-хозяйственной деятельности предприятий. Санкт-Петербургский национальный исследовательский университет ИТМО. 330.101.541

Лабковская РЯ. 2013. Метрология и электрорадиоизмерения. Санкт-Петербургский национальный исследовательский университет ИТМО.

Николаев ДГ, Штенников ДГ. 2006. Web-программирование. Серверный ActionScript. Санкт-Петербургский национальный исследовательский университет ИТМО. 681.3