Вып. 129 : Теория алгоритмов и её приложения; Вычислительные системы
| Parent link: | Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. Вып. 129 : Теория алгоритмов и её приложения.— , 1964-2008 |
|---|---|
| Outros autores: | Ершов Ю. Л. (редактор), Гончаров С. С. |
| Idioma: | ruso |
| Publicado: |
1989
|
| Subjects: | |
| Formato: | Libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=228363 |
Títulos similares
Вып. 120 : Логические методы в программировании; Вычислительные системы
Publicado: (1987)
Publicado: (1987)
Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы
Publicado: (1988)
Publicado: (1988)
Вып. 146 : Логика и семантическое программирование; Вычислительные системы
Publicado: (1992)
Publicado: (1992)
Логические вопросы теории типов данных: сборник научных трудов
Publicado: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986)
Publicado: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986)
Т. 4; Вычислительные науки
Publicado: (1990)
Publicado: (1990)
Т. 6; Вычислительные науки
Publicado: (1991)
Publicado: (1991)
[Вып.] 94 : Вычислительные системы с программируемой структурой: [сборник]; Вычислительные системы
Publicado: (1982)
Publicado: (1982)
Вып. 5; Вычислительные системы
Publicado: (1984)
Publicado: (1984)
Вычислительные системы: моделирование, проектирование и программирование: сборник научных трудов
Publicado: (Ярославль, ЯрГУ, 1990)
Publicado: (Ярославль, ЯрГУ, 1990)
Вып. 133 : Логические методы в программировании; Вычислительные системы
Publicado: (1990)
Publicado: (1990)
Вып. 148 : Логические методы в информатике; Вычислительные системы
Publicado: (1993)
Publicado: (1993)
Вып. 2; Вычислительные процессы и системы
Publicado: (1985)
Publicado: (1985)
[Вып.] 78 : Математическое обеспечение вычислительных систем; Вычислительные системы
Publicado: (1979)
Publicado: (1979)
Вып. 135 : Системология и методологические проблемы информационно-логических систем; Вычислительные системы
Publicado: (1990)
Publicado: (1990)
Вып. 123 : Анализ текстов и сигналов; Вычислительные системы
Publicado: (1987)
Publicado: (1987)
Вып. 122 : Прикладные аспекты математической логики; Вычислительные системы
Publicado: (1987)
Publicado: (1987)
Вып. 112 : Алгоритмический анализ структурной информации; Вычислительные системы
Publicado: (1985)
Publicado: (1985)
Т. 3; Однородные вычислительные среды и систолические структуры
Publicado: (1990)
Publicado: (1990)
Вып. 3; Вычислительные процессы и системы
Publicado: (1985)
Publicado: (1985)
Вып. 9; Вычислительные процессы и системы
Publicado: (1993)
Publicado: (1993)
Вып. 3; Вычислительные системы
Publicado: (1982)
Publicado: (1982)
Применение методов математической логики. Секция : Представление знаний и синтез программ: тезисы докладов IV Всесоюзной конференции
Publicado: (Таллин, Изд-во ин-та кибернетики, 1986)
Publicado: (Таллин, Изд-во ин-та кибернетики, 1986)
Вып. 119 : Вопросы алгоритмического анализа структурной информации; Вычислительные системы
Publicado: (1987)
Publicado: (1987)
Вып. 6; Вычислительные процессы и системы
Publicado: (1988)
Publicado: (1988)
Вычислительные системы и сети: учебник в электронном формате
por: Мелехин В. Ф. Виктор Федорович
Publicado: (Москва, Академия, 2013)
por: Мелехин В. Ф. Виктор Федорович
Publicado: (Москва, Академия, 2013)
Вып. 130 : Математические вопросы химической информатики; Вычислительные системы
Publicado: (1989)
Publicado: (1989)
Вып. 145 : Методы и системы искусственного интеллекта; Вычислительные системы
Publicado: (1992)
Publicado: (1992)
Вып. 8; Вычислительные процессы и системы
Publicado: (1983)
Publicado: (1983)
Вып. 7; Вычислительные процессы и системы
Publicado: (1990)
Publicado: (1990)
Вып. 5; Вычислительные процессы и системы
Publicado: (1987)
Publicado: (1987)
Вып. 4; Вычислительные процессы и системы
Publicado: (1986)
Publicado: (1986)
Вып. 121 : Аппроксимация сплайнами; Вычислительные системы
Publicado: (1987)
Publicado: (1987)
Вып. 132 : Методы обработки символьных последовательностей и сигналов: сборник научных трудов; Вычислительные системы
Publicado: (1989)
Publicado: (1989)
[Вып.] 107 : Логико-математические основы проблемы МОЗ: [сборник]; Вычислительные системы
Publicado: (1985)
Publicado: (1985)
Высокопроизводительные вычислительные системы и их программное обеспечение: сборник научных трудов
Publicado: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)
Publicado: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)
Т. 1; Однородные вычислительные среды и систолические структуры
Publicado: (1990)
Publicado: (1990)
Вып. 147 : Интерполяция и аппроксимация сплайнами; Вычислительные системы
Publicado: (1992)
Publicado: (1992)
[Вып.] 77 : Автоматизация проектирования в микроэлектронике. Теория. Методы. Алгоритмы; Вычислительные системы
Publicado: (1978)
Publicado: (1978)
Методы проектирования и анализа вычислительных систем, сетей и средств: межвузовский тематический сборник
Publicado: (Москва, Изд-во МЭИ, 1985)
Publicado: (Москва, Изд-во МЭИ, 1985)
Вып. 113 : Анализ символьных последовательностей; Вычислительные системы
Publicado: (1985)
Publicado: (1985)
Títulos similares
-
Вып. 120 : Логические методы в программировании; Вычислительные системы
Publicado: (1987) -
Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы
Publicado: (1988) -
Вып. 146 : Логика и семантическое программирование; Вычислительные системы
Publicado: (1992) -
Логические вопросы теории типов данных: сборник научных трудов
Publicado: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986) -
Т. 4; Вычислительные науки
Publicado: (1990)