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