Web ИРБИС

Базы данных

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

Вид поиска

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

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

в найденном

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

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

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

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

1-30 31-58

()

Numerical Algorithms [Электронный ресурс]. - Berlin : springer, 1991 - (Springer). - Выходит ежеквартально. - ISSN 1017-1398

Аннотация: Статьи и обзоры по всем аспектам численных алгоритмов: новые алгоритмы, теоретические результаты, реализация, численная стабильность, сложность, параллельный компьютинг, подпрограммы и применение; статьи по компьютерной алгебре, связанные с получением численных результатов. Обзоры книг, анонсы научных конференций.
journal link (full text - НТО-3)
Найти похожие

004.421(063)/L85-110085

Logic and theory of algorithms [Electronic resource] : 4th Conference on computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008: proceedings / ed. A. Beckmann. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5028). - ISBN 978-3-540-69407-6 : Б. ц.

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

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

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

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

517.986.6(063)
H27

Harmonic analysis, signal processing, and complexity [Electronic resource] : festschrift in honor of the 60th birthday of Carlos A. Berenstein / ed. I. Sabadini [et al.]. - Electronic text data. - Boston, Ma [etc.] : Birkhauser, 2005. - (Progress in mathematics ; 238). - ISBN 978-0-817-64416-1 : Б. ц.

ГРНТИ	27.39.23	49.03.05	27.03.17
УДК	517.986.6(063)	621.391.8(063)	510.52(063)

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

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

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

519.1
G73

Graph theory, combinatorics and algorithms [Electronic resource] : interdisciplinary applications / ed. M. C. Golumbic, I. B. Hartman. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - (Operations research/computer science interfaces series, ISSN 1387-666X ; 34). - ISBN 978-0-387-25036-6 : Б. ц.

ГРНТИ	27.45	27.03.17
УДК	519.1	510.5

Рубрики: Графов теория
Комбинаторика (матем.)
Алгоритмы

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

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

510.522
L79

Lipton, R. J.
The p=np question and godel’s lost letter [Electronic resource] / R. J. Lipton. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2010. - ISBN 978-1-4419-7155-5 : Б. ц.

ГРНТИ	27.03.17
УДК	510.522

Кл.слова (ненормированные):
вопрос равенства классов P=NP -- теория алгоритмов -- теория вычислительной сложности -- утраченное письмо Гёделя

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

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

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 / ed. B. Cooper [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3526). - ISBN 978-3-540-32266-5 : Б. ц.

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

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

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

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

004/M78-948959

Models of computation [Electronic resource] : an introduction to computability theory / M. Fernandez. - Electronic text data. - London : Springer, 2009. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-1-848-82434-8 : Б. ц.

ГРНТИ	27.03.17
УДК	510.58

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

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

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

510.5(063)
E97

Experimental algorithms [Electronic resource] : 8th international symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009 : proceedings / eds. D. Hutchison [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5526). - ISBN 978-3-642-02011-7 : Б. ц.

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

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

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

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

510.5(063)
E97

Experimental algorithms [Electronic resource] : 7th international workshop, WEA 2008 Provincetown, Ma, USA, May 30-June 1, 2008 : proceedings / ed. C. C. McGeoch. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5038). - ISBN 978-3-540-68552-4 : Б. ц.

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

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

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

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

10.

510.5(063)
E97

Experimental algorithms [Electronic resource] : 6th international workshop, WEA 2007, Rome, Italy, June 6-8, 2007 : proceedings / ed. C. Demetrescu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4525). - ISBN 978-3-540-72845-0 : Б. ц.

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

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

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

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

11.

510.5(063)
E97

Experimental and efficient algorithms [Electronic resource] : 4th international workshop, WEA 2005 Santorini Island, Greece, May 10-13, 2005: proceedings / ed. S. Nikoletseas. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3503). - ISBN 978-3-540-32078-4 : Б. ц.

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

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

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

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

12.

510.52(063)
F97

Fundamentals of computation theory [Electronic resource] : 16th international symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007 : proceedings / ed. E. Csuhaj-Varju, Z. Esik. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4639). - ISBN 978-3-54074-240-1 : Б. ц.

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

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

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

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

13.

510.52(063)
F97

Fundamentals of computation theory [Electronic resource] : 17th International symposium, FCT 2009, Wroclaw, Poland, Sept. 2-4, 2009: proceedings / ed. M. Kutylowski. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5699). - ISBN 978-3-642-03409-1 : Б. ц.

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

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

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

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

14.

510.52(063)
F97

