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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=004.02<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
004.02
E46


    Elleithy, K.
    Advanced techniques in computing sciences and software engineering [Electronic resource] / K. Elleithy. - Electronic text data. - Dordrecht : Springer, 2010. - ISBN 978-90-481-3660-5 : Б. ц.

ГРНТИ
УДК

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

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

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


    Moed, H.
    Citation analysis in research evaluation [Electronic resource] / H. Moed. - Electronic text data. - Dordrecht : Springer, 2005. - (Information science and knowledge management, ISSN 1568-1300 ; 9). - ISBN 978-1-4020-3713-9 : Б. ц.

ГРНТИ
УДК
Рубрики: Наука--Методология
   Информетрия


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

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.
51/M44-628699

    Mazzola, G.
    Comprehensive mathematics for computer scientists 1 [Electronic resource] : sets and numbers, graphs and algebra, logic and machines, linear geometry / G. Mazzola, G. Milmeister, J. Weissmann. - 2nd ed. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - ISBN 978-3-540-36874-8 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительная техника--Математические методы

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

Доп.точки доступа:
Milmeister, G.; Weissmann, J.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.
510.6(063)
C74


   
    Computation and logic in the real world [Electronic resource] : third conference on computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007: proceedings / ed. S. B. Cooper [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4497). - ISBN 978-3-540-73001-9 : Б. ц.

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

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

Доп.точки доступа:
Cooper, S.B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
5.
004.02
M39


   
    Mathematical methods in computer science [Electronic resource] : essays in memory of Thomas Beth / ed. J. Calmet. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5393). - ISBN 978-3-540-89994-5 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительная техника--Математические методы

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

Доп.точки доступа:
Calmet, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
6.
004.02
M78


   
    Modern formal methods and applications [Electronic resource] / ed. H. A. Gabbar. - Electronic text data. - Dordrecht : Springer, 2006. - ISBN 978-1-402-04223-2 : Б. ц.

ГРНТИ
УДК

Кл.слова (ненормированные):
формальные методы -- применение

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

Доп.точки доступа:
Gabbar, H.A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
7.
004.738.2-047.58/N47-448169

   
    Network analysis [Electronic resource] : methodological foundations / ed. : U. Brandes, T. Erlebach. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3418). - ISBN 978-3-540-31955-9 : Б. ц.

ГРНТИ
УДК
Рубрики: Графов теория--Применение в вычислительной технике

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

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

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)