Web ИРБИС

Базы данных

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

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>R=27.03$<.>)

Общее количество найденных документов : 229
Показаны документы с 1 по 30

1-30 31-60 61-90

510.21-546912

18 unconventional essays on the nature of mathematics [Electronic resource] / ed. R. Hersh. - Electronic text data. - New York, NY : Springer Science + Business Media Inc., 2006. - ISBN 978-0-387-29831-3 : Б. ц.

ГРНТИ	27.03.15
УДК	510.21

Кл.слова (ненормированные):
математика -- философские вопросы

См. : Текст издания

Доп.точки доступа:
Hersh, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

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 / eds. L. Saitta, J. Zucker. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3607). - ISBN 978-3-540-31882-8 : Б. ц.

ГРНТИ	27.03.19	50.01.13	28.23
УДК	510(063)	004(063)	004.8(063)

Рубрики: Математическая логика--Съезды и конференции
Вычислительная техника--Съезды и конференции
Искусственный интеллект--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Saitta, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

510.6(063)
A16

Abstraction, reformulation, and approximation [Electronic resource] : 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings / eds.: I. Miguel, W. Ruml. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4612). - ISBN 978-3-540-73580-9 : Б. ц.

ГРНТИ	27.03.19	51.01.13	28.23
УДК	510.6(063)	004(063)	004.8(063)

Рубрики: Математическая логика--Съезды и конференции
Вычислительная техника--Съезды и конференции
Искусственный интеллект--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Miguel, I. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

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 / ed. P. Jedrzejowicz [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6071). - ISBN 978-3-642-13541-5 : Б. ц.

ГРНТИ	27.03
УДК	004.853(043)

Кл.слова (ненормированные):
интеллектуальные агенты -- мультиагентные системы -- конференции

См. : Текст издания

Доп.точки доступа:
Jedrzejowicz, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

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 / ed. S. Aguzzoli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4460). - ISBN 978-3-540-75939-3 : Б. ц.

ГРНТИ	27.03.19
УДК	510

Рубрики: Математическая логика

См. : Текст издания

Доп.точки доступа:
Aguzzoli, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

004.421
A35

Algorithm engineering [Electronic resource] : bridging the gap between algorithm theory and practice / eds.: M. Muller-Hannemann, S. Schirra. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5971). - ISBN 978-3-642-14866-8 : Б. ц.

ГРНТИ	28.25.23	27.03.17
УДК	004.421	510.5

Кл.слова (ненормированные):
алгоритмы -- теория алгоримов -- практика

См. : Текст издания

Доп.точки доступа:
Muller-Hannemann, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

510.5(063)
A35

Algorithm theory - swat 2006 [Electronic resource] : 10th scandinavian workshop on algorithm theory, Riga, Latvia, July 6-8, 2006 : proceedings / eds.: L. Arge, R. Freivalds. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4059). - ISBN 978-3-540-35755-1 : Б. ц.

ГРНТИ	27.03.17
УДК	510.5(063)

Рубрики: Алгоритмы--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Arge, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

510.5(063)
A35

Algorithm theory - swat 2008 [Electronic resource] : 11th Scandinavian workshop on algorithm theory, gothenburg, Sweden, July 2-4, 2008: proceedings / ed. J. Gudmundsson. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5124). - ISBN 978-3-540-69903-3 : Б. ц.

ГРНТИ	27.03.17
УДК	510.5(063)

Рубрики: Алгоритмы--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Gudmundsson, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

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 / ed. H. Kaplan. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6139). - ISBN 978-3-642-13731-0 : Б. ц.

ГРНТИ	27.03.17
УДК	510.5(063)

Кл.слова (ненормированные):
алгоритмы -- теория -- конференции

См. : Текст издания

Доп.точки доступа:
Kaplan, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

10.

514/J79-379144

Joswig, M.
Algorithmische Geometrie [Electronic resource] : polyedrische und algebraische Methoden / M. Joswig, T. Theobald. - Electronic text data. - Wiesbaden : Friedr. Vieweg & Sohn, 2008. - ISBN 978-3-8348-9440-3 : Б. ц.

