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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.05.13$<.>)
Общее количество найденных документов : 294
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
004.415.53
M44

    McCaffrey, J. D.
    .NET test automation recipes [Electronic resource] : a problem-solution approach / J. D. McCaffrey. - Electronic text data. - Berkeley, Ca : Apress, 2006. - ISBN 978-1-430-20163-2 : Б. ц.

ГРНТИ
50.05.13
УДК
004.415.53

Кл.слова (ненормированные):
программное обеспечение эвм -- тестирование

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

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

   
    25 years of model checking [Electronic resource] : history, achievements, perspectives / ed. O. Grumberg. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5000). - ISBN 978-3-540-69850-0 : Б. ц.

ГРНТИ
50.05.13
УДК
004.415.5
Рубрики: Программы для эвм--Верификация

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

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

   
    A 25-year perspective on logic programming [Electronic resource] : achievements of the Italian Association for Logic Programming, GULP / eds. A. Dovier, E. Pontelli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6125). - ISBN 978-3-642-14309-0 : Б. ц.

ГРНТИ
50.05.13
УДК
004.42.047

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

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

Доп.точки доступа:
Dovier, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.
004.42/A16-229864

   
    Abstraction, refinement and proof for probabilistic systems [Electronic resource] / ed. A. McIver, C. Morgan. - Electronic text data. - New York, Ny : Springer Science + Business Media Inc., 2005. - (Monographs in computer science, ISSN 0172-603X). - ISBN 978-0-387-27006-7 : Б. ц.

ГРНТИ
50.05.13
УДК
004.415.5
Рубрики: Программы для ЭВМ--Верификация

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

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

    Poernomo, I.
    Adapting proofs-as-programs [Electronic resource] : the curry-howard protocol / I. Poernomo, J. Crossley, M. Wirsing. - Electronic text data. - New York, NY : Springer Science + Business Media Inc., 2005. - (Monographs in computer science, ISSN 0172-603X). - ISBN 0-387-28183-5 : Б. ц.

ГРНТИ
50.05.13
УДК
004.415.5
004.42.046
Рубрики: Программы для ЭВМ--Верификация
   Программирование для ЭВМ функциональное

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

Доп.точки доступа:
Crossley, J.; Wirsing, M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
6.
004.42.046(063)
A22

   
    Advanced functional programming [Electronic resource] : 6th international school, AFP 2008, Heijen, the Netherlands, May 2008 : revised lectures / ed. P. Koopman [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5832). - ISBN 978-3-642-04652-0 : Б. ц.

ГРНТИ
50.05.13
УДК
004.42.046(063)

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

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

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

   
    Advanced functional programming [Electronic resource] : 5th international school, AFP 2004 Tartu, Estonia, August 14 – 21, 2004 : revised lectures / ed. V. Vene. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3622). - ISBN 978-3-540-31872-9 : Б. ц.

ГРНТИ
50.05.13
УДК
004.42.046(063)
Рубрики: Программирование для эвм функциональное--Съезды и конференции

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

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

    Kalicharan, N.
    Advanced topics in C. Core concepts in data structures [Electronic resource] : монография / N. Kalicharan. - Electronic text data. - New York, NY [etc.] : Apress, 2013. - on-line. - Загл. с экрана. - ISBN 978-1-4302-6401-9 : Б. ц.

ГРНТИ
50.05.09
50.05.13
УДК
004.438
004.422.63

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

См. : Текст издания
Экземпляры всего 1: ИнТех (1)
Свободны: ИнТех (1)
Найти похожие
9.
004.41(063)
A25

   
    Agile processes in software engineering and extreme programming [Electronic resource] : 10th international conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009 : proceedings / ed. P. Abrahamsson [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in business information processing, ISSN 1865-1348 ; 31). - ISBN 978-3-642-01853-4 : Б. ц.

ГРНТИ
50.41
50.05.13
УДК
004.41(063)
004.42(063)

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

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

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

   
    Agile processes in software engineering and extreme programming [Electronic resource] : 11th International conference, XP 2010, Trondheim, Norway, June 1-4, 2010 : proceedings / ed. A. Sillitti [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in business information processing, ISSN 1865-1348 ; 48). - ISBN 978-3-642-13054-0 : Б. ц.

ГРНТИ
50.41
50.05.13
УДК
004.41(063)
004.42(063)

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

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

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