Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 229
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Вид документа : Журнал
Шифр издания : V4694
Заглавие : Archive for Mathematical Logic
Выходные данные : Berlin: springer, 1950
ISSN: 09335846
ГРНТИ : 27.03
Аннотация: Статьи и обзоры по исследованиям в области математической логики, а также по теориям компьютерной науки, философии и др., где значительную роль играет применение математической логики.
Зарегистрированы поступления :
1992г. Vol.32; N :2;
1992г. Vol.31; N :3-6
Издание можно найти в:
ЧЗ/ХР; ИНТЕХ;
Найти похожие
2.
Вид документа :
Шифр издания : V4097
Заглавие : Journal of Classification
Выходные данные : Berlin: springer, 1984
ISSN: 01764268
ГРНТИ : 27.03
Аннотация: Научный журнал. Статьи, обзоры, краткие сообщения и комментарии по исследованиям в области методологии классификации, численной таксономии, многомерного масштабирования и др. методов ординации, кластеризации, древовидных структур и других сетевых моделей (с меньшим вниманием к основным компонентам анализа, факторному и дискриминантному анализу), а также ассоциированных моделей и алгоритмов. Тематика охватывает компьютерные науки, математику, химию, инженерию, геологию, географию, астрономию, статистику, информационный поиск, экономику, бизнес, маркетинг, биологию, медицину, социологию, политические науки, психологию, антропологию, археологию, лингвистику, психиатрию и почвоведение. Публикуются также рефераты программного обеспечения и обзоры книг.
Найти похожие
3.
Вид документа :
Шифр издания : vr=J255766
Заглавие : Journal of Logic and Computation
Выходные данные : Oxford: Oxford University Press, 1990
ISSN: 0955792X
ГРНТИ : 27.03.19 + 28.23.17 + 50.41.01
Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
Найти похожие
4.
Вид документа :
Шифр издания : vr=P821159
Заглавие : Parallel Processing Letters
Выходные данные : , 1991
ISSN: 01296264
ГРНТИ : 50.33.04 + 50.41 + 27.03.45
Аннотация: Краткие статьи и имеющие научную ценность письма читателей о последних достижениях в области параллельной обработки данных: проектирование и анализ параллельных и распределенных алгоритмов; теория параллельных вычислений; языки параллельного программирования; среды параллельного программирования; параллельные архитектуры; СБИС; результаты экспериментов, содержащие анализ, соответствующий абстрактной модели вычислений.
Найти похожие
5.
Вид документа :
Шифр издания : vr=N805675
Заглавие : Numerical Algorithms
Выходные данные : Berlin: springer, 1991
ISSN: 10171398
ГРНТИ : 27.03.17
Аннотация: Статьи и обзоры по всем аспектам численных алгоритмов: новые алгоритмы, теоретические результаты, реализация, численная стабильность, сложность, параллельный компьютинг, подпрограммы и применение; статьи по компьютерной алгебре, связанные с получением численных результатов. Обзоры книг, анонсы научных конференций.
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания : 510.22/T82
Заглавие : Transactions on rough sets II [Electronic resource] : rough sets and fuzzy sets
Выходные данные : Berlin ; Heidelberg : Springer, 2004
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 3135
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-27778-1: Б.ц.
ГРНТИ : 27.03
УДК : 510.22
Предметные рубрики: Множеств теория
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/T44-548262
Заглавие : Theorem proving in higher order logics [Electronic resource] : 18th international conference, TPHOLs 2005 Oxford, UK, August 22-25, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3603
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31820-0: Б.ц.
ГРНТИ : 27.03.19
УДК : 510(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Найти похожие
8.
Вид документа : Однотомное издание
Шифр издания : 510.25/E26
Автор(ы) : Edwards H.M.
Заглавие : Essays in constructive mathematics [Electronic resource]
Выходные данные : New York, NY : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-27130-9: Б.ц.
ГРНТИ : 27.03
УДК : 510.25
Предметные рубрики: Конструктивная математика
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/L85-446688
Заглавие : Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 11th International conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3452
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32275-7: Б.ц.
ГРНТИ : 27.03.19 + 50.05.13 + 28.23
УДК : 510(063) + 004.42(063) + 004.8(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
10.
Вид документа : Многотомное издание
Шифр издания : 519.1/G73
Заглавие : Graph theory, combinatorics and algorithms [Electronic resource] : interdisciplinary applications
Выходные данные : Boston, Ma : Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: Operations research/computer science interfaces series, ISSN 1387-666X; 34
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-25036-6: Б.ц.
ГРНТИ : 27.45 + 27.03.17
УДК : 519.1 + 510.5
Предметные рубрики: Графов теория
Комбинаторика (матем.)
Алгоритмы
Найти похожие
11.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/A16-695517
Заглавие : Abstraction, reformulation and approximation [Electronic resource] : 6th international symposium, SARA 2005 Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3607
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31882-8: Б.ц.
ГРНТИ : 27.03.19 + 50.01.13 + 28.23
УДК : 510(063) + 004(063) + 004.8(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Вычислительная техника-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
12.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/T99-262765
Заглавие : Typed lambda calculi and applications [Electronic resource] : 7th international conference,TLCA 2005 Nara,Japan, April 21-23 2005: proc.
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3461
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-35403-2014-2: Б.ц.
ГРНТИ : 27.03.19 + 50.01.13
УДК : 510(063) + 004(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Вычислительная техника-- Съезды и конференции
Найти похожие
13.
Вид документа : Однотомное издание
Шифр издания : 510/G60
Автор(ы) : Goldrei D.
Заглавие : Propositional and predicate calculus [Electronic resource] : a model of argument
Выходные данные : London : Springer-Verlag, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-846-28229-4: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Предметные рубрики: Математическая логика
Найти похожие
14.
Вид документа : Монографическая серия
Шифр издания : 004.42(063)/T37-841735
Заглавие : Term rewriting and applications [Electronic resource] : 16th international conf. RTA 2005, Nara, Japan 19-21, 2005: proc.
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3467
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-35403-2033-3: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.565(063)
Предметные рубрики: Теория вычислимости-- Съезды и конференции
Найти похожие
15.
Вид документа : Монографическая серия
Шифр издания : 004.8(063)/F94-923439
Заглавие : Frontiers of combining systems [Electronic resource] : 5th international workshop, FroCoS 2005, Vienna Austria, September 19-21, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3717
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31730-2: Б.ц.
ГРНТИ : 27.03.19 + 50.05.13
УДК : 510(063) + 004.8(063) + 004.42(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
16.
Вид документа : Многотомное издание
Шифр издания : 510.22/B92
Автор(ы) : Buckley J.
Заглавие : Fuzzy probabilities [Electronic resource] : new approach and aplications
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Studies in fuzziness and soft computing, ISSN 1434-9922 ; 115
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-32388-0: Б.ц.
ГРНТИ : 27.03
УДК : 510.22
Предметные рубрики: Нечеткие множества
Найти похожие
17.
Вид документа : Монографическая серия
Шифр издания : 510.22(063)/F98
Заглавие : Fuzzy systems and knowledge discovery [Electronic resource] : second international conference, FSKD 2005 Changsha, China, August 27-29, 2005 : proceedings : part I
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3613
Вид и объем ресурса: Electronic text data
ISBN, Цена 9783540318309: Б.ц.
ISBN, Цена 11539506: Б.ц.
ГРНТИ : 27.03 + 20.23.19
УДК : 510.22(063) + 004.657(063)
Предметные рубрики: Нечеткие множества-- Съезды и конференции
Информационный поиск-- Автоматизация-- Съезды и конференции
Найти похожие
18.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/C74-459942
Заглавие : Computer science logic [Electronic resource] : 19th international workshop, CSL 2005, 14th annual conference of the EACSL Oxford, UK, August 22-25, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3634
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31897-2: Б.ц.
ГРНТИ : 27.03.19 + 50.01.13
УДК : 510(063) + 004(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Вычислительная техника-- Съезды и конференции
Найти похожие
19.
Вид документа : Однотомное издание
Шифр издания : 510.5/H86
Автор(ы) : HromkoviC J.
Заглавие : Design and analysis of randomized algorithms [Electronic resource] : introduction to design paradigms
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Texts in theoretical computer science an eatcs series
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-27903-2: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.5
Предметные рубрики: Алгоритмы
Найти похожие
20.
Вид документа : Монографическая серия
Шифр издания : 510.52(063)/F97
Заглавие : Fundamentals of computation theory [Electronic resource] : 15th international symposium, FCT 2005 Lubeck, Germany, August 17-20, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3623
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31873-6: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52(063)
Предметные рубрики: Сложность вычислений-- Съезды и конференции
Найти похожие
21.
Вид документа : Однотомное издание
Шифр издания : 510/L85
Заглавие : Logica universalis [Electronic resource] : towards a general theory of logic
Выходные данные : Basel [etc.]: Birkhauser Verl., 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-7643-7304-7: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Ключевые слова (''Своб.индексиров.''): универсальная логика--логика--теория--абстрактная логика--логические структуры--теория моделей
Найти похожие
22.
Вид документа : Однотомное издание
Шифр издания : 510.52/W40
Автор(ы) : Wegener I.
Заглавие : Complexity theory [Electronic resource] : exploring the limits of efficient algorithms
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-27477-4: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52
Предметные рубрики: Сложность вычислений
Найти похожие
23.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/L85-251982
Заглавие : Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3835
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31650-3: Б.ц.
ГРНТИ : 27.03.19 + 50.05.13 + 28.23
УДК : 510(063) + 004.42(063) + 004.8(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
24.
Вид документа : Монографическая серия
Шифр издания : 510.22(063)/F98
Заглавие : Fuzzy systems and knowledge discovery [Electronic resource] : second international conference, FSKD 2005 Changsha, China, August 27-29, 2005 : proceedings : part II
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3614
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31828-6: Б.ц.
ГРНТИ : 27.03 + 20.23.19
УДК : 510.22(063) + 004.657(063)
Предметные рубрики: Нечеткие множества-- Съезды и конференции
Информационный поиск-- Автоматизация-- Съезды и конференции
Найти похожие
25.
Вид документа : Монографическая серия
Шифр издания : 510/K18
Автор(ы) : Kamareddine F., Nederpelt R., Laan T.
Заглавие : A modern perspective on type theory [Electronic resource] : from its origins until today
Выходные данные : Dordrecht : Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: Applied logic series, ISSN 1386-2790; 29
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4020-2335-4: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 510 + 004.422.6
Предметные рубрики: Математическая логика
Теория типов
Программирования языки-- Теория
Найти похожие
26.
Вид документа : Монографическая серия
Шифр издания : 510.52(063)/N52
Заглавие : New computational paradigms [Electronic resource] : first Conference on computability in Europe, CiE 2005 Amsterdam, The Netherlands, June 8-12, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3526
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32266-5: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52(063)
Предметные рубрики: Сложность вычислений-- Съезды и конференции
Найти похожие
27.
Вид документа : Монографическая серия
Шифр издания : 510.22(063)/R83
Заглавие : Rough sets, fuzzy sets, data mining, and granular computing [Electronic resource] : 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005 : proceedings : part 2
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3642
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31824-8: Б.ц.
ГРНТИ : 27.03 + 20.23.19 + 20.53.19
УДК : 510.22(063) + 004.657(063) + 004.62(063)
Предметные рубрики: Множеств теория-- Съезды и конференции
Информационный поиск-- Автоматизация-- Съезды и конференции
Информация-- Обработка-- Съезды и конференции
Найти похожие
28.
Вид документа : Монографическая серия
Шифр издания : 510.22(063)/R83
Заглавие : Rough sets, fuzzy sets, data mining, and granular computing [Electronic resource] : 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005 : proceedings : part I
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3641
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31825-5: Б.ц.
ГРНТИ : 27.03 + 20.23.19 + 20.53.19
УДК : 510.22(063) + 004.657(063) + 004.62(063)
Предметные рубрики: Множеств теория-- Съезды и конференции
Информационный поиск-- Автоматизация-- Съезды и конференции
Информация-- Обработка-- Съезды и конференции
Найти похожие
29.
Вид документа : Монографическая серия
Шифр издания : 510.22/B55
Автор(ы) : Bhutani K.R., Mordeson J.N., Rosenfeld A.
Заглавие : Fuzzy group theory [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Studies in fuzziness and soft computing, ISSN 1434-9922; 182
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32395-2: Б.ц.
ГРНТИ : 27.03
УДК : 510.22
Предметные рубрики: Нечеткие множества
Найти похожие
30.
Вид документа : Однотомное издание
Шифр издания : 510.5/T72
Автор(ы) : Tomassini M.
Заглавие : Spatially structured evolutionary algorithms [Electronic resource] : artificial evolution in space and time
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Natural computing series, ISSN 1619-7127
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-29938-6: Б.ц.
ГРНТИ : 27.03.17 + 28.23.37
УДК : 510.5 + 004.032.26
Предметные рубрики: Алгоритмы
Эволюционные вычисления
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)