ГРНТИ	81.14.10	28.25.23	27.03.17
УДК	004.925.8

Кл.слова (ненормированные):
алгоритмическая геометрия -- полиэдральные методы -- алгебраические методы

См. : Текст издания

Доп.точки доступа:
Theobald, T.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

11.

004.421(063)/A35-708080

Algorithms - esa 2005 [Electronic resource] : 13th annual european symposium, Palma de Mallorca, Spain, October 3-6, 2005: proceedings / ed. G. Brodal. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3669). - ISBN 978-3-540-31951-1 : Б. ц.

ГРНТИ	27.03.17	28.25.23
УДК	510.5(063)	004.421(063)

Рубрики: Алгоритмы--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Brodal, G. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

12.

004.421(063)/A35-093671

Algorithms - ESA 2006 [Electronic resource] : 14th annual European symposium, Zurich, Switzerland, September 11 – 13, 2006 : proceedings / ed. Y. Azar, T. Erlebach. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4168). - ISBN 978-3-54038-876-0 : Б. ц.

ГРНТИ	27.03.17	28.25.23
УДК	510.5(063)	004.421(063)

Рубрики: Алгоритмы--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Azar, Y. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

13.

510.5(063)
A35

Algorithms - ESA 2007 [Electronic resource] : 15th annual European symposium, Eilat, Israel, October 8-10, 2007 : proceedings / L. Arge [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4698). - 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 / ed. D. Hutchison. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5193). - ISBN 978-3-540-87744-8 : Б. ц.

ГРНТИ	27.03.17	28.25.23
УДК	510.5(063)	004.421(063)

Рубрики: Алгоритмы--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Hutchison, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

15.

510.5(063)
F48

Algorithms - esa 2009 [Electronic resource] : 17th Annual European symposium, Copenhagen, Denmark, Sept. 7-9, 2009: proceedings / ed.: A. Fiat, P. Sanders. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5757). - ISBN 978-3-642-04128-0 : Б. ц.

ГРНТИ	27.03.17	28.25.23
УДК	510.5(063)	004.421(063)

Рубрики: Алгоритмы--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Fiat, A. \ed.\; Sanders, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

16.

510.5(063)/A35-068557

Algorithms and complexity [Electronic resource] : 6th italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006 : proceedings / ed. T. Calamoneri. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3998). - ISBN 978-3-540-34378-3 : Б. ц.

ГРНТИ	27.03.17
УДК	510.52(063)

Рубрики: Алгоритмы--Съезды и конференции
Сложность вычислений--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Calamoneri, T. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

17.

510.52(063)
A35

Algorithms and Complexity [Electronic resource] : 7th international conference, CIAC 2010, Rome, Italy, May 26-28, 2010: proceedings / ed. T. Calamoneri, J. Diaz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6078). - ISBN 978-3-642-13073-1 : Б. ц.

ГРНТИ	27.03.17
УДК	510.52(063)

Кл.слова (ненормированные):
алгоритмы -- сложность вычислений -- конференции

См. : Текст издания

Доп.точки доступа:
Calamoneri, T. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

18.

510.52
A53

An introduction to kolmogorov complexity and its applications [Electronic resource] / ed. D. Gries [et al.]. - Electronic text data. - New York, NY : Springer, 2008. - (Texts in computer science, ISSN 1868-0941). - ISBN 978-0-387-49820-1 : Б. ц.

ГРНТИ	27.03.17
УДК	510.52

Рубрики: Сложность вычислений

См. : Текст издания

Доп.точки доступа:
Gries, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

19.

510.22
T90

Tu, L. W.
An introduction to manifolds [Electronic resource] / L. W. Tu. - Electronic text data. - New York, NY : Springer Science + Business Media LLC, 2008. - (Universitext). - ISBN 978-0-387-48101-2 : Б. ц.

ГРНТИ	27.03.15
УДК	510.22

