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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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
Выходные данные : Berkeley, Ca : Apress, 2006
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-430-20163-2: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.53
Ключевые слова (''Своб.индексиров.''): программное обеспечение эвм--тестирование
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания : 004.415.5
Заглавие : 25 years of model checking [Electronic resource] : history, achievements, perspectives
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5000
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-69850-0: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.5
Предметные рубрики: Программы для эвм-- Верификация
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания : 004.42.047/A10
Заглавие : A 25-year perspective on logic programming [Electronic resource] : achievements of the Italian Association for Logic Programming, GULP
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6125
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14309-0: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.047
Ключевые слова (''Своб.индексиров.''): программирование для эвм логическое--итальянская ассоциация
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания : 004.42/A16-229864
Заглавие : Abstraction, refinement and proof for probabilistic systems [Electronic resource]
Выходные данные : New York, Ny: Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: Monographs in computer science, ISSN 0172-603X
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-27006-7: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.5
Предметные рубрики: Программы для ЭВМ-- Верификация
Найти похожие
5.
Вид документа : Однотомное издание
Шифр издания : 004.415.5/P78
Автор(ы) : Poernomo I., Crossley J., Wirsing M.
Заглавие : Adapting proofs-as-programs [Electronic resource] : the curry-howard protocol
Выходные данные : New York, NY : Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: Monographs in computer science, ISSN 0172-603X
Вид и объем ресурса: Electronic text data
ISBN, Цена 0-387-28183-5: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.5 + 004.42.046
Предметные рубрики: Программы для ЭВМ-- Верификация
Программирование для ЭВМ функциональное
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания : 004.42.046(063)/A22
Заглавие : Advanced functional programming [Electronic resource] : 6th international school, AFP 2008, Heijen, the Netherlands, May 2008 : revised lectures
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5832
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-04652-0: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.046(063)
Ключевые слова (''Своб.индексиров.''): функциональное программирование для эвм--конференции
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания : 004.42.046(063)/A22
Заглавие : Advanced functional programming [Electronic resource] : 5th international school, AFP 2004 Tartu, Estonia, August 14 – 21, 2004 : revised lectures
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3622
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31872-9: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.046(063)
Предметные рубрики: Программирование для эвм функциональное-- Съезды и конференции
Найти похожие
8.
Вид документа : Однотомное издание
Шифр издания : 004.438/K17
Автор(ы) : Kalicharan N.
Заглавие : Advanced topics in C. Core concepts in data structures [Electronic resource] : монография
Выходные данные : New York, NY [etc.]: Apress, 2013
Колич.характеристики : on-line
Вид и объем ресурса: Electronic text data
Примечания : Загл. с экрана
ISBN, Цена 978-1-4302-6401-9: Б.ц.
ГРНТИ : 50.05.09 + 50.05.13
УДК : 004.438 + 004.422.63
Ключевые слова (''Своб.индексиров.''): программирования язык c--программирование--структуры данных
Экземпляры :ИнТех(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
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in business information processing, ISSN 1865-1348; 31
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-01853-4: Б.ц.
ГРНТИ : 50.41 + 50.05.13
УДК : 004.41(063) + 004.42(063)
Ключевые слова (''Своб.индексиров.''): программное обеспечение эвм--проектирование--конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in business information processing, ISSN 1865-1348; 48
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13054-0: Б.ц.
ГРНТИ : 50.41 + 50.05.13
УДК : 004.41(063) + 004.42(063)
Ключевые слова (''Своб.индексиров.''): программное обеспечение--проектирование--программирование--конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in business information processing, ISSN 1865-1348 ; 9
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-68255-4: Б.ц.
ГРНТИ : 50.41 + 50.05.13
УДК : 004.41(063) + 004.42(063)
Предметные рубрики: Программное обеспечение ЭВМ-- Проектирование-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4536
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73101-6: Б.ц.
ГРНТИ : 50.41 + 50.05.13
УДК : 004.41(063) + 004.42(063)
Предметные рубрики: Программное обеспечение эвм-- Проектирование-- Съезды и конференции
Программирование для эвм-- Съезды и конференции
Найти похожие
13.
Вид документа : Монографическая серия
Шифр издания : 004.421(063)/A35
Заглавие : Algorithms and data structures [Electronic resource] : 11th international symposium, WADS 2009, Banff, Canada, August 21-23, 2009 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5664
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-03367-4: Б.ц.
ГРНТИ : 28.25.23 + 50.05.13
УДК : 004.421(063) + 004.422.63(063)
Ключевые слова (''Своб.индексиров.''): алгоритмы--программирование для эвм--структуры данных--конференции
Найти похожие
14.
Вид документа : Монографическая серия
Шифр издания : 004.421(063)/A35
Заглавие : Algorithms and data structures [Electronic resource] : 9th international workshop, WADS 2005 Waterloo, Canada, August 15-17, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3608
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31711-1: Б.ц.
ГРНТИ : 28.25.23 + 50.05.13
УДК : 004.421(063) + 004.42(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
15.
Вид документа : Монографическая серия
Шифр издания : 004.421(063)/A35
Заглавие : Algorithms and data structures [Electronic resource] : 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4619
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54073-951-7: Б.ц.
ГРНТИ : 28.25.23 + 50.05.13
УДК : 004.421(063) + 004.422.63(063)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Программирование для ЭВМ-- Организация данных-- Съезды и конференции
Найти похожие
16.
Вид документа : Однотомное издание
Шифр издания : 004.421/M49
Автор(ы) : Mehlhorn K., Sanders P.
Заглавие : Algorithms and data structures [Electronic resource] : the basic toolbox
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-77978-0: Б.ц.
ГРНТИ : 28.25.23 + 50.05.13
УДК : 004.421 + 004.42
Предметные рубрики: Алгоритмы
Программирование для ЭВМ
Найти похожие
17.
Вид документа : Однотомное издание
Шифр издания : 004.421/S53
Автор(ы) : Shen A.
Заглавие : Algorithms and programming [Electronic resource] : problems and solutions
Выходные данные : Boston, Ma : Birkhauser, 2008
Коллективы : SpringerLink (Online service)
Серия: Modern birkhauser classics
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-8176-4761-2: Б.ц.
ГРНТИ : 28.25.23 + 50.05.13
УДК : 004.421 + 004.42
Ключевые слова (''Своб.индексиров.''): алгоритмы--программирование--задачи--решения
Найти похожие
18.
Вид документа : Однотомное издание
Шифр издания : 004.421/S53
Автор(ы) : Shen A.
Заглавие : Algorithms and programming [Electronic resource] : problems and solutions . -2nd ed.
Выходные данные : New York, NY : Springer-Verlag, 2010
Коллективы : SpringerLink (Online service)
Серия: Springer undergraduate texts in mathematics and technology, ISSN 1867-5506
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4419-1748-5: Б.ц.
ГРНТИ : 28.25.23 + 50.05.13
УДК : 004.421 + 004.42
Ключевые слова (''Своб.индексиров.''): алгоритмы--программирование--задачи--решения
Найти похожие
19.
Вид документа : Монографическая серия
Шифр издания : 004.432.4/A38
Автор(ы) : Clavel M., DurГЎn F., Eker S., Lincoln P., MartГ­-Oliet N., Meseguer J.
Заглавие : All about maude - a high-performance logical framework [Electronic resource] : how to specify, program and verify systems in rewriting logic
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4350
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-71999-1: Б.ц.
ГРНТИ : 50.05.09 + 50.05.13
УДК : 004.432.4 + 004.415.28 + 004.415.5
Предметные рубрики: Программирования языки декларативные
Программы для эвм-- Спецификация
Программы для эвм-- Верификация
Найти похожие
20.
Вид документа : Однотомное издание
Шифр издания : 004.42:004.7/G71
Автор(ы) : Graba J.
Заглавие : An introduction to network programming with java [Electronic resource]
Выходные данные : London : Springer, 2006
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-84628-630-8: Б.ц.
ГРНТИ : 50.05.13 + 50.05.09
УДК : 004.42:004.7 + 004.438
Предметные рубрики: Программирование для вычислительных сетей
Программирования языки-- Java
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3392
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-35403-2124-8: Б.ц.
ГРНТИ : 06.81.23 + 50.05.13
УДК : 005.94(063) + 004.42(063)
Предметные рубрики: Управление знаниями-- Съезды и конференции
Программирование для ЭВМ декларативное-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5437
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-00675-3: Б.ц.
ГРНТИ : 50.05.13 + 06.81.23
УДК : 004.42(063) + 005.94(063)
Ключевые слова (''Своб.индексиров.''): программирование для эвм декларативное--управление знаниями--конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5812
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-11931-6: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.047(063)
Ключевые слова (''Своб.индексиров.''): программирование для эвм логическое--конференции
Найти похожие
24.
Вид документа : Монографическая серия
Шифр издания : 519.713(063)/A94
Заглавие : Automata, languages and programming [Electronic resource] : 34th international colloquium, ICALP 2007, WrocЕ‚aw, Poland, July 9-13, 2007 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4596
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73420-8: Б.ц.
ГРНТИ : 28.25 + 50.05.09 + 50.05.13
УДК : 519.713(063) + 004.43(063) + 004.42(063)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5125
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-70575-8: Б.ц.
ГРНТИ : 28.25 + 50.05.09 + 50.05.13
УДК : 519.713(063) + 004.43(063) + 004.42(063)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для эвм-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4051
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-35904-3: Б.ц.
ГРНТИ : 28.15 + 50.05.09 + 50.05.13
УДК : 519.713(063) + 004.43(063) + 004.42(063)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5555
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-02927-1: Б.ц.
ГРНТИ : 28.15 + 50.05.09 + 50.05.13
УДК : 519.713(063) + 004.43(063) + 004.42(063)
Ключевые слова (''Своб.индексиров.''): теория автоматов--языки программирования--программирование для эвм--конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5556
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-02930-1: Б.ц.
ГРНТИ : 28.15 + 50.05.09 + 50.05.13
УДК : 519.73(063) + 004.43(063) + 004.42(063)
Ключевые слова (''Своб.индексиров.''): теория автоматов--языки программирования--программирование для эвм--конференции
Найти похожие
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
Выходные данные : Berlin; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4052
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-35908-1: Б.ц.
ГРНТИ : 28.15 + 50.05.09 + 50.05.13
УДК : 519.713(063) + 004.43(063) + 004.42(063)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5126
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-70583-3: Б.ц.
ГРНТИ : 28.25 + 50.05.09 + 50.05.13
УДК : 519.743(063) + 004.43(063) + 004.42(043)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)