Литература по моделированию ИС

Счастливая возможность провести в НИУ МГТУ им. Н.Э. Баумана семестровый курс лекций по дисциплине «Методы исследования и моделирования информационных процессов и технологий» позволила аккумулировать интереснейший список литературы по указанной проблематике.

  1. —Алиев Т.И. Основы моделирования дискретных систем: Учеб. пособие. — СПб.: СПбГУ ИТМО, 2009. — 363 с.
  2. Введение в математическое моделирование: Учеб. пособие/ Под ред. П.В. Трусова. — М.: Логос, 2005. — 440 с.
  3. —Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений / Пер. с англ. — 2-е изд. — М.: Издательский дом «Вильямс», 2002. — 528 с.: ил. (Имеется 3-е англ. изд.: Hopcroft, J.E., R. Motwani, and J.D. Ullman,Introduction to Automata Theory,Languages, and Computation, 3/E, Addison-Wesley, Reading, MA, 2007.)
  4. —Cassandras, C.G., Lafortune, S. Introduction to Discrete Event Systems (SpringerScience + Business Media, New York, 2008).
  5. —Fokkink, W. Introduction to Process Algebra (2nd ed., Springer-Verlag, 2007). URL: http://www.few.vu.nl/~wanf/BOOKS/ procalg.pdf
  6. Goldberg, D. What Every Computer Scientist Should Know About Floating-Point Arithmetic. ACM Computing Surveys. 23 (1): 5–48 (March 1991).
  7. —IEEE Std. 754-2008. IEEE Standard for Floating-Point Arithmetic.
  8. —ISO/IEC 12207:2008. Systems and Software Engineering—Software life cycle processes.
  9. —ISO/IEC 42010:2007. Systems and Software Engineering—Recommended practice for architectural description of software-intensive systems.
  10. —ISO/IEC/IEEE 60559:2011.Information Technology—Microprocessor Systems—Floating-point arithmetic.
  11. —Kleene, S.C. Introduction to Metamathematics (North-Holland Publishing Co., Amsterdam, 1952).
  12. —Rosenblueth, A., Wiener, N. The Role of Models in Science. Philosophy of Science, Vol. 12, No. 4 (Oct. 1945), pp. 316–321.
  13. Savoia, A. Pretotype It (2nd Pretotype Ed., 2011). URL: http://www.pretotyping.org/pretotype-it—the-book
  14. —Varzi, A.C. Spatial Reasoning and Ontology: Parts, Wholes, and Locations. In: Aiello, M., Pratt-Hartmann, I., and Benthem, J. van(eds.), Handbook of Spatial Logics (Berlin, Springer-Verlag, 2007, pp. 945-1038).

NB: На момент публикации список является предварительным.

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход /  Изменить )

Google photo

Для комментария используется ваша учётная запись Google. Выход /  Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход /  Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход /  Изменить )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.