Кл.слова (ненормированные):
множеств теория

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

20.

16
A53

Analysis and synthesis of logics [Electronic resource] : how to cut and paste reasoning systems / W. Carnielli [et al.]. - Electronic text data. - Dordrecht : Springer, 2008. - (Applied logic series, ISSN 1386-2790 ; 35). - ISBN 978-1-402-06782-2 : Б. ц.

ГРНТИ	02.21	27.03.19
УДК	16	510.6

Кл.слова (ненормированные):
логика -- математическая логика -- аксиология -- модальная логика -- вычислительная техника -- искусственный интеллект

См. : Текст издания

Доп.точки доступа:
Carnielli, W.; Coniglio, M.; Gouveia, P.; Sernadas, C.; Gabbay, D.M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

21.

510.22
K58

Kluska, J.
Analytical methods in fuzzy modeling and control [Electronic resource] / J. Kluska. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Studies in fuzziness and soft computing, ISSN 1434-9922 ; 241). - ISBN 978-3-540-89927-3 : Б. ц.

ГРНТИ	27.03.19	28.23.33
УДК	510.22	004.89

Рубрики: Нечеткая логика
Интеллектуальные системы

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

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 / ed. F. Masulli [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4578). - ISBN 978-3-540-73400-0 : Б. ц.

ГРНТИ	27.03
УДК	510.22(063)

Рубрики: Нечеткие множества--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Masulli, F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

23.

510.22
H23

Hanss, M.
Applied fuzzy arithmetic [Electronic resource] : an introduction with engineering applications / M. Hanss. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 3-540-24201-5 : Б. ц.

ГРНТИ	27.03
УДК	510.22

Рубрики: Нечеткие множества

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

24.

510.7
K69

Kohlenbach, U.
Applied proof theory: proof interpretations and their use in mathematics [Electronic resource] / U. Kohlenbach. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Springer monographs in mathematics, ISSN 1439-7382). - ISBN 978-3-540-77533-1 : Б. ц.

ГРНТИ	27.03.19
УДК	510.7

Кл.слова (ненормированные):
теория доказательств

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

25.

510.22
A67

Applied research in uncertainty modeling and analysis [Electronic resource] / ed. N. O. Attoh-Okine, B. M. Ayyub. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - (International series in intelligent technologies, ISSN 1382-3434 ; 20). - ISBN 978-0-387-23550-9 : Б. ц.

ГРНТИ	27.03	27.47.19	28.23.33
УДК	510.22	519.8	004.89

Рубрики: Нечеткие множества
Теория принятия решений
Интеллектуальные системы

См. : Текст издания

Доп.точки доступа:
Attoh-Okine, N.O. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

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 / ed. : G. Persiano, R. Solis-Oba. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3351). - ISBN 978-3-540-31833-0 : Б. ц.

ГРНТИ	27.03.17
УДК	510.5(063)

Рубрики: Алгоритмы--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Persiano, G. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

27.

510.5(063)
A67

Approximation and online algorithms [Electronic resource] : 7th International workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009: revised papers / ed. E. Bampis, K. Jansen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5893). - ISBN 978-3-642-12450-1 : Б. ц.

ГРНТИ	27.03.17
УДК	510.5(063)

Кл.слова (ненормированные):
алгоритмы -- конференции

См. : Текст издания

Доп.точки доступа:
Bampis, E. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

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 / ed. : T. Erlebach, G. Persiano. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3879). - ISBN 978-3-540-32208-5 : Б. ц.

ГРНТИ	27.03.17
УДК	510.5(063)

Рубрики: Алгоритмы--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Erlebach, T. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

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 / eds. T. Erlebach, C. Kaklamanis. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4368). - 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 / ed. E. Bampis. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5426). - ISBN 978-3-540-93980-1 : Б. ц.

ГРНТИ	27.03.17
УДК	510.5(063)

Рубрики: Алгоритмы--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Bampis, E. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

1-30 31-60 61-90

Тематический навигатор

Статистика обращений

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