Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Home
»
Издательства
Наука
Связанные издания:
Active Patterns
A General Theory of Action Languages
An Implementation of Eden on Top of Concurrent Haskell
A Type-Based Algoritm for the Control-Flow Analysis of Higher-Order Concurrent Programs
Calculating a Functional Module for Binary Search Trees
Context Patterns in Haskell
Coordinating Functional Process Using Petri Nets
First Class File I/O
Forte Agent - почта и новости в двух мегабайтах
Implementing the Conjugate Gradient Algorithm in a Functional Language
Introducing CLOVER: An Object-Oriented Functional Language
Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer
Microsoft Access 2.0: все ли вы о ней знаете?
On Programming Scientific Applications in SAC - a Functional Language Extended by a Subsystem for High-Level Array Operations
OS/2 Warp против Windows NT 3.5
RTST - технология программирования встроенных систем реального времени
The Implementation and Efficiency of Arrays in Clean 1.1
The Results of: Profiling Large-Scale Lazy Functional Programs
Two-Pass Heap Profiling: A Matter of Life and Death
Unix для всех
Windows 95: включи и играй?
Автоматизированная система информационного обеспечения разработок
Автоматное управление асинхронными процессами в ЭВМ и дискретных системах
Актуальные проблемы вычислительной математики и математического моделирования
Алгебраические системы
Алгебраическое исчисление для алгоритмов над графами и алгоритмов сортировки
Алгоритмы и программы решения задач на графах и сетях
Алексей Андреевич Ляпунов
АЛЬФА - система автоматизации программирования
Аналитическая геометрия
Аналитическая терия алгоритмов
Архитектурные, формальные и программные модели. Сборник научных трудов
Бионический подход к представлению знаний в интеллектуальных системах. I
Борьба с вирусами в эпоху Интернет
Введение в практику перевода научной и технической литературы на английский язык
Введение в теоретическое программирование: беседы о методе
Верификация программ над массивами
Вычислительная информатика: открытие науки
Вычислительные процессы и системы
Вычислительные процессы с теплицевыми матрицами
Выявление экспертных знаний
Геометрия
Грамматика современного русского литературного языка
Дифференциальная геометрия
Задача миграции технологии СБИС и алгоритмы компактизации
Заочные математические олимпиады
Избранные труды
Имитационные модели неопределенных систем
Инструментальные средства для разработки систем, основанных на знаниях
Инструментальный комплекс программирования на основе языков высокого уровня
1
2
3
4
следующая ›
последняя »