Вы здесь

Главная

Программирование

Связанные издания:

Электронные библиотеки - новый класс информационных систем
Электронные библиотеки - развитие продолжается
Элементы системы визуального программирования VIM
Элиминация инвариантов циклов при верификации программ
Элиминация пересылок в стандартных схемах программ
Энергосберегаю ая компиляция длля мобильных систем
Энергоэффективные вычисления для группы кластеров
Этические проблемы программирования. Предисловие
Эффективная адаптация последовательных программ для современных векторно-конвейерных и массивно-параллельных супер-ЭВМ
Эффективная визуализация объемов с помо ью октантных деревьев
Эффективная генерация кодов векторных вычислений в вычислительных системах типа ОКМД
Эффективная поддержка баз данных с онтологическими зависимостями: реляционные языки вместо дескриптивных логик
Эффективная реализация быстрого преобразования Хафа с использованием сопроцессора CPCA
Эффективное использование сопрцессора при решении численных задач на персональной ЭВМ
Эффективные алгоритмы для теста принадлежности точки многоугольнику и многограннику
Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ
Эффективный оператор сжатия динамического диапазона яркостей
Ядро КС-грамматики и синтаксический анализ
Ядро непроцедурного метода моделирования эскизов трехмерных сцен
Язык ALEX описания схем
Язык Dynamic-REAL и его применение для верификации SDL-спецификаций распределенных систем
Язык Meander и его программное окружение
Язык ProXForms на этапе эволюций Web-технологий от HTML-форм к XForms
Язык запросов для концептуальных моделей и языков спецификации типа "объект-связь"
Язык запросов к совокупности XML-документов, соединенных при помо и ссылок языка Xlink
Языки и интерфейсы для анимации выражений лица
Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях
Язык исполняемых программных спецификаций
Языковые средства временно-ориентированной модели данных
Язык описания трехмерных сцен. Версия 2
Язык спецификации взаимодействую их процессов MODEL-100
Язык спецификации поведения распределенных программ