Вып. 129 : Теория алгоритмов и её приложения

Вып. 129 : Теория алгоритмов и её приложения

Dades bibliogràfiques
Parent link:	Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. Вып. 129 : Теория алгоритмов и её приложения.— , 1964-2008
Altres autors:	Ершов Ю. Л. (340), Гончаров С. С.
Idioma:	rus
Publicat:	1989
Matèries:	Вычислительные системы логическое программирование программы схемы логики семантика семантика компьютерная данные типология информация
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=228363

Ítems similars

Вып. 120 : Логические методы в программировании
Publicat: (1987)

Вып. 124 : Языки спецификаций и логическое программирование
Publicat: (1988)

Логические вопросы теории типов данных сборник научных трудов
Publicat: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986)

Т. 6
Publicat: (1991)

Т. 4
Publicat: (1990)

[Вып.] 94 : Вычислительные системы с программируемой структурой [сборник]
Publicat: (1982)

[Вып.] 78 : Математическое обеспечение вычислительных систем
Publicat: (1979)

Вып. 5
Publicat: (1984)

Вычислительные системы: моделирование, проектирование и программирование сборник научных трудов
Publicat: (Ярославль, ЯрГУ, 1990)

Применение методов математической логики. Секция : Представление знаний и синтез программ тезисы докладов IV Всесоюзной конференции
Publicat: (Таллин, Изд-во ин-та кибернетики, 1986)

Вып. 133 : Логические методы в программировании
Publicat: (1990)

Методы проектирования и анализа вычислительных систем, сетей и средств межвузовский тематический сборник
Publicat: (Москва, Изд-во МЭИ, 1985)

Вып. 135 : Системология и методологические проблемы информационно-логических систем
Publicat: (1990)

Синтез параллельных программ и систем на вычислительных моделях
per: Вальковский В. А. Владимир Александрович
Publicat: (Новосибирск, Наука, 1988)

Вып. 2
Publicat: (1985)

Вып. 123 : Анализ текстов и сигналов
Publicat: (1987)

Вып. 122 : Прикладные аспекты математической логики
Publicat: (1987)

Вып. 112 : Алгоритмический анализ структурной информации
Publicat: (1985)

Т. 3
Publicat: (1990)

Перспективы развития вычислительных систем (применение идей адаптации и эволюции) тезисы докладов второго Всесоюзного семинара, г. Рига, 22-24 май 1985 г.
Publicat: (Рига, Изд-во РПИ, 1985)

Компьютерная семантика
per: Шемакин Ю. И. Юрий Иванович
Publicat: (Москва, Школа Китайгородской, 1995)

Вып. 3
Publicat: (1985)

Организация и проектирование вычислительных структур на БИС
Publicat: (Ленинград, Изд-во ЛЭТИ, 1983)

Вып. 119 : Вопросы алгоритмического анализа структурной информации
Publicat: (1987)

Методы и алгоритмы оптимизации нелинейных задач учебное пособие
per: Жирков В. Ф. Владислав Федорович
Publicat: (Владимир, Изд-во ВПИ, 1986)

Алгоритмы и структуры специализированных систем сборник научных трудов
Publicat: (Тула, Изд-во Тульского политехнического ин-та, 1981)

Вып. 132 : Методы обработки символьных последовательностей и сигналов сборник научных трудов
Publicat: (1989)

Вып. 130 : Математические вопросы химической информатики
Publicat: (1989)

Проблемно-ориентированные средства повышения эффективности вычислительных систем межвузовский сборник
Publicat: (Казань, КАИ, 1988)

Вычислительные системы и сети учебник в электронном формате
per: Мелехин В. Ф. Виктор Федорович
Publicat: (Москва, Академия, 2013)

Вып. 6
Publicat: (1988)

Вып. 3
Publicat: (1982)

Высокопроизводительные вычислительные системы и их программное обеспечение сборник научных трудов
Publicat: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)

[Вып.] 107 : Логико-математические основы проблемы МОЗ [сборник]
Publicat: (1985)

[Вып.] 77 : Автоматизация проектирования в микроэлектронике. Теория. Методы. Алгоритмы
Publicat: (1978)

Вып. 8
Publicat: (1983)

Вып. 7
Publicat: (1990)

Методическое обеспечение централизованной системы автоматизированного обмена информацией сборник трудов
Publicat: (Москва, Изд-во ВНИИПАС, 1987)

Вып. 4
Publicat: (1986)

Вып. 5
Publicat: (1987)