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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 229
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Вид документа : Однотомное издание
Шифр издания : 510.21
Заглавие : 18 unconventional essays on the nature of mathematics [Electronic resource]
Выходные данные : New York, NY : Springer Science + Business Media Inc., 2006
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-29831-3: Б.ц.
ГРНТИ : 27.03.15
УДК : 510.21
Ключевые слова (''Своб.индексиров.''): математика--философские вопросы
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Математическая логика-- Съезды и конференции
Вычислительная техника-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/A16
Заглавие : Abstraction, reformulation, and approximation [Electronic resource] : 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4612
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73580-9: Б.ц.
ГРНТИ : 27.03.19 + 51.01.13 + 28.23
УДК : 510.6(063) + 004(063) + 004.8(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Вычислительная техника-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания : 004.853(043)/A25
Заглавие : Agent and multi-agent systems: technologies and applications [Electronic resource] : 4th KES International symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010: proceedings: Part II
Выходные данные : Berlin; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6071
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13541-5: Б.ц.
ГРНТИ : 27.03
УДК : 004.853(043)
Ключевые слова (''Своб.индексиров.''): интеллектуальные агенты--мультиагентные системы--конференции
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания : 510/A35
Заглавие : Algebraic and proof-theoretic aspects of non-classical logics [Electronic resource] : papers in honor of Daniele Mundici on the occasion of his 60th birthday
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4460
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-75939-3: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Предметные рубрики: Математическая логика
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания : 004.421/A35
Заглавие : Algorithm engineering [Electronic resource] : bridging the gap between algorithm theory and practice
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5971
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14866-8: Б.ц.
ГРНТИ : 28.25.23 + 27.03.17
УДК : 004.421 + 510.5
Ключевые слова (''Своб.индексиров.''): алгоритмы--теория алгоримов--практика
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания : 510.5(063)/A35
Заглавие : Algorithm theory - swat 2006 [Electronic resource] : 10th scandinavian workshop on algorithm theory, Riga, Latvia, July 6-8, 2006 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4059
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-35755-1: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.5(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания : 510.5(063)/A35
Заглавие : Algorithm theory - swat 2008 [Electronic resource] : 11th Scandinavian workshop on algorithm theory, gothenburg, Sweden, July 2-4, 2008: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5124
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-69903-3: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.5(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания : 510.5(063)/A35
Заглавие : Algorithm theory - SWAT 2010 [Electronic resource] : 12th Scandinavian symposium and workshops on algorithm theory, Bergen, Norway, June 21-23, 2010: proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6139
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13731-0: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.5(063)
Ключевые слова (''Своб.индексиров.''): алгоритмы--теория--конференции
Найти похожие
10.
Вид документа : Однотомное издание
Шифр издания : 514/J79-379144
Автор(ы) : Joswig M., Theobald T.
Заглавие : Algorithmische Geometrie [Electronic resource] : polyedrische und algebraische Methoden
Выходные данные : Wiesbaden : Friedr. Vieweg & Sohn, 2008
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-8348-9440-3: Б.ц.
ГРНТИ : 81.14.10 + 28.25.23 + 27.03.17
УДК : 004.925.8
Ключевые слова (''Своб.индексиров.''): алгоритмическая геометрия--полиэдральные методы--алгебраические методы
Найти похожие
11.
Вид документа : Монографическая серия
Шифр издания : 004.421(063)/A35-708080
Заглавие : Algorithms - esa 2005 [Electronic resource] : 13th annual european symposium, Palma de Mallorca, Spain, October 3-6, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3669
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31951-1: Б.ц.
ГРНТИ : 27.03.17 + 28.25.23
УДК : 510.5(063) + 004.421(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
12.
Вид документа : Монографическая серия
Шифр издания : 004.421(063)/A35-093671
Заглавие : Algorithms - ESA 2006 [Electronic resource] : 14th annual European symposium, Zurich, Switzerland, September 11 – 13, 2006 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4168
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54038-876-0: Б.ц.
ГРНТИ : 27.03.17 + 28.25.23
УДК : 510.5(063) + 004.421(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
13.
Вид документа : Монографическая серия
Шифр издания : 510.5(063)/A35
Заглавие : Algorithms - ESA 2007 [Electronic resource] : 15th annual European symposium, Eilat, Israel, October 8-10, 2007 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4698
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-75520-3: Б.ц.
ГРНТИ : 27.03.17 + 28.25.23
УДК : 510.5(063) + 004.421(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
14.
Вид документа : Монографическая серия
Шифр издания : 004.421(063)/A35-198837
Заглавие : Algorithms - esa 2008 [Electronic resource] : 16th annual european symposium, Karlsruhe, Germany, September 15-17, 2008: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5193
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-87744-8: Б.ц.
ГРНТИ : 27.03.17 + 28.25.23
УДК : 510.5(063) + 004.421(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
15.
Вид документа : Монографическая серия
Шифр издания : 510.5(063)/F48
Заглавие : Algorithms - esa 2009 [Electronic resource] : 17th Annual European symposium, Copenhagen, Denmark, Sept. 7-9, 2009: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5757
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-04128-0: Б.ц.
ГРНТИ : 27.03.17 + 28.25.23
УДК : 510.5(063) + 004.421(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
16.
Вид документа : Монографическая серия
Шифр издания : 510.5(063)/A35-068557
Заглавие : Algorithms and complexity [Electronic resource] : 6th italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3998
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-34378-3: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Сложность вычислений-- Съезды и конференции
Найти похожие
17.
Вид документа : Монографическая серия
Шифр издания : 510.52(063)/A35
Заглавие : Algorithms and Complexity [Electronic resource] : 7th international conference, CIAC 2010, Rome, Italy, May 26-28, 2010: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6078
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13073-1: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52(063)
Ключевые слова (''Своб.индексиров.''): алгоритмы--сложность вычислений--конференции
Найти похожие
18.
Вид документа : Однотомное издание
Шифр издания : 510.52/A53
Заглавие : An introduction to kolmogorov complexity and its applications [Electronic resource]
Выходные данные : New York, NY : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Texts in computer science, ISSN 1868-0941
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-49820-1: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52
Предметные рубрики: Сложность вычислений
Найти похожие
19.
Вид документа : Однотомное издание
Шифр издания : 510.22/T90
Автор(ы) : Tu L.W.
Заглавие : An introduction to manifolds [Electronic resource]
Выходные данные : New York, NY : Springer Science + Business Media LLC, 2008
Коллективы : SpringerLink (Online service)
Серия: Universitext
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-48101-2: Б.ц.
ГРНТИ : 27.03.15
УДК : 510.22
Ключевые слова (''Своб.индексиров.''): множеств теория
Найти похожие
20.
Вид документа : Монографическая серия
Шифр издания : 16/A53
Автор(ы) : Carnielli W., Coniglio M., Gouveia P., Sernadas C., Gabbay D.M.
Заглавие : Analysis and synthesis of logics [Electronic resource] : how to cut and paste reasoning systems
Выходные данные : Dordrecht : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Applied logic series, ISSN 1386-2790; 35
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-402-06782-2: Б.ц.
ГРНТИ : 02.21 + 27.03.19
УДК : 16 + 510.6
Ключевые слова (''Своб.индексиров.''): логика--математическая логика--аксиология--модальная логика--вычислительная техника--искусственный интеллект
Найти похожие
21.
Вид документа : Продолжающееся издание
Шифр издания : 510.22/K58
Автор(ы) : Kluska J.
Заглавие : Analytical methods in fuzzy modeling and control [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Studies in fuzziness and soft computing, ISSN 1434-9922; 241
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-89927-3: Б.ц.
ГРНТИ : 27.03.19 + 28.23.33
УДК : 510.22 + 004.89
Предметные рубрики: Нечеткая логика
Интеллектуальные системы
Найти похожие
22.
Вид документа : Монографическая серия
Шифр издания : 004.827(063)/A67-877950
Заглавие : Applications of fuzzy sets theory [Electronic resource] : 7th international workshop on fuzzy logic and applications, WILF 2007, Camogli, Italy, July 7-10, 2007 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4578
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73400-0: Б.ц.
ГРНТИ : 27.03
УДК : 510.22(063)
Предметные рубрики: Нечеткие множества-- Съезды и конференции
Найти похожие
23.
Вид документа : Однотомное издание
Шифр издания : 510.22/H23
Автор(ы) : Hanss M.
Заглавие : Applied fuzzy arithmetic [Electronic resource] : an introduction with engineering applications
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-24201-5: Б.ц.
ГРНТИ : 27.03
УДК : 510.22
Предметные рубрики: Нечеткие множества
Найти похожие
24.
Вид документа : Однотомное издание
Шифр издания : 510.7/K69
Автор(ы) : Kohlenbach U.
Заглавие : Applied proof theory: proof interpretations and their use in mathematics [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Springer monographs in mathematics, ISSN 1439-7382
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-77533-1: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.7
Ключевые слова (''Своб.индексиров.''): теория доказательств
Найти похожие
25.
Вид документа : Монографическая серия
Шифр издания : 510.22/A67
Заглавие : Applied research in uncertainty modeling and analysis [Electronic resource]
Выходные данные : Boston, Ma : Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: International series in intelligent technologies, ISSN 1382-3434; 20
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-23550-9: Б.ц.
ГРНТИ : 27.03 + 27.47.19 + 28.23.33
УДК : 510.22 + 519.8 + 004.89
Предметные рубрики: Нечеткие множества
Теория принятия решений
Интеллектуальные системы
Найти похожие
26.
Вид документа : Монографическая серия
Шифр издания : 519.85/A67-607445
Заглавие : Approximation and online algorithms [Electronic resource] : 2nd Intern. workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004: rev. sel. papers
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3351
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31833-0: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.5(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
27.
Вид документа : Монографическая серия
Шифр издания : 510.5(063)/A67
Заглавие : Approximation and online algorithms [Electronic resource] : 7th International workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009: revised papers
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5893
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-12450-1: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.5(063)
Ключевые слова (''Своб.индексиров.''): алгоритмы--конференции
Найти похожие
28.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/A67-207004
Заглавие : Approximation and online algorithms [Electronic resource] : third International workshop,WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005: rev. papers
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3879
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32208-5: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.5(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
29.
Вид документа : Монографическая серия
Шифр издания : 517.518.8(063)/A67-734282
Заглавие : Approximation and online algorithms [Electronic resource] : 4th international workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006 : revised papers
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4368
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-69514-1: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.5(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
30.
Вид документа : Монографическая серия
Шифр издания : 004.421(063)/A67-045135
Заглавие : Approximation and online algorithms [Electronic resource] : 6th international workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008: revised papers
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5426
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-93980-1: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.5(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Найти похожие
 1-30    31-60   61-90      

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)