Публикации

Year:

All :: 1976, ... , 2008, 2009, 2010, ... , 2016

Author:

All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э

References

Articles:
Карпов, Ю.Г. Темпоральные логики для спецификации свойств программных и аппаратных систем Компьютерные инструменты в образовании, №2:45-56 2009
Books:
Беневельский, C.B.; Колесов, Ю.Б. Моделирование. Объектно-ориентированное моделирование в задачах внешней баллистики. Учебное пособие Publisher: Изд-во Политехн. ун-та, СПб. 2009

Export as:

mailto: webmaster@dcn.ftk.spbstu.ru