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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07$<.>)
Общее количество найденных документов : 76
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
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/644
Заглавие : Combinatorial pattern matching : Third Annu. symp. Tucson, Arizona, USA, Apr. 29 - May 1, 1992. Proceedings
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :X, 287 p.: Ill.
Серия: Lecture notes in computer science; 644
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-56024-6: Б.ц.
ГРНТИ : 50.07
ББК : З 973.2-044.4-01в641
Предметные рубрики: Изображения-- Машинный синтез-- Математические методы
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): информационный поиск--сжатие данных--компилляр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : И-З 97/W15
Автор(ы) : Wah, Benjamin, Li G.-J.
Заглавие : Computers for artificial intelligence applications : Tutorial
Выходные данные : Washington: IEEE Computer society press, 1986
Колич.характеристики :VIII,648 p.: Ill.
Примечания : Bibliogr. at the end of the art
ISBN, Цена 0-8186-0706-8: Б.ц.
ГРНТИ : 50.07
ББК : З 973.205-01я82
Предметные рубрики: Системы искусственного интеллекта-- Теория
Дескрипторы: моногр
Ключевые слова (''Своб.индексиров.''): декларативные языки программирования--логические программы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : И-З 973.2/D34
Заглавие : Delivery and adoption of cloud computing services in contemporary organizations
Выходные данные : Hershey: Information science reference/ IGI Global, 2015
Колич.характеристики :XXII,519 p.: ill., tab.
Серия: Advances in systems analysis, software engineering, and high performance computing (ASASEHPC) book series, ISSN 2327-3453 .
    Premier reference source
Примечания : Bibliogr. at the end of the chaptersInd.: p. 517-519. - На тит. л. ред. указан как авт.
ISBN, Цена 978-1-4666-8210-8: 806 р.
ГРНТИ : 50.07
ББК : З 973.22 + У.с512.4
Предметные рубрики: Распределенные системы вычислительные
Информационные технологии-- В экономике
Ключевые слова (''Своб.индексиров.''): облачные вычисления
Экземпляры :02(1)
Свободны : 02(1)
Перейти: Оглавление
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН