Институт программной инженерии
Институт разработки программного обеспечения Обзор Института разработки программного обеспечения (SEI) SEI – это научно-исследовательский центр, финансируемый из федерального бюджета США, […]
Вики
созданные в 1984 году
Вики
Корнеллский обзор
“Корнелл Ревью” История и идеология Cornell Review Cornell Review – консервативная студенческая газета, основанная в 1984 году. Газета известна своей
Вики
Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq – это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические
Вики
Общий Лисп
Обычная шепелявость Основы программирования на Common Lisp Common Lisp – это язык программирования, который сочетает в себе функциональное и объектно-ориентированное