Автокод москва бесплатно: Автокод — проверка авто по вин коду и гос номеру

Содержание

Проверка штрафов по VIN коду или госномеру

Узнать долги и налоги по ИНН

Автокод mos ru — специальный сервис, созданный на базе госуслуг, разработанный для работы с удобной проверкой штрафов и автомобиля в целом. Данный сервис позволяет просто и быстро, в удаленном режиме проверять наличие существующих штрафов, а также полную историю автомобиля. Данный сервис распространяется на территории Москвы и Московской области, в качестве варианта тестирования системы. Однако при успешном окончании данного теста, сервис может распространиться на все регионы страны.

Что такое официальный сайт автокод mos ru

Официальный портал данной структуры по адресу https://avtokod.mos.ru/ представляет собой некую базу автомобилистов, где можно воспользоваться множеством услуг. На данном портале существует возможность проверить автомобиль полностью, от наличия штрафов, до аварий с участием данного автомобиля.

Автокод еще не доработанная структура, однако вскоре планируется создать единую базу для всех автомобилей, где можно будет узнать все о том или ином авто.

Руководители данного сервиса уверены в том, что такая база позволит содержать актуальную информацию об автомобиле, улучшит качество изучения рынка автомобилей.

На сегодняшний день портал располагает следующим возможностями:

Возможность проверки автомобиля на угон;
Содержание полной информации об участии в аварии;
Возможность проверки авто на предмет регистрации;
Актуальная информация о страховке;
Информация касательно пробега авто;
Информация о наличии штрафов.

Чтобы воспользоваться данными услугами, нужно пройти регистрацию на портале и получить доступ к информации после авторизации.

Как войти на сайт www avtokod mos ru

Исходя из того, что данный сервис работает пока только на территории столицы и Московской области, то регистрация представляет собой ту же что и на mos.ru. Если пользователь уже зарегистрирован на сайте Москвы, то повторная регистрация для входа на Автокод не потребуется.

В поле авторизации стоит ввести данные от учетной записи mos.ru

Для того чтобы проверить машину на Автокоде потребуется:

Наличие государственного номера или Вин-кода;
Серия и номер свидетельства о регистрации данного авто.

Данная проверка машины распространяется на владельцев автомобиля или же при условии, если вся необходимая информация была предоставлена заранее.

Проверка штрафов на официальном сайте автокод www avtokod mos ru

Работа данного сервиса довольно проста и удобна. При наличии вышеуказанных данных можно быстро проверить автомобиль. Система работает круглосуточно и постоянно пополняет базу транспортных средств. Для нахождения информации не потребуется дополнительных действий.

Автокод представляет собой сервис основанный на базе госуслуг сайта Москвы. Поэтому при любых возникших вопросах, технических неполадках и прочих проблем можно обратиться на линию поддержки госуслуг, где оператор даст лаконичный и четкий ответ по возникшей ситуации ли же предложит решение возникшей проблемы.

Компания Автокод Объявления — отзывы, фото, цены, телефон, адрес и как доехать — Автосервисы — Москва

/Нет отзывов

Откроется через 11 ч. 1 мин.

Описание

Компания Автокод Объявления (рейтинг на Zoon — 5) организует свою работу так, чтобы помочь всем, чья жизнь определённым образом связана с автотранспортом, и взять часть их забот на себя.

Желаете приобрести новенький автомобиль напрямую от производителя? Для тех, кто ещё не решился, возможен более детальный осмотр авто, который поможет сделать окончательный выбор. В выставочном зале представлены актуальные образцы с заводского конвейера. Помимо этого, организация выполняет функции автосервиса. Опытные мастера автосервиса производят работы по устранению неисправностей автотранспорта, стараясь оперативно разобраться с причиной и устранить техническую проблему.

В перечне оказываемых услуг есть оценка состояния авто перед покупкой.

Сервис принимает на обслуживание такие марки, как Volkswagen, Bentley, Volvo, Cadillac, Daewoo и другие.

