Главная страница
Государственная публичная научно-техническая библиотека России
Базы данных
- результаты поиска
Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Ключевые слова (ВЕЗДЕ)
Автор
Заглавие
Год издания
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=27.03$<.>)
Общее количество найденных документов
:
229
Показаны документы
с 1 по 30
1-30
31-60
61-90
>
1.
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)
Свободных экз. нет
Найти похожие
>
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 / 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)
Свободных экз. нет
Найти похожие
>
3.
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)
Свободных экз. нет
Найти похожие
>
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 / 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)
Свободных экз. нет
Найти похожие
>
5.
51/A28-164843
Aigner, M.
Das Buch der Beweise [Electronic resource] / M. Aigner, G. M. Ziegler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. -
ISBN
978-3-642-02259-3 : Б. ц.
ГРНТИ
27.03.19
УДК
510.7
Кл.слова (ненормированные):
доказательств теория
См. :
Текст издания
Доп.точки доступа:
Ziegler, G.M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
>
6.
510.7
A28
Aigner, M.
Proofs from the book [Electronic resource] / M. Aigner, G. M. Ziegler. - 4th ed. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. -
ISBN
978-3-642-00856-6 : Б. ц.
ГРНТИ
27.03.19
УДК
510.7
Кл.слова (ненормированные):
доказательств теория
См. :
Текст издания
Доп.точки доступа:
Ziegler, G.M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
>
7.
510/A28-650569
Aigner, M.
Proofs from the book [Electronic resource] / M. Aigner, G. M. Ziegler, A. Quarteroni. - Electronic text data. - Milano : Springer-Verlag, 2006. -
ISBN
978-8-847-00451-1 : Б. ц.
ГРНТИ
27.03.19
УДК
510.7
Кл.слова (ненормированные):
теория доказательств
См. :
Текст издания
Доп.точки доступа:
Ziegler, G.M.; Quarteroni, A.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
>
8.
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)
Свободных экз. нет
Найти похожие
>
9.
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)
Свободных экз. нет
Найти похожие
>
10.
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)
Свободных экз. нет
Найти похожие
>
11.
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)
Свободных экз. нет
Найти похожие
>
12.
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)
Свободных экз. нет
Найти похожие
>
13.
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)
Свободных экз. нет
Найти похожие
>
14.
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)
Свободных экз. нет
Найти похожие
>
15.
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)
Рубрики:
Алгоритмы--Съезды и конференции
См. :
Текст издания
Доп.точки доступа:
Arge, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
>
16.
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)
Свободных экз. нет
Найти похожие
>
17.
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)
Свободных экз. нет
Найти похожие
>
18.
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)
Свободных экз. нет
Найти похожие
>
19.
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)
Свободных экз. нет
Найти похожие
>
20.
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)
Свободных экз. нет
Найти похожие
>
21.
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)
Свободных экз. нет
Найти похожие
>
22.
510.22
A53
Anastassiou, G. A.
Fuzzy mathematics: approximation theory [Electronic resource] / G. A. Anastassiou. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Studies in fuzziness and soft computing, ISSN 1434-9922 ; 251). -
ISBN
978-3-642-11220-1 : Б. ц.
ГРНТИ
27.03
27.25.19
УДК
510.22
517.518.8
Кл.слова (ненормированные):
нечеткие множества
--
нечеткая логика
--
приближения теория
См. :
Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
>
23.
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)
Свободных экз. нет
Найти похожие
>
24.
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)
Свободных экз. нет
Найти похожие
>
25.
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)
Свободных экз. нет
Найти похожие
>
26.
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)
Рубрики:
Алгоритмы--Съезды и конференции
См. :
Текст издания
Доп.точки доступа:
Erlebach, T. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
>
27.
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)
Свободных экз. нет
Найти похожие
>
28.
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)
Свободных экз. нет
Найти похожие
>
29.
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)
Свободных экз. нет
Найти похожие
>
30.
>
Шифр: V4694
(Журнал
)
Archive for Mathematical
Logic [Текст]. - Berlin : springer, 1950 - . - Выходит раз в два месяца. - ISSN 0933-5846
Аннотация:
Статьи и обзоры по исследованиям в области математической логики, а также по теориям компьютерной науки, философии и др., где значительную роль играет применение математической логики.
Зарегистрированы поступления:
1992
1992
Vol. 32; N: 2; ; Vol. 31; N: 3-6
journal link (full text - НТО-3)
Найти похожие
краткий формат
полный формат
все найденные
отмеченные
кроме отмеченных
1-30
31-60
61-90
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)