Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=50.07.03$<.>)
Общее количество найденных документов
:
43
Показаны документы
с 1 по 10
1-10
11-20
21-30
31-40
41-43
1.
Вид документа
: Однотомное издание
Шифр издания
: И-З 97/S98
Заглавие
: 33rd annual symposium on foundations of computer science: Proceedings : Oct. 24-27, 1992, Pittsburgh, Penn
Выходные данные
: Los Alamitos: IEEE Computer society press, 1992
Колич.характеристики
:XI,734 p.: Ill. Symposium on foundations of computer science (33; 1992; Pittsburgh)
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 734
ISBN, Цена
0-8186-2900-2: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 97-01я431
Предметные рубрики:
Вычислительная техника-- Теория
Дескрипторы:
конф
Ключевые слова
(''Своб.индексиров.''): параллельные эвм--регулярные языки--алгоритмы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: И-В19/A67
Заглавие
: Applied mathematics and parallel computing : Festschrift for K. Ritter
Выходные данные
: Heidelberg: Physica, 1996
Колич.характеристики
:VIII,376 p.: Ill.
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 373-376
ISBN, Цена
3-7908-0939-X: Б.ц.
ГРНТИ
: 27.41 +
50.07.03
ББК
: В19я43 + З 973.203.3-01в641я43
Предметные рубрики:
Прикладная математика
Транспьютеры-- Математические методы
Дескрипторы:
сб
Ключевые слова
(''Своб.индексиров.''): вычислительная математика--мобильные работы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/630
Заглавие
: CONCUR '92 : Third intern. conf. on concurrency theory, Stony Brook, USA, Aug. 24-27, 1992 : Proc.
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:580 p.: Ill.
Серия:
Lecture notes in computer science; 630
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 580
ISBN, Цена
3-540-55822-5: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 973.22-01Я431
Предметные рубрики:
Теория автоматов
Вычислительные системы-- Теория
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): семантика--вероятностные процессы--временная логика--автоматы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: З 97/Б724
Автор(ы)
: Бобровский, Сергей Игоревич
Заглавие
: Delphi 5 : Начальный курс
Выходные данные
: М.: ДЕСС, 1999
Колич.характеристики
:271 с.: ил
Примечания
: Алф. указ.: с. 260-271
ISBN, Цена
5-901096-06-1: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 973.203.4-018.12я7
Предметные рубрики:
системы программирования
Дескрипторы:
моногр
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: З97/Б724
Автор(ы)
: Бобровский, Сергей Игоревич
Заглавие
: Delphi 5 : Начальный курс
Выходные данные
: М.: ДЕСС, 1999
Колич.характеристики
:271 с.: ил
Примечания
: Алф. указ.: с. 260-271
ISBN, Цена
5-901096-06-1: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 973.203.4-018.12я7
Предметные рубрики:
системы программирования
Дескрипторы:
моногр
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: И-З 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)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-30
31-40
41-43
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН