Общественные науки, Экономические науки, Педагогические науки, Естественные науки, Биологические науки, Технические науки, Сельскохозяйственные науки

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

Вельдер СЭ, Лукин МА, Шалыто АА, Яминов БР. 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