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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Programming languages, compilers, interpreters<.>)
Общее количество найденных документов : 92
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Pilgrim M.
Заглавие : Dive into python 3 [Electronic resource]
Выходные данные : Berkeley, Ca : Apress, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-430-22416-7: Б.ц.
Предметные рубрики: Computer science
Computer science
Programming languages, compilers, interpreters
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6397
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16242-8: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Software engineering
Logics and meanings of programs
Mathematical logic and formal languages
Programming techniques
Programming languages, compilers, interpreters
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 16th International conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010: revised selected papers
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6355
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17511-4: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Programming techniques
Software engineering
Logics and meanings of programs
Mathematical logic and formal languages
Programming languages, compilers, interpreters
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания :
Автор(ы) : Petriu D.C., Rouquette N., Haugen Ø.
Заглавие : Model driven engineering languages and systems [Electronic resource] : 13th international conference, MODELS 2010, Oslo, Norway, October 3-8, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6395
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16129-2: Б.ц.
Предметные рубрики: Computer science
Computer network architectures
Software engineering
Information systems
Computer science
Software engineering
Programming techniques
Software engineering/programming and operating systems
Programming languages, compilers, interpreters
Computer system implementation
Management of computing and information systems
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Model driven engineering languages and systems [Electronic resource] : 13th international conference, MODELS 2010, Oslo, Norway, October 3-8, 2010 : proceedings : pt. I
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6394
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16145-2: Б.ц.
Предметные рубрики: Computer science
Computer network architectures
Software engineering
Information systems
Computer science
Software engineering
Programming techniques
Programming languages, compilers, interpreters
Computer system implementation
Management of computing and information systems
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Model checking software [Electronic resource] : 17th international SPIN workshop, Enschede, the Netherlands, September 27-29, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6349
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16164-3: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Computer science
Software engineering
Programming languages, compilers, interpreters
Logics and meanings of programs
Mathematical logic and formal languages
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Leveraging applications of formal methods, verification, and validation [Electronic resource] : 4th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings, pt. 2
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6416
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16561-0: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Data mining
Information systems
Computer science
Logics and meanings of programs
Software engineering
Programming languages, compilers, interpreters
Computer communication networks
Information systems applications (incl.internet)
Data mining and knowledge discovery
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Graph transformations and model-driven engineering [Electronic resource] : essays dedicated to Manfred Nagl on the occasion of his 65th birthday
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5765
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17322-6: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Computer communication networks
Programming techniques
Mathematical logic and formal languages
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Foundational and practical aspects of resource analysis [Electronic resource] : first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6324
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15331-0: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Computer software
Logic design
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Computer communication networks
Algorithm analysis and problem complexity
Programming techniques
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Formal modeling and analysis of timed systems [Electronic resource] : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6246
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15297-9: Б.ц.
Предметные рубрики: Computer science
Software engineering
Computer software
Logic design
Computer science
Logics and meanings of programs
Software engineering
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Programming techniques
Algorithm analysis and problem complexity
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)