Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.05$<.>)
Общее количество найденных документов : 242
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
   Pr1097
   Pr1097/122
Pr1097/122 / Pr1097/122-02 ВМИ

    Curtis, Sharon.
    A relational approach to optimization problems / S. Curtis. - Oxford : [s. n.], 1996. - V,137 p. : Ill. - (Technical monograph / Oxford. University, Computing laboratory. Programming research group ; PRG-122). - Bibliogr.: p. 130-137
Перевод заглавия: Реляционный подход к проблемам оптимизации
50.05.03
27.47
ББК З 973.2-018 + В173.3 + В173.1
Рубрики: Компьютеры--Программное обеспечение
   Динамическое программирование
   Комбинаторная оптимизация
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 105-6-2003+02
Найти похожие
2.
   Pr912
   Pr912/130
Pr912/130 / Pr912/130-02

   
    Advances in computing and control : Papers selected out of those presented at the 1988 Intern. conf. on advances in communication a. conbtrol systems, Baton Rouge, US, 19-21 Oct., 1988 / Ed. by W. A. Porter a. o. - Berlin [et al.] : Springer, 1989. - VI,367 p. : Ill. - (Lecture notes in control and information sciences ; 130). - Bibliogr. at the end of the art
Перевод заглавия: Достижения в вычислениях и контроле
50.33.35
50.05.15
28.19
ББК З 965-01в641я431 + З 973.205-01В641Я431
Рубрики: Теория автоматического управления--Математические методы
   Нейронные вычислительные машины
Кл.слова (ненормированные):
динамические системы автоматического регулирования
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 203-9-91+02
Найти похожие
3.
   Pr869
   Pr869/343
Pr869/343 / Pr869/343-02

   
    Algebraic and logic programming [Text] : intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc. / Ed. by J. Grabowski et al. - Berlin [et al.] : Springer, 1988. - 278 p. : Ill. - (Lecture notes in computer science ; 343). - Bibliogr. at the end of the art
Перевод заглавия: Алгебраическое и логическое программирование
50.05.09
50.07.03
ББК З 973.205-018.12я431
Рубрики: Логическое программирование
Кл.слова (ненормированные):
логика программ -- алгебраические спецификации
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 141-12-92+02
Найти похожие
4.
   Pr869
   Pr869/632
Pr869/632 / Pr869/632-02

   
    Algebraic and logic programming [Text] : third Intern. conf., Volterra, Italy, Sept. 2-4, 1992. Proc / Ed. by H. Kirchner, G. Levi. - Berlin [et al.] : Springer, 1992. - IX, 457 p. : Ill. - (Lecture notes in computer science ; 632)
Bibliogr. at the end the of art
Перевод заглавия: Алгебраическое и логическое программирование
50.05.03
ББК З 973.205-018.12Я431
Рубрики: Логическое программирование
Кл.слова (ненормированные):
функциональное и логическое программирование
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 199-13-93+02
Найти похожие
5.
   Pr869
   Pr869/425
Pr869/425 / Pr869/425-02

   
    Algebraic logic and universal algebra in computer science [Text] : conf., Ames, Lowa, USA, Jun. 1-4, 1988., Proc / Ed. by C. H. Bergman et al. - Berlin [et al.] : Springer, 1990. - XI,292 p. : Ill. - (Lecture notes in computer science ; 425). - Bibliogr. at the end of the art
Перевод заглавия: Алгебраическая логика и универсальная алгебра в вычислительной технике
50.07.03
50.05.09
ББК З 973.205-018.12я431
Рубрики: Логическое программирование
Кл.слова (ненормированные):
логика программ -- логическое программирование -- семантика
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 141-16-92+02
Найти похожие
6.
   Pr869
   Pr869/394
Pr869/394 / Pr869/394-02

   
    Algebraic methods: theory, tools and applications : Workshop on " Algebraic methods: theory, tools and applications", June 9-11, 1987, Passau, Germany / Ed. by M. Wirsing, J. A. Bergstra. - Berlin [et al.] : Springer, 1989. - VI,558 p. : Ill. - (Lecture notes in computer science ; 394). - Bibliogr. at the end of the art.
- Subject ind.: p.555-558
Перевод заглавия: Алгебраические методы: теория, средства и применения
50.05.03
27.17
ББК З 973.2-018я431
Рубрики: Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
программное обеспечение ЭВМ -- процесс алгебры
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-26-91+02
Найти похожие
7.
   Pr869
   Pr869/779
Pr869/778 / Pr869/779-02

   
    Algorithms and complexity : 2nd Italian conf., CIAC'94, Rome, Italy, Febr. 23-25, 1994 : Proc. / Eds.: M. Bonuccelli et al. - Berlin [et al.] : Springer, 1994. - VI, 222 p. : Ill. - (Lecture notes in computer science ; 778). - Bibliogr. at the end of the art
Перевод заглавия: Алгоритмы и сложность
50.05.03
ББК З 973.2-018я431
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
конечные автоматы -- теория графов
Дескрипторы: сб пр -- конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 90-6-95+02
Найти похожие
8.
   Pr869
   Pr869/762
Pr869/762 / Pr869/762-02

   
    Algorithms and computation : 4th Intern. symp., ISAAC '93, Hong Kong, Dec. 15-17, 1993: Proceedings / K. W. Ng et al. (Eds.). - Berlin [et al.] : Springer, 1993. - XIII, 542 p. : Ill. - (Lecture notes in computer science ; 762). - Bibliogr. at the end of the art
Перевод заглавия: Алгоритмы и вычисления
50.05.03
ББК З 973.2-018я431
Рубрики: Компьютеры--Алгоритмы
Кл.слова (ненормированные):
коды -- параллельные вычисления -- криптография
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 51-6-95+02
Найти похожие
9.
   Pr869
   Pr869/650
Pr869/650 / Pr869/650-02

   
    Algorithms and computation : Third Inter. symp., ISAAC '92 Nagoya, Japan, Dec. 16-18, 1992. Proceedings / T. Ibaraki et al. (Ed.). - Berlin [et al.] : Springer, 1992. - XI, 510 p. : Ill. - (Lecture notes in computer science ; 650). - Bibliogr. at the end of the art.
- Auth. ind.: p. 509-510
Перевод заглавия: Алгоритмы и вычисления
50.05.17
ББК З 973.2-018я431
Рубрики: Компьютеры--Алгоритмы
Кл.слова (ненормированные):
Он-лайн алгоритмы -- параллельные алгоритмы -- структуры данных
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 68-21-94+02
Найти похожие
10.
   Pr869
   Pr869/709
Pr869/709 / Pr869/709-02

   
    Algorithms and data structures : 3rd workshop, WADS'93, Montreal, Canada, Aug. 11-13, 1993 : Proc. / Ed.: F. Dehne et al. - Berlin [et al.] : Springer, 1993. - XII, 634 p. : Ill. - (Lecture notes in computer science ; 709). - Bibliogr. at the end of the art.
- Auth. ind.: p. 634
Перевод заглавия: Алгоритмы и структуры данных
50.05.03
ББК З 973.2-018я431
Рубрики: Компьютеры--Алгоритмы
Кл.слова (ненормированные):
графы -- сопоставление образов
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 233-12-94+02
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН