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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.05.13$<.>)
Общее количество найденных документов : 294
Показаны документы с 1 по 30
 1-30    31-60   61-90      
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)
Свободных экз. нет
Найти похожие
11.
004.41(063)
A25

   
    Agile processes in software engineering and extreme programming [Electronic resource] : 9th international conference, XP 2008, Limerick, Ireland, June 10-14, 2008 : Proceedings / eds.: P. Abrahamsson [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in business information processing, ISSN 1865-1348 ; 9). - ISBN 978-3-540-68255-4 : Б. ц.

ГРНТИ
50.41
50.05.13
УДК
004.41(063)
004.42(063)
Рубрики: Программное обеспечение ЭВМ--Проектирование--Съезды и конференции
   Программирование для ЭВМ--Съезды и конференции

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

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

   
    Agile processes in software engineering and extreme programming [Electronic resource] : 8th International conference, XP 2007, Como, Italy, June 18-22, 2007: proceedings / ed. G. Concas. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4536). - ISBN 978-3-540-73101-6 : Б. ц.

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

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

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

   
    Algorithms and data structures [Electronic resource] : 11th international symposium, WADS 2009, Banff, Canada, August 21-23, 2009 : proceedings / ed. F. Dehne. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5664). - ISBN 978-3-642-03367-4 : Б. ц.

ГРНТИ
28.25.23
50.05.13
УДК
004.421(063)
004.422.63(063)

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

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

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

   
    Algorithms and data structures [Electronic resource] : 9th international workshop, WADS 2005 Waterloo, Canada, August 15-17, 2005 : proceedings / eds. F. Dehne [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3608). - ISBN 978-3-540-31711-1 : Б. ц.

ГРНТИ
28.25.23
50.05.13
УДК
004.421(063)
004.42(063)
Рубрики: Алгоритмы--Съезды и конференции
   Программирование для ЭВМ--Съезды и конференции

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

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

   
    Algorithms and data structures [Electronic resource] : 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings / ed. F. Dehne [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4619). - ISBN 978-3-54073-951-7 : Б. ц.

ГРНТИ
28.25.23
50.05.13
УДК
004.421(063)
004.422.63(063)
Рубрики: Алгоритмы--Съезды и конференции
   Программирование для ЭВМ--Организация данных--Съезды и конференции

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

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

    Mehlhorn, K.
    Algorithms and data structures [Electronic resource] : the basic toolbox / K. Mehlhorn, P. Sanders. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - ISBN 978-3-540-77978-0 : Б. ц.

ГРНТИ
28.25.23
50.05.13
УДК
004.421
004.42
Рубрики: Алгоритмы
   Программирование для ЭВМ

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

Доп.точки доступа:
Sanders, P.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
17.
004.421
S53

    Shen, A.
    Algorithms and programming [Electronic resource] : problems and solutions / A. Shen. - Electronic text data. - Boston, Ma : Birkhauser, 2008. - (Modern birkhauser classics). - ISBN 978-0-8176-4761-2 : Б. ц.

ГРНТИ
28.25.23
50.05.13
УДК
004.421
004.42

Кл.слова (ненормированные):
алгоритмы -- программирование -- задачи -- решения

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

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

    Shen, A.
    Algorithms and programming [Electronic resource] : problems and solutions / A. Shen. - 2nd ed. - Electronic text data. - New York, NY : Springer-Verlag, 2010. - (Springer undergraduate texts in mathematics and technology, ISSN 1867-5506). - ISBN 978-1-4419-1748-5 : Б. ц.

ГРНТИ
28.25.23
50.05.13
УДК
004.421
004.42

Кл.слова (ненормированные):
алгоритмы -- программирование -- задачи -- решения

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

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

   
    All about maude - a high-performance logical framework [Electronic resource] : how to specify, program and verify systems in rewriting logic / M. Clavel [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4350). - ISBN 978-3-540-71999-1 : Б. ц.

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

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

Доп.точки доступа:
Clavel, M.; DurГЎn, F.; Eker, S.; Lincoln, P.; MartГ­-Oliet, N.; Meseguer, J.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
20.
004.42:004.7
G71

    Graba, J.
    An introduction to network programming with java [Electronic resource] / J. Graba. - Electronic text data. - London : Springer, 2006. - ISBN 978-1-84628-630-8 : Б. ц.

