Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как […]
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как […]
В IBM Лотус Симфони История и развитие IBM Lotus Symphony IBM Lotus Symphony — это набор приложений для создания и
Microsoft Silverlight (Серебряный свет) История и развитие Silverlight Silverlight была разработана Microsoft для использования в качестве платформы для создания веб-приложений.
Призма Mozilla История и концепция Mozilla Prism Prism был проектом, интегрирующим веб-приложения с настольными компьютерами. Проект прекратил свою активность в
Microsoft Silverlight (Серебряный свет) История и развитие Silverlight Silverlight была разработана Microsoft для предоставления веб-приложений с высоким уровнем интерактивности и
Идентификатор содержимого Обзор Content ID Content ID — система YouTube для идентификации и защиты авторских прав на видео и аудио.
Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом. Система Agda была разработана
Магазин Kindle Store Обзор Kindle Store Kindle Store — это онлайн-магазин электронных книг от Amazon, доступный на различных устройствах. На
Переписчик (программное обеспечение) Обзор программы Scrivener Scrivener — это программа для писателей, которая позволяет управлять текстами и планами. Она предоставляет
Theano (программное обеспечение) Theano — библиотека Python и оптимизирующий компилятор для математических выражений. Вычисления в Theano выражаются с использованием синтаксиса