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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 229
Показаны документы с 1 по 10
 1-10    11-20   21-30      
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 : Б. ц.

ГРНТИ
УДК

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

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

Доп.точки доступа:
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 : Б. ц.

ГРНТИ
УДК
Рубрики: Математическая логика--Съезды и конференции
   Вычислительная техника--Съезды и конференции

   Искусственный интеллект--Съезды и конференции


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

Доп.точки доступа:
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 : Б. ц.

ГРНТИ
УДК
Рубрики: Математическая логика--Съезды и конференции
   Вычислительная техника--Съезды и конференции

   Искусственный интеллект--Съезды и конференции


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

Доп.точки доступа:
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 : Б. ц.

ГРНТИ
УДК

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

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

Доп.точки доступа:
Jedrzejowicz, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
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 / 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 : Б. ц.

ГРНТИ
УДК
Рубрики: Математическая логика

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

Доп.точки доступа:
Aguzzoli, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
6.
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 : Б. ц.

ГРНТИ
УДК

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

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

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

ГРНТИ
УДК
Рубрики: Алгоритмы--Съезды и конференции

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

Доп.точки доступа:
Arge, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
8.
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 : Б. ц.

ГРНТИ
УДК
Рубрики: Алгоритмы--Съезды и конференции

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

Доп.точки доступа:
Gudmundsson, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
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 / 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 : Б. ц.

ГРНТИ
УДК

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

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

Доп.точки доступа:
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 : Б. ц.

ГРНТИ
УДК

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

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

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

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