Метакидес Г., Нероуд А. Принципы логики и логического программирования = Principles of Logic and Logic Programming. — М.: Факториал, 1998. — 288 с. — ISBN 5-88688-037-2.
Игошин В. И. Математическая логика и теория алгоритмов. — 2-е изд., стереотип.. — М.: Издательский центр «Академия», 2008. — 448 с. — ISBN 978-5-7695-4593-1.
Образование
Соколов Н. К.Синтез оптимальных траекторий обучения // Наука и образования. — 2012. — № 1. — ISSN1994-0408. (автоматизированные обучающие системы, технология разделяемых единиц контента, оптимальные траектории обучения, БиГОР, электронные образовательные ресурсы )
Математика, кибернетика, информатика
Росс Эшби У. Введение в кибернетику = An Introduction to Cybernetics. — Издательство иностранной литературы, 1959. — 432 с.
Сейдж Э., Мелc Дж. Теория оценивания и ее применение в связи и управлении = Estimation Theory with Applications to Communications and Control. — М.: «Связь», 1976. — 496 с.
Филд А., Харрисон П. Функциональное программирование = Functional Programming. — М.: Мир, 1993. — 637 с. — ISBN 5-03-001870-0.
Горбунов-Посадов М.М.Глава 3. Пакет программ // Расширяемые программы. — М.: Полиптих, 1999. — 336 с.
Бейзер Б. Тестирование черного ящика. Технологии функционального тестирования программного обеспечения и систем. — Питер, 2004. — 320 с. — ISBN 5-94723-698-2.
Терминологический словарь по основам информатики и вычислительной техники / Ершов А. П., Шанский Н. М.. — М.: Просвещение, 1991. — 159 с. — ISBN 5-09-002797-8.
Воройский Ф. С. Информатика. Новый систематизированный толковый словарь-справочник. — 3-е изд.. — М.: ФИЗМАТЛИТ, 2003. — 760 с. — (Введение в современные информационные и телекоммуникационные технологии в терминах и фактах). — ISBN 5-9221-0426-8.
Гантмахер Ф. Р. Теория матриц. — 5-е изд. — М.: Физматлит, 2004. — 560 с. — ISBN 5-9221-0524-8.
Чернавский Д. С. Синергетика и информация (динамическая теория информации). — 2-е изд., испр. и доп.. — М.: Едиториал УРСС, 2004. — 288 с. — (Синергетика: от прошлого к будущему). — ISBN 5-354-00241-9.
Прокис, Джон. Цифровая связь = Digital Communications / Кловский Д. Д.. — М.: Радио и связь, 2000. — 800 с. — ISBN 5-256-01434-X.
Род Хаггарти. Дискретная математика для программистов = Discrete mathematics for computing. — 2-е изд.. — М., 2005. — С. 400. — ISBN 5-94836-016-4.
Александрова Н. В. История математических терминов, понятий, обозначений: словарь-справочник. — 3-е изд.. — М.: ЛКИ, 2008. — 248 с. — ISBN 978-5-382-00839-4.
Чернецкий В. И. Математическое моделирование динамических систем. — Петрозаводск: Петрозаводский гос. ун-т, 1996. — 432 с. — ISBN 5-230-08981-4.
Davie, A.J.T. Introduction to Functional Programming Systems Using Haskell. — Cambridge University Press, 1992. — 290 p. — ISBN 9780521277242.
Ian H. Witten, Eibe Frank and Mark A. Hall. Data Mining: Practical Machine Learning Tools and Techniques. — 3rd Edition. — Morgan Kaufmann, 2011. — P. 664. — ISBN 9780123748560.
Георгий Евсеев, Виктор Мураховский, Сергей Симонович. Энциклопедический справочник. Персональный компьютер. — Русское Энциклопедическое Товарищество, 2004. — 928 с. — ISBN 5901227689.
Толковый словарь по вычислительным системам / Под ред. В. Иллингуорта и др.. — М.: Машиностроение, 1990. — 560 с. — ISBN 5-217-00617-X.
Довек Жиль, Леви Жан-Жак. Введение в теорию языков программирования. — М.: ДМК Пресс, 2013. — 134 с. — ISBN 9785940749134.
Одинцов И. О. Профессиональное программирование. Системный подход. — 2-е изд.. — СПб.: БХВ-Петербург, 2004. — 624 с. — ISBN 5-94157-457-6.
Стив Макконнелл. Совершенный код = Code complete. — СПб.: Питер, 2005. — С. 896. — (Мастер-класс). — ISBN 5-7502-0064-7, 5-469-00822-3.
John C. Mitchell. Concepts in programming languages. — Cambridge University Press, 2003. — 529 p. — ISBN 978-0-521-78098-8.
Гук М. Ю. Аппаратные интерфейсы ПК. Энциклопедия. — СПб.: Питер, 2002. — 528 с. — ISBN 5-94723-180-8.
Francesco Cesarini, Simon Thompson. Erlang Programming. — O’Reilly Media, Inc., 2009. — 498 p. — ISBN 978-0-596-51818-9.
Simon St. Laurent. Introducing Erlang. — O’Reilly Media, Inc., 2013. — 185 p. — ISBN 978-1-449-33176-4.
Оригинал: Martin Fowler.The New Methodology(англ.) (13 декабря 2005). Дата обращения: 23 ноября 2013.
Экспертные системы: принципы разработки и программирование 4-е издание Джозеф Джарратано, Гари Райли Expert Systems: Principles and Programming, 4th edition Joseph C. Giarratano, Gary D. Riley
Владимирович М.А. Цифровые устройства и микропроцессоры. — БХВ-Петербург, 2010. — 832 p. — ISBN 9785977504171.
Tildon H. Glisson. Introduction to Circuit Analysis and Design. — Springer, 2011. — P. 768. — ISBN 9789048194421.
Прокис, Дж. Цифровая связь = Digital Communications / Кловский Д. Д.. — М.: Радио и связь, 2000. — 800 с. — ISBN 5-256-01434-X.
Скляр, Бернард. Цифровая связь. Теоретические основы и практическое применение = Digital Communications: Fundamentals and Applications. — 2 изд. — М.: «Вильямс», 2007. — С. 1104. — ISBN 0-13-084788-7.
Феер К. Беспроводная цифровая связь. Методы модуляции и расширения спектра = Wireless Digital Communications: Modulation and Spread Spectrum Applications. — М.: Радио и связь, 2000. — 552 с. — ISBN 5-256-01444-7.
Веб
Floridi, Luciano. Web 2.0 vs. the Semantic Web: A Philosophical Assessment // Episteme. — 2009. — Т. 6, № 1. — С. 25--37. — doi:10.3366/E174236000800052X.
из статьи Цикл разработки программного обеспечения
Политехнический словарь / Ишлинский А. Ю. и др. — 3 изд., перераб. и доп. — М.: Советская энциклопедия, 1989. — С. 523. — 656 с. — ISBN 5-85270-003-7.
компьютеры
Berman, R. All about Hard Disk Recorders: An Introduction to the Creative World of Digital, Hard Disk Recording. — Hal Leonard, 2003. — ISBN 9780634057342.
из статьи Управление качеством
Международный стандарт ISO 9000:2005 «Системы менеджмента качества. Основные положения и словарь» М.: Стандартинформ, 2006
Международный стандарт ISO 8402:1994 «Управление качеством и обеспечение качества - Словарь» - М.: ВНИИС
ГОСТ 15467-79 Управление качеством продукции. Основные понятия. Термины и определения. - М.: Издательство стандартов, 1979
Мескон М. Х., Альберт М., Хедоури Ф. Основы менеджмента. Пер. с англ. ISBN 0-06-044415-0(США), ISBN 5-85900-015-4(СССР) —— М.: Дело, 1992, 701 с.
Огвоздин В. Ю. «Управление качеством. Основы теории и практики»: Учебное пособие», 6-е издание, ISBN 978-5-8018-0334-0, - М.: «Дело и Сервис», 2009, 304 с.
Webster’s New Encyclopedic Dictionary, Konemann Verlags GmbH Co-logne, Germany, Second Printing, ISBN: 0-9637056-0-1, 1994, 1787 p.
Словарь русского языка в четырёх томах Академии наук СССР, «Русский язык», т.4, издание третье. - М.:1988.
Международные стандарты "Управление качеством продукции ИСО 9000 – ИСО 9004, ИСО 8402". Международный стандарт ИСО 8402 - 86 «Качество. Словарь».- М.: Издательство стандартов, 1988
Национальный стандарт Российской Федерации ГОСТ Р ИСО 9001 -2008 Системы менеджмента качества. Требования. ISO 9001:2008 Quality management systems – Requirement (IDT) М.: Стандартинформ, 2008
В. Г. Версан И. И. Чайка Системы управления качеством продукции. - М.: Издательство стандартов, 1988 104 с.
Э.К. Николаева «Семь инструментов качества» в японской эконо-мике. ISBN 5-7050-0092-8, - М.: Издательство стандартов 1990, 99 с.
Исикава К. Японские методы управления качеством.- М.: Экономи-ка, 1988
Огвоздин В.Ю. Краткий курс менеджмента. Учебное пособие. ISBN 5-8001-0048-9, М.: «Финпресс», 2004, 176 c.
Файоль А., Эмерсон Г., Тейлор Ф., Форд Г. Управление – это наука и искусство.- М.: Республика, 1992
Кунц Г., О’Доннел С. Управление. Системный и ситуационный анализ управленческих функций. В 2-х т. – М.: Прогресс, 1981
Фейгенбаум А. Контроль качества продукции. – М.: Экономика, 1986
По SE
Рекомендации Е. М.
Guide to the Software Engineering Body of Knowledge (SWEBOK), как вы заметили,
Guide to the Systems Engineering Body of Knowledge (SEBoK)
ISO 9000:2005
ISO/IEC 15288:2008 Systems and software engineering — System life cycle processes
ISO/IEC 12207:2008 Systems and software engineering — Software life cycle processes (ГОСТ Р ИСО/МЭК 12207-2010 Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств)
ISO/IEC/IEEE 24765:2010 Systems and software engineering — Vocabulary
IEEE Std 1012—2004 IEEE Standard for Software Verification and Validation
Owen R.Фольклор Tkinter (неопр.). Дата обращения: 12 октября 2012.
OCaml
Minsky, Y. and Madhavapeddy, A. and Hickey, J. Real World OCaml: Functional Programming for the Masses. — O'Reilly Media, 2013. — 510 p. — ISBN 9781449324766.
Whitington, J. More OCaml: Algorithms, Methods \& Diversions. — On Demand Publishing, LLC-Create Space, 2014. — 218 p. — ISBN 9780957671119.
Whitington, J. OCaml from the Very Beginning. — Coherent Press, 2013. — ISBN 9780957671102.
Bandyopadhyay, R. and Rice University. Compiling Dynamic Languages Via Statically Typed Functional Languages. — Rice University, 2009. — ISBN 9781109217056.
Pierce, B.C. Types and Programming Languages. — MIT Press, 2002. — 623 p. — ISBN 9780262162098.
Filliâtre, J.C. and Conchon, S. Apprendre à programmer avec OCaml: Algorithmes et structures de données. — Eyrolles, 2014. — ISBN 9782212291551.
Rentsch, T. The Objective Caml Programming Language. — Abscissa Press, 2008. — 340 p. — ISBN 9780981599205.
Harrop, J.D. OCaml for Scientists. — Flying Frog Consultancy, 2005.
Chailloux, E. and Manoury, P. and Pagano, B. Développement d'applications avec Objective Caml. — O'Reilly France, 2000. — 686 p. — ISBN 9782841771219.
Joshua B. Smith. Practical OCaml. — Apress, 2006. — 488 с. — ISBN 9781590596203.
Yaron Minsky.OCaml for the Masses // ACM Queue: Programming Languages. — 2011. — Т. 9, № 9.
{{публикация
| автор = Doucet Arnaud, Johansen Adam M.
| часть = A Tutorial on Particle Filtering and Smoothing: Fifteen Years Later
| часть ссылка = http://www2.warwick.ac.uk/fac/sci/statistics/staff/academic/johansen/publications/DJ09.pdf
| заглавие = The Oxford Handbook of Nonlinear Filtering
| ответственный = D. Crisan, B. Rozovsky
| издательство = Oxford University Press
| год = 2009
}}
{{публикация|книга
|автор = Doucet A., Johansen A. M.
|часть ответственный = Arnaud Doucet, Adam M. Johansen
|часть = A Tutorial on Particle Filtering and Smoothing: Fifteen Years Later
|часть ссылка=http://www2.warwick.ac.uk/fac/sci/statistics/staff/academic/johansen/publications/DJ09.pdf
|заглавие = The Oxford Handbook of Nonlinear Filtering
|ответственный = ed. by D. Crisan and B. Rozovsky
|место =
|издательство = Oxford University Press
|год = 2009
|pages = 656—704
|isbn = 978-0-19-953290-2
}}
Если D. Crisan и B. Rozovsky не редакторы, а авторы, то ссылку можно оформить двумя способами:
{{публикация|книга
|автор = Doucet A., Johansen A. M.
|часть ответственный = Arnaud Doucetand, Adam M. Johansen
|часть = A Tutorial on Particle Filtering and Smoothing: Fifteen Years Later
|часть ссылка=http://www2.warwick.ac.uk/fac/sci/statistics/staff/academic/johansen/publications/DJ09.pdf
|заглавие = The Oxford Handbook of Nonlinear Filtering
|ответственный = D. Crisan, B. Rozovsky
|место =
|издательство = Oxford University Press
|год = 2009
|pages = 656—704
|isbn = 978-0-19-953290-2
}}