Fundamentals of computation theory [Electronic resource] : 15th international symposium, FCT 2005 Lubeck, Germany, August 17-20, 2005 : proceedings / ed. M. Liskiewicz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3623). - ISBN 978-3-540-31873-6 : Б. ц.

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

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

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

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

15.

510.52(063)
P25

Parameterized and exact computation [Electronic resource] : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / ed. M. Grohe, R. Niedermeier. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5018). - ISBN 978-3-540-79723-4 : Б. ц.

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

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

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

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

16.

510.52(063)
T44

Theory and applications of models of computation [Electronic resource] : 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 : proceedings / eds. M. Agrawal [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4978). - ISBN 978-3-540-79228-4 : Б. ц.

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

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

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

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

17.

004(063)/T44-179716

Theory and applications of models of computation [Electronic resource] : 4th International conference, TAMC 2007, Shanghai, China, May 22-25, 2007: proceedings / ed. J. Cai. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4484). - ISBN 978-3-540-72504-6 : Б. ц.

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

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

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

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

18.

004.42(063)/T37-067185

Term rewriting and applications [Electronic resource] : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / ed. F. Baader. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4533). - ISBN 978-3-540-73449-9 : Б. ц.

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

Рубрики: Теория вычислимости--Съезды и конференции

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

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

19.

510.52(063)
T44

Theory and applications of models of computation [Electronic resource] : 6th annual conference, TAMC 2009, Changsha, China, May 18-22, 2009: proceedings / ed. D. Hutchison [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5532). - ISBN 9783642020179 : Б. ц.

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

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

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

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

20.

004/K80-795390

Kozen, D.
Theory of computation [Electronic resource] / D. Kozen. - Electronic text data. - London : Springer-Verlag, 2006. - (Texts in computer science). - ISBN 1-84628-477-5 : Б. ц.

ГРНТИ	27.03.17
УДК	510.52

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

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

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

21.

510.52(063)
T44

Theory and applications of models of computation [Electronic resource] : third International conference, TAMC 2006, Beijing, China, May 15-20, 2006: proceedings / ed. J. Cai. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3959). - ISBN 978-3-540-34022-5 : Б. ц.

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

22.

510.52(063)
T44

Theory and applications of models of computation [Electronic resource] : 7th Annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010: proceedings / ed. J. Kratochvil [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6108). - ISBN 978-3-642-13562-0 : Б. ц.

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

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

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

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

23.

510.52
F70

Flum, J.
Parameterized complexity theory [Electronic resource] / J. Flum, M. Grohe. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Texts in theoretical computer science. an eatcs series). - ISBN 978-3-540-29953-0. - ISBN 3-540-29953-X : Б. ц.

ГРНТИ	27.03.17
УДК	510.52

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

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

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

24.

510.52(063)
P25

Parameterized and exact computation [Electronic resource] : second international workshop, IWPEC 2006, Zurich, Switzerland, September 13-15, 2006 : proceedings / ed. H. Bodlaender, M. Langston. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4169). - ISBN 978-3-54039-101-2 : Б. ц.

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

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

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

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

25.

510.52(063)
P25

Parameterized and exact computation [Electronic resource] : 4th international workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / ed. J. Chen, F. V. Fomin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5917). - ISBN 978-3-642-11269-0 : Б. ц.

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

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

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

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

26.

510.565(063)
R48

Rewriting techniques and applications [Electronic resource] : 20th international conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 : proceedings / ed. R. Treinen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5595). - ISBN 978-3-642-02348-4 : Б. ц.

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

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

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

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

27.

004.42(063)/T37-841735

Term rewriting and applications [Electronic resource] : 16th international conf. RTA 2005, Nara, Japan 19-21, 2005: proc. / ed. J. Giesl. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3467). - ISBN 978-35403-2033-3 : Б. ц.

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

Рубрики: Теория вычислимости--Съезды и конференции

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

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

28.

004.42(063)/T37-008995

Term rewriting and applications [Electronic resource] : 17th international conference, RTA 2006, Seattle, Wa, USA, August 12-14, 2006 : proceedings / ed. F. Pfenning. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4098). - ISBN 978-3-54036-835-9 : Б. ц.

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

Рубрики: Теория вычислимости--Съезды и конференции

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

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

29.

510.5
T72

Tomassini, M.
Spatially structured evolutionary algorithms [Electronic resource] : artificial evolution in space and time / M. Tomassini. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Natural computing series, ISSN 1619-7127). - ISBN 3-540-29938-6 : Б. ц.

ГРНТИ	27.03.17	28.23.37
УДК	510.5	004.032.26

Рубрики: Алгоритмы
Эволюционные вычисления

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

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

30.

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)
Свободных экз. нет
Найти похожие

1-30 31-58

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

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

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