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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=004-027.21<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.
Вид документа : Монографическая серия
Шифр издания : 519.85(063)/F95-522253
Заглавие : FSTTCS 2006: foundations of software technology and theoretical computer science [Electronic resource] : 26th international conference, Kolkata, India, December 13-15, 2006 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4337
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-49995-4: Б.ц.
ГРНТИ : 50.41 + 50.07
УДК : 004.41(063) + 004-027.21
Предметные рубрики: Программное обеспечение ЭВМ-- Проектирование-- Съезды и конференции
Вычислительная техника-- Съезды и конференции
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : 517/B78
Автор(ы) : Bornemann F.
Заглавие : Konkrete Analysis [Electronic resource] : fur Studierende der Informatik
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: eXamen.press, ISSN 1614-5216
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-70854-4: Б.ц.
ГРНТИ : 27.23 + 20
УДК : 517 + 004-027.21
Ключевые слова (''Своб.индексиров.''): конкретная математика--анализ--теоретическая информатика
Найти похожие
3.
Вид документа : Однотомное издание
Шифр издания : 004-027.21/M50
Автор(ы) : Meinel C., Mundhenk M.
Заглавие : Mathematische Grundlagen der Informatik [Electronic resource] : mathematisches Denken und Beweisen. Eine Einfuhrung . -4., uberarbeitete Aufl.
Выходные данные : Wiesbaden : Vieweg+Teubner, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-8348-9310-9: Б.ц.
ГРНТИ : 20.01.07
УДК : 004-027.21
Ключевые слова (''Своб.индексиров.''): информатика--математические основы
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания : 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
Ключевые слова (''Своб.индексиров.''): вычислительная техника--теоретические основы
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3838
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32425-6: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21
Предметные рубрики: Вычислительная техника
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания : 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
Предметные рубрики: Информатика теоретическая
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания : 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
Предметные рубрики: Вычислительная техника
Найти похожие
8.
Вид документа : Однотомное издание
Шифр издания : 004-027.21/E68
Автор(ы) : Erk K., Priese L.
Заглавие : Theoretische Informatik [Electronic resource] : eine umfassende Einfuhrung . -3., erweiterte Aufl.
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: eXamen.press, ISSN 1614-5216
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-76320-8: Б.ц.
ГРНТИ : 20.01.07
УДК : 004-027.21
Ключевые слова (''Своб.индексиров.''): информатика теоретическая
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)