Более детальную информацию вы сможете получить на сайте компании cars.avtocod.ru и по телефону 79122644321. Двери компании Автокод Объявления открыты Пн-вс: 09:00 — 21:00.

Компания находится по адресу Бауманская улица, 7 и работает рядом с метро Бауманская.

Телефон

+7 (912) 264-43-… — показать

до м. Бауманская — 0.5 км

Проложить маршрут

На машине, пешком или на общественном транспорте… — показать как добраться

Время работы: Пн-вс: 09:00—21:00

Компания в сети: cars.avtocod.ru

Вы владелец?

Получить доступ
Получить виджет
Сообщить об ошибке

4 фотографии компании Автокод Объявления

Другие автосервисы, которые мы рекомендуем

Специалисты компании Автокод Объявления

Работаете здесь или знаете кто здесь работает? Добавьте специалиста, и он появится здесь, а еще в каталоге специалистов.

Подробнее о преимуществах размещения

Часто задаваемые вопросы о Компании Автокод Объявления

📍 Где можно найти Компанию Автокод Объявления?
Адрес заведения: Россия, Москва, Бауманская улица, 7.
☎️ Как связаться с Компанией Автокод Объявления?
Номер телефона для звонков: +7 (912) 264-43-21.
🕖 В каком режиме работает Компания Автокод Объявления?
org/Answer»> Двери заведения открыты по графику: Пн-вс: 09:00 — 21:00.
⭐ Как клиенты заведения оценивают его уровень сервиса?
В среднем компания оценивается пользователями Zoon.ru на 5. Вы можете оставить свой отзыв о Компании Автокод Объявления!
📷 Сколько фотографий на странице Компании Автокод Объявления на Zoon.ru?

В анкете Компании Автокод Объявления 4 изображения.
✔️ Насколько точна информация на данной странице?
org/Answer»> Zoon.ru старается размещать максимально точные и свежие данные о заведениях. Если вы видите неточность и/или являетесь представителем данного заведения, то можете воспользоваться формой обратной связи.

Средняя оценка — 5,0 на основании 1 оценки

Тони Хоар >> Статьи >> Быстрая сортировка

История

Во время учебы в МГУ Тони Хоар получил предложение о работе в Национальной физической лаборатории (НФЛ) для работы над новым проектом по машинному переводу с русского на английский. Однако, поскольку словари хранились на магнитной ленте, ему нужно было рассортировать слова предложения в алфавитном порядке перед переводом.

Хоар придумал два способа решить эту проблему. Первый метод потребовал бы времени, пропорционального квадрату длины предложения. Второй метод позже проявился как быстрая сортировка. В то время он знал только один язык — Mercury Autocode. К сожалению, ему не удалось успешно закодировать быструю сортировку с помощью Mercury Autocode.

В 1961 году Хоар посещал занятия по Алголу 60 в Брайтоне. Алгол 60 допускал рекурсию (способность процедуры вызывать саму себя). Во время этого курса Хоар запрограммировал сверхбыстрый алгоритм сортировки, теперь известный как быстрая сортировка. Его первая статья о быстрой сортировке также была опубликована в 1961 году, а еще одна — в 1962 году.

Вернуться к началу

Алгоритм

В быструю сортировку были внесены некоторые изменения с момента ее разработки. Однако основной алгоритм работает следующим образом:

Выберите элемент в списке — этот элемент будет опорным. Отложите его в сторону (например, переместите в начало или конец).
Разделите массив элементов на два набора — те, что меньше, чем опорная, и те, что больше, чем опорная (примечание: меньше и больше относятся к целым числам, но быструю сортировку можно также использовать для сортировки других типов элементов, таких как строки).
Повторяйте шаги 1 и 2 для каждого из двух результирующих разделов, пока каждый набор не будет содержать один или меньше элементов.