ГРНТИ
50.05.13
50.05.09
УДК
004.42:004.7
004.438
Рубрики: Программирование для вычислительных сетей
   Программирования языки--Java

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

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
21.
004.42(063)/A67-023239

   
    Applications of declarative programming and knowledge management [Electronic resource] : 15th International conference..., INAP 2004 and 18th Workshop on logic programming, WLP 2004, Potsdam, Germany, March 4-6, 2004: revised selected papers / SpringerLink (Online service) ; ed. D. Seipel [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3392). - ISBN 978-35403-2124-8 : Б. ц.

ГРНТИ
06.81.23
50.05.13
УДК
005.94(063)
004.42(063)
Рубрики: Управление знаниями--Съезды и конференции
   Программирование для ЭВМ декларативное--Съезды и конференции

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

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

   
    Applications of declarative programming and knowledge management [Electronic resource] : 17th international conference, INAP 2007, and 21st workshop on logic programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 : revised selected papers / eds. D. Hutchison [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5437). - ISBN 978-3-642-00675-3 : Б. ц.

ГРНТИ
50.05.13
06.81.23
УДК
004.42(063)
005.94(063)

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

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

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

   
    Approaches and applications of inductive programming [Electronic resource] : third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers / ed. U. Schmid [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5812). - ISBN 978-3-642-11931-6 : Б. ц.

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

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

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

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

   
    Automata, languages and programming [Electronic resource] : 34th international colloquium, ICALP 2007, WrocЕ‚aw, Poland, July 9-13, 2007 : proceedings / ed. L. Arge [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4596). - ISBN 978-3-540-73420-8 : Б. ц.

ГРНТИ
28.25
50.05.09
50.05.13
УДК
519.713(063)
004.43(063)
004.42(063)
Рубрики: Автоматов теория--Съезды и конференции
   Программирования языки--Съезды и конференции
   Программирование для ЭВМ--Съезды и конференции

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

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

   
    Automata, languages and programming [Electronic resource] : 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008: proceedings, part 1 / ed. L. Aceto. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5125). - ISBN 978-3-540-70575-8 : Б. ц.

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

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

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

   
    Automata, languages and programming [Electronic resource] : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings : part 1 / ed.: M. Bugliesi [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4051). - ISBN 978-3-540-35904-3 : Б. ц.

ГРНТИ
28.15
50.05.09
50.05.13
УДК
519.713(063)
004.43(063)
004.42(063)
Рубрики: Автоматов теория--Съезды и конференции
   Программирования языки--Съезды и конференции
   Программирование для ЭВМ--Съезды и конференции

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

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

   
    Automata, languages and programming [Electronic resource] : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings, part 1 / ed. S. Albers. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5555). - ISBN 978-3-642-02927-1 : Б. ц.

ГРНТИ
28.15
50.05.09
50.05.13
УДК
519.713(063)
004.43(063)
004.42(063)

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

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

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

   
    Automata, languages and programming [Electronic resource] : 36th internatilonal collogquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings, part 2 / ed. S. Albers. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5556). - ISBN 978-3-642-02930-1 : Б. ц.

ГРНТИ
28.15
50.05.09
50.05.13
УДК
519.73(063)
004.43(063)
004.42(063)

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

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

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

   
    Automata, languages and programming [Electronic resource] : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings : part 2 / ed.: M. Bugliesi [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4052). - ISBN 978-3-540-35908-1 : Б. ц.

ГРНТИ
28.15
50.05.09
50.05.13
УДК
519.713(063)
004.43(063)
004.42(063)
Рубрики: Автоматов теория--Съезды и конференции
   Программирования языки--Съезды и конференции
   Программирование для ЭВМ--Съезды и конференции

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

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

   
    Automata, languages and programming [Electronic resource] : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings : part 2 / eds. D. Hutchison [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5126). - ISBN 978-3-540-70583-3 : Б. ц.

ГРНТИ
28.25
50.05.09
50.05.13
УДК
519.743(063)
004.43(063)
004.42(043)
Рубрики: Автоматов теория--Съезды и конференции
   Программирования языки--Съезды и конференции
   Программирование для ЭВМ--Съезды и конференции

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

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