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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07$<.>)
Общее количество найденных документов : 118
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Вид документа : Монографическая серия
Шифр издания : 004(063)/M39
Заглавие : Mathematical foundations of computer science 2006 [Electronic resource] : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006: proceedings, 1
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4162
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54037-793-1: Б.ц.
ГРНТИ : 50.07
УДК : 004(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания : 004(063)/M39
Заглавие : Mathematical foundations of computer science 2007 [Electronic resource] : 32nd international symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4708
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54074-456-6: Б.ц.
ГРНТИ : 50.07
УДК : 004(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания : 004(063)/M39
Заглавие : Mathematical foundations of computer science 2008 [Electronic resource] : 33rd International symposium, MFCS 2008, ToruВґn, Poland, August 25-29, 2008: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5162
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-85238-4: Б.ц.
ГРНТИ : 50.07
УДК : 004(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: Алгебра логики
Вычислительная техника
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания : 004(063)/L85
Заглавие : Logical foundations of computer science [Electronic resource] : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4514
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-72734-7: Б.ц.
ГРНТИ : 50.01.13 + 50.07
УДК : 004(063) + 510(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Математическая логика-- Съезды и конференции
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания : 004:51(063)/M39-096615
Заглавие : Mathematical foundations of computer science 2005 [Electronic resource] : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3618
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31867-5: Б.ц.
ГРНТИ : 50.07
УДК : 004(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания : 004(063)/M39
Заглавие : Mathematical foundations of computer science 2010 [Electronic resource] : 35th International symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6281
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15155-2: Б.ц.
ГРНТИ : 50.01.13 + 50.07
УДК : 004(063)
Ключевые слова (''Своб.индексиров.''): вычислительная техника--математические основы--конференции
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания : 510/K18
Автор(ы) : Kamareddine F., Nederpelt R., Laan T.
Заглавие : A modern perspective on type theory [Electronic resource] : from its origins until today
Выходные данные : Dordrecht : Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: Applied logic series, ISSN 1386-2790; 29
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4020-2335-4: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 510 + 004.422.6
Предметные рубрики: Математическая логика
Теория типов
Программирования языки-- Теория
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания : 004.738.2-047.58/N47-448169
Заглавие : Network analysis [Electronic resource] : methodological foundations
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3418
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31955-9: Б.ц.
ГРНТИ : 27.45.17 + 50.07.03
УДК : 519.17 + 004.02
Предметные рубрики: Графов теория-- Применение в вычислительной технике
Найти похожие
10.
Вид документа : Однотомное издание
Шифр издания : 004/N52-648741
Заглавие : New computational paradigms [Electronic resource] : changing conceptions of what is computable
Выходные данные : New York, NY : Springer Science + Business Media LLC, 2008
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-68546-5: Б.ц.
ГРНТИ : 50.07
УДК : 510.52
Предметные рубрики: Сложность вычислений
Найти похожие
11.
Вид документа : Монографическая серия
Шифр издания : 004.02/M39
Заглавие : Mathematical methods in computer science [Electronic resource] : essays in memory of Thomas Beth
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5393
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-89994-5: Б.ц.
ГРНТИ : 50.07
УДК : 004.02
Предметные рубрики: Вычислительная техника-- Математические методы
Найти похожие
12.
Вид документа : Однотомное издание
Шифр издания : 62-047.58(063)/M78
Заглавие : Modeling, simulation and optimization of complex processes [Electronic resource] : proceedings of the third International conference on high performance scientific computing, March 6-10, 2006, Hanoi, Vietnam
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-79409-7: Б.ц.
ГРНТИ : 28.17 + 27.47.19 + 50.07.05
УДК : 62-047.58(063) + 519.85(063) + 004.38.051(063)
Ключевые слова (''Своб.индексиров.''): сложные процессы--моделирование--оптимизация--высокопроизводительные вычисления--конференции
Найти похожие
13.
Вид документа : Однотомное издание
Шифр издания : 62-047.58(063)/M78
Заглавие : Modeling, simulation and optimization of complex processes [Electronic resource] : proceedings of the international conference on high performance scientific computing, March 10 - 14, 2003, Hanoi, Vietnam
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-27170-3: Б.ц.
ГРНТИ : 28.17 + 27.47.19 + 50.07.05
УДК : 62-047.58(063) + 519.85(063) + 004.38.051(063)
Ключевые слова (''Своб.индексиров.''): моделирование--оптимизация--сложные процессы--высокопроизводительные вычисления--математическое моделирование--численное моделирование--методы оптимизации--методы управления--параллельные вычисления--символьные вычисления--программное обеспечение--физика--химия--биология--механика--транспорт--логистика--сети связи--производственное календарное планирование
Найти похожие
14.
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: Алгебра логики
Вычислительная техника
Найти похожие
15.
Вид документа : Однотомное издание
Шифр издания : 004.38.051(063)/H65
Заглавие : High performance computing in science and engineering, Munich 2004 [Electronic resource] : transactions of the second joint HLRB and KONWIHR status and result workshop, March 2-3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-44326-6: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--наука--техника--конференции
Найти похожие
16.
Вид документа : Однотомное издание
Шифр издания : 004.38.051(063)/H65
Заглавие : High performance computing on vector systems [Electronic resource] : proceedings of the high performance computing center, Stuttgart, March 2005
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-35074-3: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063) + 004.272.25(063)
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--векторная обработка--конференции
Найти похожие
17.
Вид документа : Однотомное издание
Шифр издания : 004.38.051(063)/H65
Заглавие : High performance computing on vector systems 2006 [Electronic resource] : proceedings of the high performance computing center, Stuttgart, March 2006
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-68743-6: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063) + 004.272.25(063)
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--векторная обработка--конференции
Найти похожие
18.
Вид документа : Однотомное издание
Шифр издания : 004.38.051/H65-511992
Заглавие : High performance computing in science and engineering, Garching 2004 [Electronic resource] : transactions of the KONWIHR result workshop, October 14-15, 2004, Technical university of Munich, Garching, Germany
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-28555-7: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--наука--техника--конференции
Найти похожие
19.
Вид документа : Однотомное издание
Шифр издания : 004.38.051(063)/H65
Заглавие : High performance computing in science and engineering, garching/munich 2007 [Electronic resource] : transactions of the third joint HLRB and KONWIHR status and result workshop, Dec. 3–4, 2007, Leibniz supercomputing centre, Garching/Munich, Germany
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-69182-2: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--наука--техника--конференции
Найти похожие
20.
Вид документа : Однотомное издание
Шифр издания : 004.38.051(063)/H65
Заглавие : High performance computing in science and engineering, Garching/Munich 2009 [Electronic resource] : transactions of the fourth Joint HLRB and KONWIHR review and results workshop, Dec. 8-9, 2009, Leibniz supercomputing centre, Garching/Munich, Germany
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13872-0: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--наука--техника--конференции
Найти похожие
21.
Вид документа : Однотомное издание
Шифр издания : 004.38.051/H65
Заглавие : High performance computing on vector systems 2007 [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-74384-2: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051 + 004.272.25
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--векторная обработка
Найти похожие
22.
Вид документа : Монографическая серия
Шифр издания : 004.38.051(063)/H65
Заглавие : High-performance computing [Electronic resource] : 6th international symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, first international workshop on advanced low power systems, ALPS 2006 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4759
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-77704-5: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Предметные рубрики: Вычислительные машины-- Производительность-- Съезды и конференции
Найти похожие
23.
Вид документа : Монографическая серия
Шифр издания : 510(063)/H99-186383
Заглавие : Infinity in logic and computation [Electronic resource] : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5489
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-03092-5: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 510.285(063)
Ключевые слова (''Своб.индексиров.''): бесконечность--логика--вычисления--конференции
Найти похожие
24.
Вид документа : Монографическая серия
Шифр издания : 004.38.051(063)/L24
Заглавие : Languages and compilers for high performance computing [Electronic resource] : 17th international workshop, LCPC 2004 West Lafayette, In, USA, September 22-24, 2004 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3602
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31813-2: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Предметные рубрики: Вычислительные машины-- Производительность-- Съезды и конференции
Найти похожие
25.
Вид документа : Однотомное издание
Шифр издания : 004.38.051/H65
Заглавие : High performance computing on vector systems 2008 [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-85869-0: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051 + 004.272.25
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--векторная обработка данных
Найти похожие
26.
Вид документа : Однотомное издание
Шифр издания : 004.38.051/H65
Заглавие : High performance computing on vector systems 2009 [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-03913-3: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051 + 004.272.25
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--векторная обработка данных
Найти похожие
27.
Вид документа : Монографическая серия
Шифр издания : 004.62(063)/H65-142459
Заглавие : High performance computing г» hipc 2005 [Electronic resource] : 12th International conference, Goa, India, December 18-21, 2005: proceedings
Выходные данные : Berlin ; Heidelberg: Springer-Verlag, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3769
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-30936-9: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Предметные рубрики: Вычислительные машины-- Производительность-- Съезды и конференции
Найти похожие
28.
Вид документа : Однотомное издание
Шифр издания : 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
Ключевые слова (''Своб.индексиров.''): вычислительная техника--теоретические основы
Найти похожие
29.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
30.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)