В своей статье Хоар устанавливает метод разделения каждого массива с использованием нижних и верхних указателей. Нижний указатель начинается слева и движется вправо, пока не найдет элемент, больший, чем точка опоры, а верхний указатель начинается справа и движется влево, пока не найдет элемент, меньший точки опоры. Когда каждый указатель останавливается, два элемента меняются местами. Процесс продолжается до тех пор, пока два указателя не пересекутся. Как только это произошло, число, на которое указывает нижний указатель, заменяется точкой поворота. Затем два раздела снова сортируются с помощью быстрой сортировки.

Вернуться к началу

Классификация

Разделяй и властвуй
Быстрая сортировка — это алгоритм сортировки по принципу «разделяй и властвуй», то есть он берет проблему сортировки и разбивает ее на подзадачи, которые, в свою очередь, разбиваются на дополнительные подзадачи. Это достигается с помощью рекурсивного программирования, когда процедура вызывает сама себя. 2)). 92) встречается очень редко. Случай квадратичного времени обычно возникает из-за неправильного выбора опорной точки.

Однако из-за этого ограничения быструю сортировку не следует использовать в приложениях, требующих гарантированного времени отклика, например, в критически важных ситуациях.

Быстрая сортировка идеально подходит для использования с большими наборами данных и/или при ограничении памяти. Как правило, в коммерческих приложениях используется быстрая сортировка, поскольку она работает быстро и не требует много дополнительной памяти.

Вернуться к началу

Модификации

Быстрая сортировка, предложенная Хоаром, изначально не была идеальной. На протяжении многих лет многие возились с быстрой сортировкой, чтобы скорректировать ее недостатки:

Сортировка небольших разделов
Некоторые утверждали, что, когда разделы достаточно малы, использование быстрой сортировки на самом деле менее эффективно, чем использование другого метода сортировки, такого как сортировка вставками. Вопрос о том, что считать достаточно маленьким, обсуждался, но алгоритм быстрой сортировки можно запрограммировать на переключение на другой алгоритм сортировки, когда разделы достигают определенного постоянного размера m. 92) время наихудшего сценария). Другим возможным решением является выбор медианы из набора, но это усложняет задачу. Компромисс состоит в том, чтобы выбрать три элемента из набора (например, первый, средний и последний) и использовать срединный элемент в качестве опорного.

Джеймс Барбетти анализирует некоторые другие проблемы с быстрой сортировкой, такие как обработка повторяющихся значений и построение стабильной сортировки, в своем эссе «Быстрая сортировка не работает. Стоит ли ее исправлять?».

Наверх

Сравнения

Для проверки между сортировкой вставками, сортировкой оболочки, сортировкой кучи, сортировкой слиянием и быстрой сортировкой щелкните здесь.

Вернуться к началу

Источники и дополнительная литература

Приведенный выше текст и изображения взяты из следующих источников:
Алгоритмы сортировки: Quicksort
Сортировка (глава 8)
Quicksort

Для получения дополнительной информации посетите страницу ресурсов .

Вернуться к началу

Аналитические преобразования на компьютере: современное состояние и проблемы

