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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.05.13$<.>)
Общее количество найденных документов : 294
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Вид документа : Монографическая серия
Шифр издания : 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
Предметные рубрики: Программы для эвм-- Верификация
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания : 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
Ключевые слова (''Своб.индексиров.''): программирование для эвм логическое--итальянская ассоциация
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания : 004.42(063)/A10
Заглавие : A practical programming model for the multi-core era [Electronic resource] : 3rd International workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4935
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-69303-1: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42(063)
Предметные рубрики: Программирование для эвм-- Съезды и конференции
Найти похожие
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.42/A16-800372
Автор(ы) : Abts D.
Заглавие : Masterkurs Client/server- Programmierung mit Java [Electronic resource] : Anwendungen entwickeln mit JDBC, Sockets, XML-RPC, RMI und JMS - Kompakt und praxisnah - Zahlreiche Programmbeispiele und Aufgaben . -2., erweiterte und aktualisierte Auflage.
Выходные данные : Wiesbaden : Friedr. Vieweg & Sohn, 2007
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-8348-9180-8: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.451.83
Ключевые слова (''Своб.индексиров.''): программирование для эвм--язык программирования java--система клиент-сервер
Найти похожие
6.
Вид документа : Однотомное издание
Шифр издания : 004.451.83/A16
Автор(ы) : Abts D.
Заглавие : Masterkurs Client/Server-Programmierung mit Java [Electronic resource] : Anwendungen entwickeln mit Standard-Technologien: JDBC, UDP, TCP, HTTP, XML-RPC, RMI, JMS und JAX-WS . -3., erweiterte Aufl.
Выходные данные : Wiesbaden : Vieweg+Teubner Verlag, 2010
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-8348-9724-4: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.451.83
Ключевые слова (''Своб.индексиров.''): система клиент-сервер--программирование--программирования язык java
Найти похожие
7.
Вид документа : Однотомное издание
Шифр издания : 004.422.8/A20-282591
Автор(ы) : Addis T., Addis J.
Заглавие : DRAWING programs:by tom addis, jan addis.[electronic resource] /by Tom Addis, Jan Addis.by Tom Addis, Jan Addis.by Tom Addis, Jan Addis.by Tom Addis, Jan Addis.by Tom Addis, Jan Addis.by Tom Addis, Jan Addis.by Tom Addis, Jan Addis.by Tom Addis, Jan Addis. [Electronic resource]
Выходные данные : London : Springer-Verlag, 2010
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-84882-618-2: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.046
Ключевые слова (''Своб.индексиров.''): схематическое функциональное программирование--диаграммы--функциональные языки
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания : 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)
Ключевые слова (''Своб.индексиров.''): функциональное программирование для эвм--конференции
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Программирование для эвм функциональное-- Съезды и конференции
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Программное обеспечение эвм-- Проектирование-- Съезды и конференции
Программирование для эвм-- Съезды и конференции
Найти похожие
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] : 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)
Ключевые слова (''Своб.индексиров.''): программное обеспечение эвм--проектирование--конференции
Найти похожие
13.
Вид документа : Монографическая серия
Шифр издания : 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)
Ключевые слова (''Своб.индексиров.''): программное обеспечение--проектирование--программирование--конференции
Найти похожие
14.
Вид документа : Монографическая серия
Шифр издания : 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)
Ключевые слова (''Своб.индексиров.''): алгоритмы--программирование для эвм--структуры данных--конференции
Найти похожие
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(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)
Предметные рубрики: Алгоритмы-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
17.
Вид документа : Монографическая серия
Шифр издания : 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
Предметные рубрики: Программирования языки декларативные
Программы для эвм-- Спецификация
Программы для эвм-- Верификация
Найти похожие
18.
Вид документа : Однотомное издание
Шифр издания : 004.42:519.67/A57
Автор(ы) : Angus R.B., Hulbert T.E.
Заглавие : VEE pro: practical graphical programming [Electronic resource]
Выходные данные : London : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-846-28104-4: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42:519.67
Предметные рубрики: Программирование для ЭВМ графическое
Найти похожие
19.
Вид документа : Однотомное издание
Шифр издания : 004.41/A62
Автор(ы) : Anthony G.
Заглавие : Iterating infusion [Electronic resource] : clearer views of objects, classes, and systems
Выходные данные : Berkeley, Ca : Apress, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4302-0031-4: Б.ц.
ГРНТИ : 50.41 + 50.05.13
УДК : 004.41 + 004.42.045
Ключевые слова (''Своб.индексиров.''): программное обеспечение эвм--проектирование--программирование объектно-ориентированное
Найти похожие
20.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Управление знаниями-- Съезды и конференции
Программирование для ЭВМ декларативное-- Съезды и конференции
Найти похожие
21.
Вид документа : Монографическая серия
Шифр издания : 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)
Ключевые слова (''Своб.индексиров.''): программирование для эвм декларативное--управление знаниями--конференции
Найти похожие
22.
Вид документа : Монографическая серия
Шифр издания : 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)
Ключевые слова (''Своб.индексиров.''): программирование для эвм логическое--конференции
Найти похожие
23.
Вид документа : Однотомное издание
Шифр издания : 004.415.5/A67
Автор(ы) : Apt K., Boer F., Olderog E.
Заглавие : Verification of sequential and concurrent programs [Electronic resource] . -3rd extended ed.
Выходные данные : London : Springer-Verlag, 2009
Коллективы : SpringerLink (Online service)
Серия: Texts in computer science, ISSN 1868-0941
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-8488-2745-5: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.5
Ключевые слова (''Своб.индексиров.''): программы для эвм--верификация
Найти похожие
24.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
25.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
26.
Вид документа : Монографическая серия
Шифр издания : 519.713(063)/A94
Заглавие : Automata, languages and programming [Electronic resource] : 37th International colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010: proceedings: part 2
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6199
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14162-1: Б.ц.
ГРНТИ : 28.25 + 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] : 32nd international colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3580
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31691-6: Б.ц.
ГРНТИ : 28.25 + 50.05.09 + 50.05.13
УДК : 519.713(063) + 004.43(063) + 004.42(063)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
28.
Вид документа : Монографическая серия
Шифр издания : 519.713(063)/A94
Заглавие : Automata, languages and programming [Electronic resource] : 37th International colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010: proceedings: part 1
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6198
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14165-2: Б.ц.
ГРНТИ : 28.25 + 50.05.09 + 50.05.13
УДК : 519.713(063) + 004.43(063) + 004.42(063)
Ключевые слова (''Своб.индексиров.''): автоматов теория--программирования языки--программирование для эвм--конференции
Найти похожие
29.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для эвм-- Съезды и конференции
Найти похожие
30.
Вид документа : Монографическая серия
Шифр издания : 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)
Предметные рубрики: Автоматов теория-- Съезды и конференции
Программирования языки-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)