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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07$<.>)
Общее количество найденных документов : 118
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
()
Wuhan University Journal of Natural Sciences [Электронный ресурс]. - Berlin : springer, 1996 - . - Выходит ежеквартально. - ISSN 1007-1202

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

   
    Tools for high performance computing 2009 [Electronic resource] : proceedings of the 3rd International workshop on parallel tools for high performance computing, September 2009, ZIH, Dresden / eds. M. S. Muller [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-11261-4 : Б. ц.

ГРНТИ
50.33.04
50.07.05
УДК
004.272.2(063)
004.38.051(063)

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

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

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

   
    Tools for high performance computing [Electronic resource] : proceedings of the 2nd international workshop on parallel tools for high performance computing, July 2008, HLRS, Stuttgart / eds.: M. Resch [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - ISBN 978-3-540-68564-7 : Б. ц.

ГРНТИ
50.33.04
50.07.05
УДК
004.272.2(063)
004.38.051(063)
Рубрики: Параллельные вычисления--Съезды и конференции
   Вычислительные машины--Производительность--Съезды и конференции

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

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

   
    Theory of quantum computation, communication, and cryptography [Electronic resource] : 4th workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009 : revised selected papers / ed. A. Childs, M. Mosca. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5906). - ISBN 978-3-642-10698-9 : Б. ц.

ГРНТИ
50.07
20.53.23
03.81.43
УДК
004:530.145(063)
004.738.2(063)
003.26(063)

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

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

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

   
    Theoretical computer science [Electronic resource] : essays in memory of Shimon Even / ed. O. Goldreich [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3895). - ISBN 978-3-540-32880-3 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21
Рубрики: Вычислительная техника

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

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

   
    Theoretical computer science [Electronic resource] : 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010 : proceedings / ed. C. S. Calude, V. Sassone. - Electronic text data. - Berlin ; Heidelberg : IFIP International Federation for Information Processing, 2010. - (IFIP advances in information and communication technology, ISSN 1868-4238 ; 323). - ISBN 978-3-642-15240-5 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)

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

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

Доп.точки доступа:
Calude, C.S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
7.
004-027.21(063)
T44

   
    Theoretical computer science [Electronic resource] : 9th italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005: proceedings / ed. M. Coppo. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3701). - ISBN 978-3-540-32024-1 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)
Рубрики: Вычислительная техника--Съезды и конференции

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

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

   
    Theoretical aspects of computing – ictac 2010 [Electronic resource] : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings / ed.: A. Cavalcanti [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6255). - ISBN 978-3-642-14808-8 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)

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

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

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

   
    Theoretical aspects of computing - ictac 2008 [Electronic resource] : 5th International colloquium, Istanbul, Turkey, September 1-3, 2008: proceedings / ed. J. Fitzgerald. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5160). - ISBN 978-3-540-85762-4 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)
Рубрики: Вычислительная техника--Съезды и конференции

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

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

   
    Theoretical aspects of computing - ICTAC 2007 [Electronic resource] : 4th international colloquium, Macau, China, September 26-28, 2007 : proceedings / ed. C. B. Jones [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4711). - ISBN 978-3-540-75292-9 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)
Рубрики: Вычислительная техника--Съезды и конференции

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

Доп.точки доступа:
Jones, C.B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
11.
004.31'144(063)/T44-027361

   
    Theoretical aspects of computing - ICTAC 2006 [Electronic resource] : third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings / eds. K. Barkaoui [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4281). - ISBN 978-3-540-48816-3 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)
Рубрики: Вычислительная техника--Съезды и конференции

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

Доп.точки доступа:
Barkaoui, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
12.
004-027.21(063)
T44

   
    Theoretical aspects of computing - ictac 2005 [Electronic resource] : second international colloquium, Hanoi, Vietnam, October 17-21, 2005: proceedings / ed. D. v. Hung. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3722). - ISBN 978-3-540-32072-2 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)
Рубрики: Вычислительная техника--Съезды и конференции

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

Доп.точки доступа:
Hung, D.v. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
13.
004-027.21(063)
T44

   
    Theoretical aspects of computing - ICTAC 2004 [Electronic resource] : first International colloquium, Guiyang, China, September 20-24, 2004: revised selected papers / ed. : K. Araki, Z. Liu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3407). - ISBN 978-3-540-31862-0 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)
Рубрики: Вычислительная техника--Съезды и конференции

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

Доп.точки доступа:
Liu, Z. \ed.\; Araki, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
14.
004.052.3
W81

    Wolter, K.
    Stochastic models for fault tolerance [Electronic resource] : restart, rejuvenation and checkpointing / K. Wolter. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-11257-7 : Б. ц.

ГРНТИ
50.07
УДК
004.052.3

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

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

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

   
    STACS 2007 [Electronic resource] : 24th Annual Symposium on theoretical aspects of computer science, Aachen, Germany, February 22-24, 2007: proceedings / ed. W. Thomas. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4393). - ISBN 978-3-540-70918-3 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)
Рубрики: Вычислительная техника--Съезды и конференции

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

Доп.точки доступа:
Thomas, W. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
16.
004(063)/S81-774458

   
    STACS 2006 [Electronic resource] : 23rd Annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006: proceedings / ed. : B. Durand, W. Thomas. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3884). - ISBN 978-3-540-32288-7 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)
Рубрики: Вычислительная техника--Съезды и конференции

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

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

   
    STACS 2005 [Electronic resource] : 22nd Annual symposiumon theoretical aspects of computer science, Stuttgart, Germany, February 24-26, 2005: proceedings / ed. : V. Diekert, B. Durand. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3404). - ISBN 978-3-540-31856-9 : Б. ц.

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

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

Доп.точки доступа:
Diekert, V. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
18.
()
Software and System Modeling [Электронный ресурс]. - Berlin : springer, 2002 - (Springer). - Выходит ежемесячно. - ISSN 1619-1366
journal link (full text - НТО-3)
Найти похожие
19.
004.42/R48-847498

   
    Rewriting, computation and proof [Electronic resource] : essays dedicated to Jean-Pierre jouannaud on the occasion of his 60th birthday / ed. H. Comon-Lundh [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4600). - ISBN 978-3-540-73147-4 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21
Рубрики: Информатика теоретическая

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

Доп.точки доступа:
Comon-Lundh, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
20.
004.415.5(063)/R48-506073

   
    Rewriting techniques and applications [Electronic resource] : 19th International conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008: proceedings / ed. A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5117). - ISBN 978-3-540-70590-1 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21(063)
Рубрики: Информатика теоретическая--Съезды и конференции

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

Доп.точки доступа:
Voronkov, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
21.
512.55(063)/R41-924197

   
    Relations and kleene algebra in computer science [Electronic resource] : 9th international conference on relational methods in computer science and 4th international workshop on applicationsof kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / SpringerLink (Online service) ; ed. R. Schmidt. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4136). - ISBN 978-3-54037-874-7 : Б. ц.

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

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

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

   
    Relations and kleene algebra in computer science [Electronic resource] : 11th International conference on relational methods in computer science, RelMiCS 2009, and 6th International conference on applications of kleene algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. : proceedings / ed. R. Berghammer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5827). - ISBN 978-3-642-04639-1 : Б. ц.

ГРНТИ
50.07
УДК
510.285(063)

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

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

Доп.точки доступа:
Berghammer, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
23.
004-027.21(063)/R41-498017

   
    Relations and kleene algebra in computer science [Electronic resource] : 10th international conference on relational methods in computer science, and 5th international conference on applications of kleene algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / SpringerLink (Online service) ; eds. R. Berghammer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4988). - ISBN 978-3-540-78913-0 : Б. ц.

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

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

Доп.точки доступа:
Berghammer, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
24.
004:51(063)/R41-081924

   
    Relational methods in computer science [Electronic resource] : 8th International seminar on relational methods in computer science, 3rd International workshop on applications of Kleene algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005: selected revised papers / ed. W. MacCaull ; ed. W. MacCaull [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3929). - ISBN 978-3-540-33340-1 : Б. ц.

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

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

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

    Homeister, M.
    Quantum Computing verstehen [Electronic resource] : Grundlagen — Anwendungen — Perspektiven / M. Homeister. - 2., aktualisierte und durchgesehene Auflage. - Electronic text data. - Wiesbaden : Vieweg+Teubner Verlag, 2008. - ISBN 978-3-8348-9241-6 : Б. ц.

ГРНТИ
50.07
УДК
004:530.145

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

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

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

    Pavicic, M.
    Quantum computation and quantum communication [Electronic resource] : theory and experiments / M. Pavicic. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2006. - ISBN 978-0-387-28900-7 : Б. ц.

ГРНТИ
50.07
20.53.23
УДК
004.38:530.145
004.738.2

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

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

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

    Viamontes, G. F.
    Quantum circuit simulation [Electronic resource] / G. F. Viamontes, J. P. Hayes, I. L. Markov. - Electronic text data. - Dordrecht : Springer, 2009. - ISBN 978-90-481-3065-8 : Б. ц.

ГРНТИ
50.07
УДК
004:530.145

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

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

Доп.точки доступа:
Hayes, J.P.; Markov, I.L.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
28.
510.5(063)
P93

   
    Programs, proofs, processes [Electronic resource] : 6th Conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010: proceedings / ed. F. Ferreira [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6158). - ISBN 978-3-642-13962-8 : Б. ц.

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

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

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

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

   
    Processes, terms and cycles: steps on the road to infinity [Electronic resource] : essays dedicated to Jan Willem klopon the occasion of his 60th birthday / ed. A. Middeldorp. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3838). - ISBN 978-3-540-32425-6 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21
Рубрики: Вычислительная техника

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

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

    Rosenberg, A. L.
    The pillars of computation theory [Electronic resource] : state, encoding, nondeterminism / A. L. Rosenberg. - First. - Electronic text data. - New York, NY : Springer, 2010. - (Universitext). - ISBN 978-0-387-09639-1 : Б. ц.

ГРНТИ
50.07
УДК
004-027.21

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

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

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)