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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07$<.>)
Общее количество найденных документов : 118
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Вид документа :
Шифр издания : vr=W605461
Заглавие : Wuhan University Journal of Natural Sciences
Выходные данные : Berlin: springer, 1996
ISSN: 10071202
ГРНТИ : 29 + 31 + 50.07
Аннотация: Научный журнал. Статьи быстрой публикации, отражающие научные достижения учёных Уханьского и других китайских университетов и академических институтов в области естественных наук: математики, компьютерных наук, физики конденсированного состояния, распространения электрических волн, космической физики, аналитической химии, электрохимии, химии полимеров, генетики, биологии развития, вирусологии, наук об окружающей среде и междисциплинарных исследований.
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : 004.052.3/W81
Автор(ы) : Wolter K.
Заглавие : Stochastic models for fault tolerance [Electronic resource] : restart, rejuvenation and checkpointing
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-11257-7: Б.ц.
ГРНТИ : 50.07
УДК : 004.052.3
Ключевые слова (''Своб.индексиров.''): вычислительные системы--отказоустойчивость--стохастические модели
Найти похожие
3.
Вид документа : Однотомное издание
Шифр издания : 004:530.145/V58
Автор(ы) : Viamontes G.F., Hayes J.P., Markov I.L.
Заглавие : Quantum circuit simulation [Electronic resource]
Выходные данные : Dordrecht : Springer, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-90-481-3065-8: Б.ц.
ГРНТИ : 50.07
УДК : 004:530.145
Ключевые слова (''Своб.индексиров.''): квантовые вычисления--моделирование
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания : 510.67/T95-709660
Автор(ы) : Turner R.
Заглавие : Computable models [Electronic resource]
Выходные данные : London : Springer-Verlag, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-848-82052-4: Б.ц.
ГРНТИ : 28.17.19 + 50.07.03
УДК : 62-047.58 + 004
Ключевые слова (''Своб.индексиров.''): вычислимые модели--математические модели--теоретическая вычислительная техника--искусственный интеллект--семантика
Найти похожие
5.
Вид документа : Однотомное издание
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-11261-4: Б.ц.
ГРНТИ : 50.33.04 + 50.07.05
УДК : 004.272.2(063) + 004.38.051(063)
Ключевые слова (''Своб.индексиров.''): параллельные вычисления--вычислительные машины--производительность--конференции
Найти похожие
6.
Вид документа : Однотомное издание
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-68564-7: Б.ц.
ГРНТИ : 50.33.04 + 50.07.05
УДК : 004.272.2(063) + 004.38.051(063)
Предметные рубрики: Параллельные вычисления-- Съезды и конференции
Вычислительные машины-- Производительность-- Съезды и конференции
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5906
Вид и объем ресурса: Electronic text data
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)
Ключевые слова (''Своб.индексиров.''): квантовые вычисления--коммуникации--криптография--конференции
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания : 004/T44-311244
Заглавие : Theoretical computer science [Electronic resource] : essays in memory of Shimon Even
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3895
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32880-3: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21
Предметные рубрики: Вычислительная техника
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : IFIP International Federation for Information Processing, 2010
Коллективы : SpringerLink (Online service)
Серия: IFIP advances in information and communication technology, ISSN 1868-4238; 323
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15240-5: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Ключевые слова (''Своб.индексиров.''): информатика теоретическая--конференции
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания : 004-027.21(063)/T44
Заглавие : Theoretical computer science [Electronic resource] : 9th italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3701
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32024-1: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
11.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6255
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14808-8: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Ключевые слова (''Своб.индексиров.''): вычислительная техника--теоретические аспекты--конференции
Найти похожие
12.
Вид документа : Монографическая серия
Шифр издания : 004-027.21(063)/T44
Заглавие : Theoretical aspects of computing - ictac 2008 [Electronic resource] : 5th International colloquium, Istanbul, Turkey, September 1-3, 2008: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5160
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-85762-4: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
13.
Вид документа : Монографическая серия
Шифр издания : 004-027.21(063)/T44
Заглавие : Theoretical aspects of computing - ICTAC 2007 [Electronic resource] : 4th international colloquium, Macau, China, September 26-28, 2007 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4711
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-75292-9: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
14.
Вид документа : Монографическая серия
Шифр издания : 004.31'144(063)/T44-027361
Заглавие : Theoretical aspects of computing - ICTAC 2006 [Electronic resource] : third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4281
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-48816-3: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
15.
Вид документа : Монографическая серия
Шифр издания : 004-027.21(063)/T44
Заглавие : Theoretical aspects of computing - ictac 2005 [Electronic resource] : second international colloquium, Hanoi, Vietnam, October 17-21, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3722
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32072-2: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
16.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3407
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31862-0: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
17.
Вид документа : Однотомное издание
Шифр издания : 512.563.6/S82
Автор(ы) : Steinbach B., Posthoff C.
Заглавие : Logic functions and equations [Electronic resource] : examples and exercises
Выходные данные : Dordrecht: Springer, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4020-9594-8: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 512.563.6 + 004
Предметные рубрики: Алгебра логики
Вычислительная техника
Найти похожие
18.
Вид документа : Однотомное издание
Шифр издания : 512.563.6/S82
Автор(ы) : Steinbach B., Posthoff C.
Заглавие : Logic functions and equations [Electronic resource] : examples and exercises
Выходные данные : Dordrecht : Springer, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4020-9595-5: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 512.563.6 + 004
Предметные рубрики: Алгебра логики
Вычислительная техника
Найти похожие
19.
Вид документа : Многотомное издание
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4393
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-70918-3: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
20.
Вид документа : Монографическая серия
Шифр издания : 004(063)/S81-774458
Заглавие : STACS 2006 [Electronic resource] : 23rd Annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3884
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32288-7: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
21.
Вид документа : Монографическая серия
Шифр издания : 004(063)/S81
Заглавие : STACS 2005 [Electronic resource] : 22nd Annual symposiumon theoretical aspects of computer science, Stuttgart, Germany, February 24-26, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3404
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31856-9: Б.ц.
ГРНТИ : 50.07
УДК : 004(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
22.
Вид документа :
Шифр издания : vr=S505076
Заглавие : Software and System Modeling
Выходные данные : Berlin: springer, 2002
ISSN: 16191366
ГРНТИ : 28.17 + 50.07.03
Найти похожие
23.
Вид документа : Однотомное издание
Шифр издания : 004-027.21/R79
Автор(ы) : Rosenberg A.L.
Заглавие : The pillars of computation theory [Electronic resource] : state, encoding, nondeterminism . -First.
Выходные данные : New York, NY : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Universitext
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-09639-1: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21
Ключевые слова (''Своб.индексиров.''): вычислительная техника--теоретические основы
Найти похожие
24.
Вид документа : Монографическая серия
Шифр издания : 004.42/R48-847498
Заглавие : Rewriting, computation and proof [Electronic resource] : essays dedicated to Jean-Pierre jouannaud on the occasion of his 60th birthday
Выходные данные : Berlin; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4600
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73147-4: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21
Предметные рубрики: Информатика теоретическая
Найти похожие
25.
Вид документа : Монографическая серия
Шифр издания : 004.415.5(063)/R48-506073
Заглавие : Rewriting techniques and applications [Electronic resource] : 19th International conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5117
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-70590-1: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21(063)
Предметные рубрики: Информатика теоретическая-- Съезды и конференции
Найти похожие
26.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4136
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54037-874-7: Б.ц.
ГРНТИ : 50.07
УДК : 510.285(063)
Предметные рубрики: Математическая логика-- Применение в вычислительной технике-- Съезды и конференции
Найти похожие
27.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin; Heidelberg: Springer-Verlag, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5827
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-04639-1: Б.ц.
ГРНТИ : 50.07
УДК : 510.285(063)
Ключевые слова (''Своб.индексиров.''): математическая логика--вычислительная техника--алгебра клини--конференции
Найти похожие
28.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4988
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-78913-0: Б.ц.
ГРНТИ : 50.07
УДК : 510.285(063)
Предметные рубрики: Математическая логика-- Применение в вычислительной технике-- Съезды и конференции
Найти похожие
29.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3929
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-33340-1: Б.ц.
ГРНТИ : 50.07
УДК : 004.02(063)
Предметные рубрики: Вычислительная техника-- Математические методы-- Съезды и конференции
Найти похожие
30.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6158
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13962-8: Б.ц.
ГРНТИ : 27.03 + 50.07
УДК : 510.5(063)
Ключевые слова (''Своб.индексиров.''): теория вычислимости--конференции
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)