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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07.03$<.>)
Общее количество найденных документов : 43
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-43 
1.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/343
Заглавие : Algebraic and logic programming : Intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc.
Выходные данные : Berlin: Springer, 1988
Колич.характеристики :278 p.: Ill.
Серия: Lecture notes in computer science; 343
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-50667-5: Б.ц.
ГРНТИ : 50.05.09 + 50.07.03
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--алгебраические спецификации
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/262
Автор(ы) : Lisper, Bjorn
Заглавие : Synthesizing synchronous systems by static scheduling in space-time : сборник
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,262 p.: Ill.
Серия: Lecture notes in computer science; 362
Примечания : Bibliogr.: p. 179-184
ISBN, Цена 3-540-51156-3:
ГРНТИ : 50.39.19 + 50.07.03
ББК : З 973.22-01в641
Предметные рубрики: Вычислительные системы-- Теория
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): параллельные вычислительные системы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/381
Заглавие : Machines, languages, and complexity : 5th Intern. meet. of young computer scientists, Smolenice, Czechoslovakia, Nov. 14-18, 1988. Selected contributions
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI, 244 p.: Ill.
Серия: Lecture notes in computer science; 381
Примечания : Bibliogr. at the end of the art.
ISBN, Цена 3-540-51516-X:
ГРНТИ : 50.07.03 + 28.23
ББК : З 973.2-01я431 + З 813я431
Предметные рубрики: Копьютеры-- Теория
Искусственный интеллект
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): теория формальных языков--теория эвм
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/354
Заглавие : Linear time, branching time and partial order in logics and models for concurrency : School/ Workshop, Noordwijkerhout, The Netherlands May 30- June 3, 1988
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VIII,713 p.: Ill.
Серия: Lecture notes in computer science; 354
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51080-X:
ГРНТИ : 50.07.03
ББК : З 973.2-01я431
Предметные рубрики: Копьютеры-- Теория
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): эвм--процесс алгебры--время ветвления--временная логика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/452
Заглавие : Mathematical foundations of computer science 1990 : Banska Bystrica, Czechoslovakia, Aug. 27-31, 1990. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VIII, 544 p.: Ill.
Серия: Lecture notes in computer science; 452
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-52953-5: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.2-01в641я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): теория сложности--сети петри--систолические автоматы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/425
Заглавие : Algebraic logic and universal algebra in computer science : Conf., Ames, Lowa, USA, Jun. 1-4, 1988., Proc
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :XI,292 p.: Ill.
Серия: Lecture notes in computer science; 425
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-97288-9: Б.ц.
ГРНТИ : 50.07.03 + 50.05.09
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--логическое программирование--семантика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/415
Заглавие : STACS 90 : 7th Annu. symp. on theoretical aspects of computer science, Rouen, France, Febr. 22-24, 1990. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VI, 312 p.: Ill.
Серия: Lecture notes in computer science; 415
Примечания : Bibliogr. at the end of the art. - - Ind. of auth. at the end of the book
ISBN, Цена 3-540-52282-4:
ГРНТИ : 28.25.15 + 50.07.03
ББК : З 973.2-01в641я431 + З 813я431
Предметные рубрики: Компьютеры-- Теория
Искусственный интеллект
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): искусственный интеллект--конечные автоматы--теория эвм
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : Pr1085/Pr1085/1990-15
Автор(ы) : Karlsson, Johan
Заглавие : A note on Hopfield's Liapunov function for Hopfield-Tank neural networks : сборник
Выходные данные : Goteborg, 1990
Колич.характеристики :5 p.: Ill.
Серия: Preprint/ Chalmers university of technology and the University of Goteborg. Department of mathematics, ISSN 0347-2809; N 1990-15
Примечания : Bibliogr.: p. 5
Цена : 1.50 р.
ГРНТИ : 50.07.03
ББК : З 973.206-01в641
Предметные рубрики: Нейронные сети вычислительные-- Математическое моделирование
Дескрипторы: сб пр--моногр
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : И-З 97/S98
Заглавие : Fifth annual IEEE symposium on logic in computer science : Proc., June 4-7, 1990, Philadelphia
Выходные данные : Los Alamitos: IEEE Computer society press, 1990
Колич.характеристики :XVI, 509 p.: Ill. Symposium on logic in computer science (5; 1990; Philadelphia)
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 509
ISBN, Цена 0-8186-2073-0: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.2-01я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: конф.м
Ключевые слова (''Своб.индексиров.''): абстрактные типы данных--базы данных--дедукция
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : Pr1019/Pr1019/419
Автор(ы) : Weichselberger, Kurt, Pohlmann, Sigrid
Заглавие : A methodology for uncertainty in knowledge-based systems : сборник
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :4,132 p.: Ill.
Серия: Lecture notes in artificial intelligence; 419
Примечания : Bibliogr.: p. 131-132
ISBN, Цена 3-540-52336-7:
ГРНТИ : 28.23 + 50.07.03
ББК : З 813в641 + З 973.205
Предметные рубрики: Искусственный интеллект-- Математические методы
Экспертные системы
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): экспертные системы--неопределенность--диагностические системы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 1-10    11-20   21-30   31-40   41-43 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН