Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=50.07.03$<.>)
Общее количество найденных документов
:
43
Показаны документы
с 1 по 10
1-10
11-20
21-30
31-40
41-43
1.
Вид документа
: Монографическая серия
Шифр издания
: З 97/С409/9
Заглавие
: Формальные методы и модели информатики : сб. науч. тр.
Выходные данные
: Новосибирск: Изд-во Сиб. отд-ния Рос. акад. наук, 2004
Колич.характеристики
:359 с.: ил
Серия:
Системная информатика; Вып. 9
Примечания
: Библиогр. в конце некоторых тр
ISBN, Цена
5-7692-0700-0: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 973.2-01я43
Предметные рубрики:
Информатика
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/571
Заглавие
: Formal techniques in real - time and fault - tolerant systems : Second Intern. symp Nijmegen, The Netherlands, Jan. 8-10, 1992. Proceedings
Выходные данные
: Berlin: Springer, 1991
Колич.характеристики
:IX,620 p.: Ill.
Серия:
Lecture notes in computer science; 571
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55092-5: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 973.22-01в641я431
Предметные рубрики:
Вычислительные системы
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): верификация программ--отказоустойчивые системы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/577
Заглавие
: STACS 92 : 9th Annu. symp. on theoretical aspects of computer science Cachan, France, Febr. 13-15, 1992. Proceedings
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:XIV, 620 p.: Ill.
Серия:
Lecture notes in computer science; 577
Примечания
: Bibliogr. at the end of the art. - - Ind. of auth. at the end of the book
ISBN, Цена
3-540-55210-3: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 973.2-01я431
Предметные рубрики:
Компьютеры-- Теория
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): параллельные алгоритмы--логика программ--семантика--криптография
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/629
Заглавие
: Mathematical foundations of computer science 1992 : 17th intern. symp., Prague, Czechosl., Aug. 24-28, 1992 : Proc.
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:IX, 521 p.: Ill.
Серия:
Lecture notes in computer science; 629
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55808-X: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 973.2-01я431
Предметные рубрики:
Компьютеры-- Теория
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): конечные автоматы--сети петри--алгебраические множества
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/570
Заглавие
: Graph - theoretic concepts in computer science : 17th Intern. workshop, WG'91, Fishbachau, Germany, June 17-19, 1991. Proceedings
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:VIII, 252 p.: Ill.
Серия:
Lecture notes in computer science; 570
Примечания
: Bibliogr. at the end of the book. - Bibliogr. at the end of the art. -
ISBN, Цена
3-540-55121-2: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 973.2-01в647я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.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/520
Заглавие
: Mathematical foundations of computer science 1991 : 16 Intern. symp. Kazimierz Dolny, Poland, Sept. 9-13, 1991. Proceedings
Выходные данные
: Berlin: Springer, 1991
Колич.характеристики
:XI, 435 p.: Ill.
Серия:
Lecture notes in computer science; 520
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-54345-7: Б.ц.
ГРНТИ
:
50.07.03
ББК
: З 973.2-01я431
Предметные рубрики:
Компьютеры-- Теория
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): параллельные вычисления--распределенные вычисления--семантика
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-30
31-40
41-43
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН