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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.05.13$<.>)
Общее количество найденных документов : 294
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Вид документа : Монографическая серия
Шифр издания : 004.42.045(063)/E20
Заглавие : ECOOP - 87 european conference on object-oriented programming [Electronic resource] : Paris, France, June 15-17, 1987 Proceedings
Выходные данные : Berlin; Heidelberg: Springer-Verlag, 1987
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 276
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-47891-1: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.045(063)
Ключевые слова (''Своб.индексиров.''): программирование для эвм объектно-ориентированное--конференции
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания : 004.42.045(063)/E20
Заглавие : ECOOP - 87 european conference on object-oriented programming [Electronic resource] : Paris, France, June 15-17, 1987: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 1987
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 276
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-47891-4: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.045(063)
Ключевые слова (''Своб.индексиров.''): программирование для эвм объектно-ориентированное--конференции
Найти похожие
3.
Вид документа : Журнал
Шифр издания : У2870
Заглавие : RSDN Magazine : Журн.
Параллельн. заглавия :Russian Software Developer Network
Выходные данные : М.: Изд-во "Оптим. Ру", 2002 (Москва)
Разночтения заглавия :Загл. обл.: RSDN Magazine: Российский журнал для программистов
Примечания : До 2005 г. в подзаг.: Практика программирования
ISSN: 02346621
ГРНТИ : 50.05.13
УДК : 004.42
Ключевые слова (''Своб.индексиров.''): кибернетика--программирование, компьютерных, систем
Зарегистрированы поступления :
2006г. экз.3; (НТО-3) N :Прил.к N1-N3;
2006г. экз.1; (ФМЗ) N :1-3;
2005г. экз.3; (НТО-3) N :Прил.к N1-N5;
2005г. экз.1; (ФМЗ) N :1-5;
2004г. экз.3; (НТО-3) N :Прил.к N2-N6;
2004г. экз.1; (ФМЗ) N :1-6;
2003г. экз.3; (НТО-3) N :Прил.к NОД1,Прил.к NОД3,Прил.к N2,Прил.к N4-N6;
2003г. экз.2; (ХР) N :1,3;
2003г. экз.1; (ФМЗ) N :1-6;
2002г. экз.2; (ХР) N :0;
2002г. экз.1; (ФМЗ) N :0,2,Прил.к NОД2
Издание можно найти в:
ФМЗ; ХР; НТО-3;
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания : 004.42.047(063)/H99
Заглавие : Inductive logic programming [Electronic resource] : 15th international conference, ILP 2005 Bonn, Germany, August 10-13, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3625
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31851-4: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.047(063)
Предметные рубрики: Программирование для эвм логическое-- Съезды и конференции
Найти похожие
5.
Вид документа : Однотомное издание
Шифр издания : 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
Ключевые слова (''Своб.индексиров.''): программное обеспечение эвм--проектирование--программирование объектно-ориентированное
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания : 004.42/G36
Заглавие : Genetic programming theory and practice ii [Electronic resource]
Выходные данные : Boston, Ma: Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: Genetic programming, ISSN 1566-7863 ; 8
Вид и объем ресурса: Electronic text data
ISBN, Цена 0-387-23253-2: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42
Предметные рубрики: Генетическое программирование
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания : 004.42/G36
Автор(ы) : Koza J., Keane M., Lanza G., Mydlowec W., Streeter M.
Заглавие : Genetic programming iv [Electronic resource] : routine human-competitive machine intelligence
Выходные данные : Boston, Ma: Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: Genetic programming series, ISSN 1566-7863 ; 5
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-26417-2: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42
Предметные рубрики: Генетическое программирование
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания : 004.42(063)/L85
Заглавие : Logic based program synthesis and transformation [Electronic resource] : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004: revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3573
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31683-1: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42(063)
Предметные рубрики: Программирование для ЭВМ-- Съезды и конференции
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/L85-446688
Заглавие : Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 11th International conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3452
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32275-7: Б.ц.
ГРНТИ : 27.03.19 + 50.05.13 + 28.23
УДК : 510(063) + 004.42(063) + 004.8(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/L85-251982
Заглавие : Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3835
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31650-3: Б.ц.
ГРНТИ : 27.03.19 + 50.05.13 + 28.23
УДК : 510(063) + 004.42(063) + 004.8(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
11.
Вид документа : Однотомное издание
Шифр издания : 004.42.046(063)/L85-154097
Заглавие : Logic programming and nonmonotonic reasoning [Electronic resource] : 8th international conference, LPNMR 2005 Diamante, Italy, September 5-8, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3662
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31827-9: Б.ц.
ГРНТИ : 50.05.13 + 28.23.20
УДК : 004.42.047(063) + 004.83(063)
Предметные рубрики: Программирование для эвм логическое-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
12.
Вид документа : Монографическая серия
Шифр издания : 004.42.047(063)/L85
Заглавие : Logic programming [Electronic resource] : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3668
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31947-4: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.047(063)
Предметные рубрики: Программирование для эвм логическое-- Съезды и конференции
Найти похожие
13.
Вид документа : Монографическая серия
Шифр издания : 004.415.5(063)/C74
Заглавие : Computer aided verification [Electronic resource] : 17th international conference, CAV 2005 Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3576
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31686-2: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.5(063)
Предметные рубрики: Программы для ЭВМ-- Верификация-- Съезды и конференции
Найти похожие
14.
Вид документа : Однотомное издание
Шифр издания : 004.42/Z91
Автор(ы) : Zukowski J.
Заглавие : The definitive guide to java swing [Electronic resource] . -3rd ed.
Выходные данные : Berkeley, Ca : Apress, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-430-20033-8: Б.ц.
ГРНТИ : 50.05.13 + 50.05.09
УДК : 004.42 + 004.438
Ключевые слова (''Своб.индексиров.''): программирование для эвм--программирования язык java
Найти похожие
15.
Вид документа : Однотомное издание
Шифр издания : 004.42.045/B38
Автор(ы) : Maharry D., Huddleston J., Reid J., Pedersen J.H., Gilani S.F., Allen S.
Заглавие : Beginning VB .NET 1.1 databases [Electronic resource] : from novice to professional
Выходные данные : Berkeley, Ca : Apress, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-430-20010-9: Б.ц.
ГРНТИ : 50.05.13 + 20.23.21
УДК : 004.42.045 + 004.65
Ключевые слова (''Своб.индексиров.''): программирование для эвм--базы данных
Найти похожие
16.
Вид документа : Однотомное издание
Шифр издания : 004.42:004.738.52/B38
Автор(ы) : Cazzulino D., Hart C., Greenwood J., Aprea V.G.
Заглавие : Beginning visual web programming in VB .NET [Electronic resource] : from novice to professional
Выходные данные : Berkeley, Ca : Apress, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-430-20012-3: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42:004.738.52
Ключевые слова (''Своб.индексиров.''): веб-программирование
Найти похожие
17.
Вид документа : Монографическая серия
Шифр издания : 004.42.045(063)/E20
Заглавие : ECOOP 2005 - object-oriented programming [Electronic resource] : 19th european conference, Glasgow, UK, July 25-29, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3586
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31725-8: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.045(063)
Предметные рубрики: Программирование для ЭВМ-- Съезды и конференции
Найти похожие
18.
Вид документа : Монографическая серия
Шифр издания : 004.41(063)/G36-032317
Заглавие : Generative programming and component engineering [Electronic resource] : 4th international conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3676
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31977-1: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42(063)
Предметные рубрики: Программирование для эвм-- Съезды и конференции
Найти похожие
19.
Вид документа : Монографическая серия
Шифр издания : 004.42(063)/G36
Заглавие : Genetic programming [Electronic resource] : 8th European conference, EuroGP 2005, Lausanne, Switzerland, March 30 – April 1, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3447
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31989-4: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42(063)
Предметные рубрики: Генетическое программирование-- Съезды и конференции
Найти похожие
20.
Вид документа : Однотомное издание
Шифр издания : 004.42.045/K89
Автор(ы) : Kuchlin W., Weber A.
Заглавие : Einfuhrung in die informatik [Electronic resource] : Objektorientiert mit Java . -3., uberarbeitete Auflage
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: eXamen.press, ISSN 1614-5216
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-26895-6: Б.ц.
ГРНТИ : 50.05.13 + 50.05.09
УДК : 004.42.045 + 004.438
Ключевые слова (''Своб.индексиров.''): объектно-ориентированное программирование--языки программирования--java
Найти похожие
21.
Вид документа : Монографическая серия
Шифр издания : 004.8(063)/F94-923439
Заглавие : Frontiers of combining systems [Electronic resource] : 5th international workshop, FroCoS 2005, Vienna Austria, September 19-21, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3717
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31730-2: Б.ц.
ГРНТИ : 27.03.19 + 50.05.13
УДК : 510(063) + 004.8(063) + 004.42(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Найти похожие
22.
Вид документа : Однотомное издание
Шифр издания : 004.42.047/B84
Автор(ы) : Bramer M.
Заглавие : Logic programming with prolog [Electronic resource]
Выходные данные : London , 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 1-84628-212-8: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.047
Предметные рубрики: Программирование для эвм логическое
Найти похожие
23.
Вид документа : Монографическая серия
Шифр издания : 004.415.28(063)/R31
Заглавие : Recent trends in algebraic development techniques [Electronic resource] : 17th International workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004: revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3423
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31959-7: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.28(063)
Предметные рубрики: Программы для ЭВМ-- Спецификация-- Съезды и конференции
Найти похожие
24.
Вид документа : Однотомное издание
Шифр издания : 004.7.052/G59-494602
Автор(ы) : Gokhale M., Graham P.S.
Заглавие : Reconfigurable computing [Electronic resource] : accelerating computation with field-programmable gate arrays
Выходные данные : Boston, Ma : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-26106-5: Б.ц.
ГРНТИ : 50.33.03 + 50.05.13
УДК : 004.2 + 004.42
Предметные рубрики: Вычислительные машины-- Архитектура
Программирование для ЭВМ
Найти похожие
25.
Вид документа : Монографическая серия
Шифр издания : 004.42.047(063)/R31
Заглавие : Recent advances in constraints [Electronic resource] : joint ERCIM/CoLogNet International workshop on constraint solving and constraint logic programming,CSCLP2004, Lausanne, Switzerland, June 23-25, 2004: revised selected and invited papers
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3419
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32252-8: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42.047(063)
Предметные рубрики: Программирование для ЭВМ логическое-- Съезды и конференции
Найти похожие
26.
Вид документа : Однотомное издание
Шифр издания : 004.42/S78
Автор(ы) : Spell B.
Заглавие : Pro Java programming [Electronic resource] . -2nd ed.
Выходные данные : Berkeley, Ca : Apress, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4302-0032-1: Б.ц.
ГРНТИ : 50.05.13 + 50.05.09
УДК : 004.42 + 004.438
Ключевые слова (''Своб.индексиров.''): программирование для эвм--программирования язык java
Найти похожие
27.
Вид документа : Однотомное издание
Шифр издания : 004.416.2/F72
Автор(ы) : Foley R., Lester A.
Заглавие : Pro perl debugging [Electronic resource] : from professional to expert
Выходные данные : Berkeley, Ca : Apress, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-430-20044-4: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.416.2
Ключевые слова (''Своб.индексиров.''): программы для эвм--отладка
Найти похожие
28.
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: Программирование для ЭВМ графическое
Найти похожие
29.
Вид документа : Монографическая серия
Шифр издания : 004.415.5(063)/C85
Автор(ы) : Cousot R.
Заглавие : Verification, model checking, and abstract interpretation [Electronic resource] : 6th International conference, VMCAI 2005, Paris, France, January 17-19,2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3385
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-30579-8: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.5(063)
Предметные рубрики: Программы для ЭВМ-- Верификация-- Съезды и конференции
Найти похожие
30.
Вид документа : Монографическая серия
Шифр издания : 004.42(063)/U50
Заглавие : Unconventional programming paradigms [Electronic resource] : international workshop UPP 2004 Le Mont Saint Michel, France, September 15-17, 2004 : revised selected and invited papers
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3566
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31482-0: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.42(063)
Предметные рубрики: Программирование для ЭВМ-- Съезды и конференции
Найти похожие
 1-30    31-60   61-90      

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