Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 229
Показаны документы с 1 по 30 |
|
1. 
| 510.22
Z57
Zermelo, E.
Collected works [Electronic resource] : vol. I: set theory, Miscellanea : band I: Mengenlehre, Varia / E. Zermelo [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Schriften der mathematisch-naturwissenschaftlichen klasse der heidelberger akademie der wissenschaften ; 21). - ISBN 978-3-540-79384-7 : Б. ц.
Кл.слова (ненормированные):
сборник трудов -- теория множеств -- разное
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
2.
| 510
W69
Williams, H. P.
Logic and integer programming [Electronic resource] / H. P. Williams. - Electronic text data. - Boston, Ma : Springer, 2009. - (International series in operations research & management science, ISSN 0884-8289 ; 130). - ISBN 978-0-387-92279-9 : Б. ц.
Рубрики: Математическая логика
Программирование целочисленное
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
3.
| 510
W46
Weinstein, S.
Finite model theory and its applications [Electronic resource] / S. Weinstein. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Texts in theoretical computer science an eatcs series, ISSN 1862-4499). - ISBN 978-3-540-68804-4 : Б. ц.
Рубрики: Математическая логика
Вычислительная техника
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
4.
| 510.52
W40
Wegener, I.
Complexity theory [Electronic resource] : exploring the limits of efficient algorithms / I. Wegener. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 3-540-27477-4 : Б. ц.
Рубрики: Сложность вычислений
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
5.
| 510.22
V61
Views on fuzzy sets and systems from different perspectives [Electronic resource] : philosophy and logic, criticisms and applications / ed. R. Seising. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Studies in fuzziness and soft computing, ISSN 1434-9922 ; 243). - ISBN 978-3-540-93802-6 : Б. ц.
Рубрики: Нечеткие множества
См. : Текст издания
Доп.точки доступа:
Seising, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
6.
| 510
V31
Vath, M.
Nonstandard analysis [Electronic resource] / M. Vath. - Electronic text data. - Basel : Birkhauser, 2007. - ISBN 978-3-7643-7774-8 : Б. ц.
Кл.слова (ненормированные):
нестандартный анализ
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
7.
| 510.6(063)/T99-431001
Typed lambda calculi and applications [Electronic resource] : 8th International conference,TLCA 2007, Paris, France,June 26-28, 2007: proceedings / ed. S. Rocca. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4583). - ISBN 978-3-540-73228-0 : Б. ц.
Рубрики: Математическая логика--Съезды и конференции
Вычислительная техника--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Rocca, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
8.
| 510.6(063)/T99-338528
Typed lambda calculi and applications [Electronic resource] : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / ed. P. Curien. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5608). - ISBN 978-3-642-02273-9 : Б. ц.
Кл.слова (ненормированные):
математическая логика -- вычислительная техника -- конференции
См. : Текст издания
Доп.точки доступа:
Curien, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
9.
| 510.6(063)/T99-262765
Typed lambda calculi and applications [Electronic resource] : 7th international conference,TLCA 2005 Nara,Japan, April 21-23 2005: proc. / ed. P. Urzyczyn. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3461). - ISBN 978-35403-2014-2 : Б. ц.
Рубрики: Математическая логика--Съезды и конференции
Вычислительная техника--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Urzyczyn, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
10.
| 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 : Б. ц.
Кл.слова (ненормированные):
множеств теория
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
11.
| 510.22(063)
T82
Transactions on rough sets XII [Electronic resource] / ed.: J. F. Peters [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6190). - ISBN 978-3-642-14467-7 : Б. ц.
Кл.слова (ненормированные):
грубые множества -- конференции
См. : Текст издания
Доп.точки доступа:
Peters, J.F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
12.
| 510.22
T82
Transactions on rough sets xi [Electronic resource] / ed. J. F. Peters, A. Skowron. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5946). - ISBN 978-3-642-11479-3 : Б. ц.
Кл.слова (ненормированные):
грубые множества
См. : Текст издания
Доп.точки доступа:
Peters, J.F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
13.
| 510.22
T82
Transactions on rough sets x [Electronic resource] / ed. J. Peters. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5656). - ISBN 978-3-642-03281-3 : Б. ц.
Кл.слова (ненормированные):
теория множеств
См. : Текст издания
Доп.точки доступа:
Peters, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
14.
| 004.8(063)/T82-665446
Transactions on rough sets viii [Electronic resource] / ed.: J. F. Peters, A. Skowron. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 1861-2059 ; 5084). - ISBN 978-3-540-85064-9 : Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J.F. \ed.\; Skowron, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
15.
| 510.22
T82
Transactions on rough sets vii [Electronic resource] : commemorating the life and work of Zdzislaw Pawlak, Part II / ed. J. Peters. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 1861-2059 ; 4400). - ISBN 978-3-540-71663-1 : Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
16.
| 510.22
T82
Transactions on rough sets vi [Electronic resource] : commemorating the life and work of zislaw powlak, part I / ed. J. Peters. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 1861-2059 ; 4374). - ISBN 978-3-540-71200-8 : Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
17.
| 004.657(063)/P50-320800
Transactions on rough sets v [Electronic resource] / ed. J. Peters. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4100). - Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
18.
| 510.22
T82
Transactions on rough sets V [Electronic resource] / ed. J. Peters, A. Skowron. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4100). - ISBN 978-3-54039-382-5 : Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
19.
| 510.22
T82
Transactions on rough sets ix [Electronic resource] / ed. J. Peters. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5390). - ISBN 978-3-540-89876-4 : Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
20.
| 510.22
T82
Transactions on rough sets IV [Electronic resource] / ed. J. Peters, A. Skowron. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3700). - ISBN 978-3-540-32016-6 : Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
21.
| 510.22
T82
Transactions on rough sets III [Electronic resource] / eds. J. Peters, A. Skowron. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3400). - ISBN 978-3-540-31850-7 : Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
22.
| 510.22
T82
Transactions on rough sets II [Electronic resource] : rough sets and fuzzy sets / ed. J. F. Peters [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2004. - (Lecture notes in computer science, ISSN 0302-9743 ; 3135). - ISBN 978-3-540-27778-1 : Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J.F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
23.
| 510.2:1
T80
Towards mathematical philosophy [Electronic resource] : papers from the studia logica conference trends in logic IV / ed. D. Makinson [et al.]. - Electronic text data. - Dordrecht : Springer, 2009. - (Trends in logic ; 28). - ISBN 978-1-4020-9084-4 : Б. ц.
Кл.слова (ненормированные):
математика -- философские вопросы
См. : Текст издания
Доп.точки доступа:
Makinson, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
24.
| 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 : Б. ц.
Рубрики: Алгоритмы
Эволюционные вычисления
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
25.
| 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 : Б. ц.
Кл.слова (ненормированные):
сложность вычислений -- алгоритмы -- конференции
См. : Текст издания
Доп.точки доступа:
Hutchison, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
26.
| 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 : Б. ц.
Рубрики: Сложность вычислений--Съезды и конференции
Алгоритмы--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Agrawal, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
27.
| 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 : Б. ц.
Рубрики: Сложность вычислений--Съезды и конференции
Алгоритмы--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Cai, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
28.
| 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 : Б. ц.
Рубрики: Сложность вычислений--Съезды и конференции
Алгоритмы--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Cai, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
29.
| 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 : Б. ц.
Кл.слова (ненормированные):
теория вычислимости -- сложность вычислений -- алгоритмы -- конференции
См. : Текст издания
Доп.точки доступа:
Kratochvil, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
30.
| 510.22
T44
Theoretical advances and applications of fuzzy logic and soft computing [Electronic resource] / ed. O. Castillo [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Advances in soft computing, ISSN 1615-3871 ; 42). - ISBN 978-3-540-72434-6 : Б. ц.
Рубрики: Нечеткая логика
Мягкие вычисления
См. : Текст издания
Доп.точки доступа:
Castillo, O. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных