Вы здесь

Home » Издательства

Мир

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

Конкретная математика. Основание информатики
Конструирование компиляторов для цифровых вычислительных машин
Конструктивные множества и их приложения
Контрпримеры в анализе
Лекции о кривых на алгебраической поверхности
Линейная алгебра и её применения
Логический подход к искусственному интеллекту: от классической логики к логическому программировванию
Логическое программирование в системе/360
Логическое программирование в системе/360
Логическое проектирование операционных систем
Макропроцессоры и мобильность программного обеспечения
Математика и логика. Ретроспектива и перспективы
Математическая логика в программировании. Сборник статей
Математическая логика и её применения
Математическая теория энтропии
Математические методы статистики
Математические эссе и развлечения
Математический цветник. Сборник статей и задач
Математическое моделирование
Машины Тьюринга и рекурсивные функции
Мера и категория
Метаматематика элементарной математики
Методология программирования
Методы компиляции
Методы принятия технических решений
Методы программирования: Курс на основе Фортрана
Методы программирования, Т.1
Методы программирования, Т.2
Методы проектирования программных систем
Методы современной математической физики. Том 1: Функциональный анализ
Методы управления проектированием программного обеспечения
Микропрограммирование
Микропроцессоры и машинное проектирование микропроцессорных систем
Микропроцессоры и машинное проектирование микропроцессорных систем
Микропроцессоры и микрокомпьютеры. Вводный курс
Микро-ЭВМ и микропроцессоры: технические средства, программное обеспечение, применения
Мини-ЭВМ PDP-11: Программирование на языке Ассемблера и организация машины
Мини-ЭВМ в системах обработки информации
Мир Лиспа. Введение в язык Лисп и функциональное программирование
Мир Лиспа. Методы и системы программирования
Мобильность программного обеспечения
Модели многогранников
Мультипроцессорные системы и параллельные вычисления
Надежность и проектирование систем
Надежность программного обеспечения
Надёжность программного обеспечения
Наука Программирования
Начала теории Рамсея
Начальные курс алгебраической топологии
Непрерывные дроби. Аналитическая теория и приложения