Глушков В. М. Проблемы вычислительной техники и смежные математические задачи // Укр. Мат. ж., 9 , № 4, 369–376 (1957).
Google Scholar
Ляпунов А. А. Логические схемы программ // Пробл. Кибернетики, № 1, 46–74 (1958).
Google Scholar
Яненко Н.Н., Шульгин В.А. Алгебраико-дифференциальные алгоритмы, реализуемые на электронно-вычислительных машинах // Пробл. Кибернетики, № 6, 33–43 (1961).
Google Scholar
Н. Н. Говорун (ред.), Аналитические расчеты на ЭВМ и их применение в теоретической физике, ОИЯИ, Дубна (1980).
Google Scholar
«>
Глушков В. М. Основы безбумажной информатики. М.: Наука, 1982.
Google Scholar
Глушков В.М., Бондарчук В.Г., Гринченко Т.А., Дородницына А.А., Клименко В.П., Летичевский А.А., Погребинский С.Б., Стогний А.А. Фишман С. Аналитик: алгоритмический язык описания вычислительных процессов с использованием аналитических преобразований // Кибернетика. № 3. С. 102–134.71).
Google Scholar
В.М. Глушков, Т.А. Гринченко, А.А. Дородницына, А.М. Драх, Ю.В. Капитонова, В.П. Клименко, Л.Н. Кресс, А.А. Летичевский, С.Б. Погребинский, А.А. Стогний, О.Н. Савчак, Ю.В. Фишман С., Царюк Н.П. Аналитик-74 // Кибернетика. 1978. № 5. С. 114–147.
Google Scholar
В. М. Глушков, Т. А. Гринченко, А. А. Дородницына, А. М. Драх, В. П. Клименко, С. Б. Погребинский, О. Н. Савчак, Ю. А. Фишман С., Царюк Н. П. // Аналитик-79.[на русском языке], ИК акад. Наук УССР (Препринт 83-12), Киев (1983).
Google Scholar
Клименко В. П. Построение систем интерпретатора в малых ЭВМ для инженерных расчетов. Дис.: Киев: Ин-т кибернетики, 1970.
Google Scholar
Гринченко Т. А. Выполнение аналитических преобразований на ЭВМ: Дис., Институт кибернетики. Киев (1968).
Google Scholar
Ю. Фишман С., Символьная интеграция на компьютере, Диссертация, Институт кибернетики, Киев (1970).
Google Scholar
Глушков В. М., Клименко В. П., Лосев В. Д., Молчанов И. Н., Погребинский С. Б. ЭВМ МИР-2: особенности и применение // Кибернетика. 1975. № 5. С. 115–120.
Google Scholar
«>
В.П. Клименко, С.Б. Погребинский, Ю.В. Фишман С. Особенности проблемно-ориентированных комплексов на базе СМ-1410 // Проблемно-ориентированные комплексы. Киев: Наук УССР, 1981. С. 12–25.
Google Scholar
В.П. Клименко, С.Б. Погребинский, Ю.В. Фишман С. Распознавание функциональных особенностей выражений на ЭВМ МИР // Кибернетика. 1973. № 2. С. 43–52.
Google Scholar
С.Б. Погребинский и Ю.В. Фишман С. Решение систем линейных уравнений и эволюция неопределенностей с буквенными коэффициентами на ЭВМ МИР // Кибернетика. 1972. № 2. С. 23–25.
Google Scholar
В.М. Глушков, В.П. Клименко, И.Н. Молчанов, С.Б. Погребинский, Ю.В. Фишман Ю.С., Яковлев М.Ф. Внешнее математическое обеспечение ЭВМ МИР-2 // Кибернетика. № 5. С. 111–114 (19).75).
Google Scholar
«>
Погребинский С.Б. Архитектура ЭВМ МИР // Технологические и математические средства диалога в вычислительных системах. Киев: РДЭНТП, 1975. С. 21–27.
Google Scholar
Глушков В. М., Погребинский С. Б., Рабинович З. Л., Стогний А. А. Разработка структур ЭВМ в сочетании с их математическим обеспечением // Кибернетика. № 5. С. 15–28 (19).67).
Google Scholar
В. М. Глушков (ред.), Вычислительные системы с развитыми системами интерпретации, Киев: Наукова думка, 1970.
Google Scholar
В. М. Пентковский, Автокод Эльбруса, Наука, Москва (1982).
Google Scholar
Канторович Л.В. Математическая символика, удобная для компьютерных расчетов // Докл. акад. Наук СССР, 113 , № 4, 738–741 (1957).
Google Scholar
Непомнящий В. А., Сабельфельд В. К. Трансформационный синтез правильных программ // Оптимизация и преобразование программ. ВЦ Сиб. Отд. акад. Новосибирск: Наук СССР, 1983. Ч. 2. С. 99–118.
Google Scholar
Д.Я. Левин, “Использование языков высокого уровня (выборка результатов)”, ВЦ Сиб. Отд. акад. Наук СССР (Препринт 197), Новосибирск (1979).
Google Scholar
В. Е. Котов, Введение в теорию схем программирования, Сиб. Отд. Наука, Новосибирск (1978).
Google Scholar
Глушков В. М. Абстрактная теория автоматов // Усп. Мат. наук, 16 , № 5, 3–62 (1961).
Google Scholar
«>
Глушков В. М. Теория автоматов и формальные преобразования микропрограмм // Кибернетика. 1965. № 5. С. 1–10.
Google Scholar
Ю. Ющенко А. А. АНАЛИСТ-L2B: программа для автоматизации тождественных преобразований и подтверждения тождеств в системах автоматического анализа // Материалы Второй республиканской конференции по автоматизации научных исследований. Наук УССР, Киев (1981), стр. 78–79..
Google Scholar
Глушков В. М. Формальные преобразования алгоритмов // Алгоритмы в современной математике и их приложения. ВЦ Сиб. Отд. акад. Новосибирск: Наук СССР, 1982. Ч. 2. С. 240–253.
Google Scholar
Р. А. Плюшкявичюс, А. Ю. Плюшкявичене, Ю. Сакалаускайте В., Юкна С.П. О программной логике // Кибернетика. № 2. С. 12–19.(1970).
Google Scholar
«>
Глушков В.М., Летичевский А.А. Теория дискретных преобразователей // Избранные вопросы алгебры и логики. Сиб. Отд. акад. Новосибирск: Наук СССР, 1973. С. 5–39.
Google Scholar
Яблонский С.В., Лупанов О.Б. (ред.). Дискретная математика и математические проблемы кибернетики. 1, Наука, Москва (1974).
Google Scholar
Глушков В. М., Ющенко Е. Л., Цейтлин Г. Е. Алгебра, языки, программирование. Киев: Наукова думка, 1974.
Google Scholar
В.М. Глушков, Ю.В. 2. Капитонов В., Летичевский А. А. Автоматизация проектирования вычислительных машин. Киев: Наукова думка, 1975.
Google Scholar
В.М. Глушков, В.В. Бублик, Ю.В. Капитонова В., Летичевский А.А. и др. Базовый язык инструментального программирования: Проект-ЕС. Наук УССР (Препринт 72-22), Киев (1979).
Google Scholar
В.М. Глушков, В.В. Бублик, Ю.В. Капитонова В., Летичевский А.А. и др. Программирование на языке L2B: Проект-ЭС. Наук УССР (Препринт 79-73), Киев (1979).
Google Scholar
Митченко А. И. Алгоритмы реализации булевых выражений на основе функций И-НЕ и И-ИЛИ-НЕ с особенностями реализации // Автоматизация проектирования и моделирования вычислительных систем. Киев: Наук УССР, 1982. С. 36–41.
Google Scholar
Бублик В. В., Гороховский С. С. Языковые средства высокого уровня и их использование в проектировании // Автоматизация компьютерного проектирования. Киев: Наукова думка (19).79), стр. 18–24.
Google Scholar
М. Р. Шура-Бура, В.А. Крюков, Г.Ю. Молчанов, Т.А. Нолилова, Пути повышения уровня автоматизации программирования // Системное и теоретическое программирование. Кишинев: Штиинца, 1983. С. 407–416.
Google Scholar
Ющенко Е.Л., Цейтлин Г.Б. Многоуровневый синтез структурированных программ // Кибернетика. № 5. С. 11–21 (19).82).
Google Scholar
М.И. Кахро, А.П. Калья, Э.В. Х. Тюгу, Инструментальная система программирования ЭС ЭВМ: ПРИЗ, Финансы и статистика, М. (1981).
Google Scholar
Лавров С. С. Синтез программ // Кибернетика. 1982. № 6. С. 11–16.
Google Scholar
В.М. Глушков, Ю.В. Капитонова Ю.В., Летичевский А.А. Инструментальные средства проектирования программ математической обработки текстов // Кибернетика. 1979. № 2. С. 37–42.
Google Scholar
Непейвода Н. Н. Логический подход к программированию // Алгоритмы в современной математике и ее приложениях. ВЦ Сиб. Отд. акад. Наук СССР, Новосибирск (1982). Часть 2, стр. 32–63.
Google Scholar
Летичевский А. А. Максимальная десеквенциализация циклических операторов // Докл. акад. АН СССР, 242 , № 4, 761–764 (1978).
Google Scholar
Я. Бардзин М. Индуктивный синтез программ // Алгоритмы современной математики и их приложения. ВЦ Сиб. Отд. акад. Новосибирск: Наук СССР, 1982. Ч. 1. С. 343–364.
Google Scholar
Системы программирования СЭТЛ, ВЦ Сиб. Отд. акад. Наук СССР, Новосибирск (1979).
«>
Ершов А. П. Основы перевода // Программирование. 1977. № 5. С. 21–39.
Google Scholar
Ершов А.П. Смешанные расчеты: возможности использования и задачи исследования // Материалы Всесоюзной конференции, Паланга, 3–5 сентября 1980 г.. Вильнюс, 1980. Ч. 2. С. 26–55.
Турчин В. Ф. Метаалгоритмический язык // Кибернетика. 1968. № 4. С. 45–54.
Google Scholar
Касьянов В. Н. Оптимизация программ // Прикладная информатика. М.: Финансы и статистика, 1983. Ч. 2. С. 38–76.
Google Scholar
В.М. Глушков, Ю.В. Капитонова Ю.В., Летичевский А.А. Применение метода формализованных технических заданий к проектированию программ обработки структур данных // Программирование. № 6. С. 31–43 (19).78).
Google Scholar
«>
В.М. Глушков, Ю.В. Капитонова Ю.В., Летичевский А.А. Теоретические основы проектирования дискретных систем // Кибернетика. 1977. № 6. С. 5–20.
Google Scholar
В.М. Глушков, Ю.В. Капитонова Ю.В., Летичевский А.А. Теория структур данных и синхронные параллельные вычисления // Кибернетика. 1976. № 6. С. 2–15.
Google Scholar
Непомнящий В. А. Практические методы верификации программ // Кибернетика. 1984. № 2. С. 21–28.
Google Scholar
Я. Бардзин М., Зариньш А. К., Калниньш А. А. Об одном языке спецификаций // Кибернетика. 1982. № 6. С. 30–39.
Google Scholar
Летичевский А.А., Костырко В.С. Использование ЭВМ МИР-2 для анализа программ // Кибернетика. № 6. С. 31–39.(1974).
Google Scholar
Глушков В.М. Система автоматизации доказательств (САД) // Автоматизация обработки математических текстов. Киев: Наук УССР, 1980. С. 3–30.
Google Scholar
Глушков В. М. Проблемы теории автоматов и искусственного интеллекта // Кибернетика. 1970. № 2. С. 3–13.
Google Scholar
В.М. Глушков и Ю.В. Капитонова В. Автоматизация поиска теорем, математических теорий и интеллектуальных машин // Кибернетика. 1972. № 5. С. 2–6.
Google Scholar
Бухараев Р.Г., Васильев А.И., Еникеев А.И. МАТИСС: система автоматизации абстрактных математических исследований на ЭВМ // Кибернетика. 1975. № 4. С. 67–77.
Google Scholar
«>
В. М. Матросов (ред.), Алгоритмы вывода теорем методом вектор-функций Ляпунова, Сиб. Отд. Наука, Новосибирск (1983).
Google Scholar
Панков П. С. Доказательные вычисления на ЭВМ. Фрунзе: Илим, 1978.
Google Scholar
Панков П. С., Баячорова Б. Д., Югай С. А. Доказательные вычисления на ЭВМ и их применение в различных областях математики // Кибернетика. № 6. С. 111–116 (19).82).
Google Scholar
Н.А. Шанин, Г.В. Давыдов, С.Ю. Маслов и др. Алгоритм машинного поиска естественного логического вывода в исчислении высказываний // Тр. ЛОМИ Акад. Наук СССР (1965).
С.Ю. Маслов, “Обратный метод установления выводимости логических исчислений”, Тр. МИ акад. АН СССР, 98 , 26–87 (1968).
Google Scholar
«>
С.Ю. Маслов, Асимметрия когнитивных механизмов и ее последствия, Семиотика и информатика, № 20, 3–31 (1983).
Google Scholar
Ю. Матиясевич В. Пакет процедур Алгола для вычислений с регулируемой точностью // Всесоюзный симпозиум по искусственному интеллекту и автоматизации математических исследований. Киев: Наук УССР, 1978. С. 61–62.
Google Scholar
Калужнин Л.А., Глазунов Н.М., Сущанский В.И. Система программирования для решения комбинаторных задач современной алгебры // Аналитические расчеты на ЭВМ и их применение в теоретической физике. Дубна: ОИЯИ, 1980. , стр. 23–25.
Google Scholar
Глазунов Н.М. Применение системы диалогового программирования в математических исследованиях // Упр. Сист. маш., № 6, 70–72 (1974).
Google Scholar
«>
Калужнин Л.А., Стогний А.А., Клазунов Н.М., Сущанский В.И. Проблемы развития алгебраических исследований с использованием ЭВМ // Кибернетика. 1983. № 2. С. 1–10.
Google Scholar
Стогний А.А., Глазунов Н.М. СОАМИ: система автоматизации математических исследований // Всесоюзный симпозиум по искусственному интеллекту и автоматизации математических исследований. Наук УССР, Киев (1978), стр. 96–98.
Google Scholar
Ю. Ершов Л. Теория A-пространств // Алгебра. Журнал., 12 , № 4, 369–416 (1973).
Google Scholar
Блудов В. В., Кокорин А. И. Применение ЭВМ при решении известных алгебраических задач // Кибернетика. 1982. № 6. С. 86–101.
Google Scholar
Коваленко И. Н. Алгоритмизация решения задач теории массового обслуживания и теории надежности // Алгоритмические методы в теории надежности. Киев: Наук УССР, 1974. С. 3–12.
Google Scholar
Коваленко И. Н. Расчет вероятностных характеристик систем. Киев: Техника, 1982.
Google Scholar
Михалевич В. С., Иванов В. В., Сергиенко И. В. Повышение эффективности моделирующих комплексов // Кибернетика. 1982. № 5. С. 4–5.
Google Scholar
Михалевич В.С., Сергиенко В.В., Иванов В.В., Бабич М.Д., Задирака В.К. Оптимизация алгоритмов и решение задач на ЭВМ // Вестн. акад. АН УССР, № 6, 99–100 (1982).
Google Scholar
Михалевич В. С., Кукас А. И. Методы последовательной оптимизации. М. : Наука, 1983.
Google Scholar
С.С. Камынин, Э.В. Любимский З. и др. Вопросно-ответные системы и их возможности. АН СССР, Препринт № 50, Москва (1978).
Google Scholar
Болдырев А.С., Болдырева Е.В. 3. Любимский, Системы автоматического решения задач с процедурно-экспертным взаимодействием, ИФМ АН. Наук СССР, Препринт № 25, Москва (1982).
Google Scholar
Тозони О. В. Метод ускоренного расчета формул на ЭВМ // Кибернетика. 1983. № 1. С. 11–18.
Google Scholar
Гердт В.П., Тарасов О.В., Ширков Д.В. Аналитические расчеты на ЭВМ с приложениями к физике и математике // Усп. Физ. наук, 130 , № 1, 113–147 (1980).
Google Scholar
«>
Ю. Демьянович К. Система аналитических вычислений на языке АЛГОЛ в мониторной системе Дубна // Программирование. 1981. № 4. С. 57–63.
Google Scholar
Смирнова Т. Н. Полиномиальный супервизор и выполнение аналитических расчетов на ЭВМ // Тр. МИ акад. 1962. № 3. С. 25–28.
Google Scholar
Ю. В. Марков, «САНТ. Система программирования аналитических преобразований // Программирование. № 1. С. 20–26 (19).83).
Google Scholar
Долгов Г.А., Чубарев Н.А. Алгебра-О система аналитических преобразований аналитических полиномов и полиномиальных матриц, зависящих от многих переменных // Материалы Национальной конференции по методам перевода. Отд. акад. Новосибирск: Наук СССР, 1981. С. 174–176.
Google Scholar
«>
Калинина Н.А., Семенов А.Л. Архитектура и возможности универсальной системы аналитических преобразований: АУМ // Материалы национальной конференции по методам перевода. Отд. акад. Наук СССР, Новосибирск (1981), стр. 171–173.
Google Scholar
Кузьмин А. В. Система аналитических преобразований многочленов, рациональных функций и рядов многих переменных // Материалы Национальной конференции по методам перевода. Отд. акад. Новосибирск: Наук СССР, 1981. С. 165–167.
Google Scholar
Аксельрод И.Р., Белоус Л.Ф. СИРИУС-СПУТНИК: новая версия системы аналитических преобразований // Материалы Национальной конференции по методам перевода. Отд. акад. Наук СССР, Новосибирск (1981), стр. 160–161.
Google Scholar
Калинина Н.А., Поттосин И.В. Архитектура универсальных систем аналитических преобразований // Теория и практика системного программирования. ВЦ Сиб. Отд. акад. Новосибирск: Наук СССР, 1977. С. 5–12.
Google Scholar
Калинина Н.А., Поттосин Л.В. Проблемы разработки систем аналитических преобразований на ЭВМ // Аналитические расчеты на ЭВМ и их использование в теоретической физике.80), стр. 5–10.
Google Scholar
Араис Э.А., Сибиряков Г.В. АВТО-АНАЛИТИК. Новосибирск: НГУ, 1973.
Google Scholar
Турчин В. Ф., Сердобольский В. В. Язык РЭФАЛ и его приложения для преобразования алгебраических выражений // Кибернетика. 1969. № 4. С. 58–62.
Google Scholar
Ю. Борзов В. Тестирование программ с использованием символьного исполнения // Программирование. 1980. № 1. С. 51–59.
Google Scholar
«>
Кожевникова Г.П., Стогний А.А. Представление аналитических выражений для машинных преобразований формул // Кибернетика. 1975. № 4. С. 54–66.
Google Scholar
В. Н. Агафонов (ред.), Данные в языках программирования: абстракция и типология (сборник переводов) [Русский перевод], Мир, Москва (1982).
Google Scholar
Лавров С. С. Методы определения семантики языка программирования // Программирование. 1978. № 6. С. 3–10.
Google Scholar
Курочкин В. М. (ред.), Семантика языков программирования. Сборник статей [Русский перевод], Мир, Москва (1980).
Google Scholar
Р. С. Бойер, Б. Элспас и К. Н. Левитт, «ВЫБЕРИТЕ. Формальная система для тестирования и отладки программ путем символьного выполнения», в: Труды Международной конференции по надежному программному обеспечению, Лос-Анджелес, апрель 1975 г. , Нью-Йорк (1975), стр. 234–245.
В. С. Фотт, Д. А. Уотерман, С. Дж. Розеншайн и др., «EP-2, прототип примерной системы программирования», в: ACM-79: Proceedings of Annual Conference of Association of Computer Machinery, Детройт, 29 октября.–30, 1979, Нью-Йорк (1979), стр. 135–142.
Х. Т. Кунг, «Использование СБИС в алгебраических вычислениях», в: Материалы симпозиума ACM 1981 г. по символическим и алгебраическим вычислениям, ACM, Нью-Йорк (1981), стр. 218–222.
J. A. van Hulzen и I. Calmet, «Вычисление алгебраических систем», Computing (Австрия), Suppl. 2 (1982).
Дж. Фитч, «Обзор символьных вычислений в физике», Лекция. Примечания Вычисл. Sci., 72 , 30–41 (1979).
Google Scholar
T. E. Cheatham Jr., G. H. Hellaway, and I. A. Toronley, «Символическая оценка и анализ программ», IEEE Trans.