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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Programming languages, compilers, interpreters<.>)
Общее количество найденных документов : 92
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Lee K.D.
Заглавие : Python programming fundamentals [Electronic resource]
Выходные данные : London : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Undergraduate topics in computer science, ISSN 1863-7310
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-84996-537-8: Б.ц.
Предметные рубрики: Computer science
Computer science
Programming languages, compilers, interpreters
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Recent advances in constraints [Electronic resource] : 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6384
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19486-3: Б.ц.
Предметные рубрики: Computer science
Computer software
Logic design
Algebra-- Data processing
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Logics and meanings of programs
Mathematical logic and formal languages
Programming languages, compilers, interpreters
Symbolic and algebraic manipulation
Algorithm analysis and problem complexity
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Programming languages and systems [Electronic resource] : 8th asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6461
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17164-2: Б.ц.
Предметные рубрики: Computer science
Software engineering
Data protection
Logic design
Computer science
Programming languages, compilers, interpreters
Software engineering
Logics and meanings of programs
Systems and data security
Programming techniques
Mathematical logic and formal languages
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Principles and practice of constraint programming – CP 2010 [Electronic resource] : 16th international conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010 : proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6308
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15396-9: Б.ц.
Предметные рубрики: Computer science
Computer software
Logic design
Artificial intelligence
Computer science
Algorithm analysis and problem complexity
Mathematical logic and formal languages
Logics and meanings of programs
Artificial intelligence (incl. robotics)
Programming languages, compilers, interpreters
Computation by abstract devices
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Programming languages and systems [Electronic resource] : 20th european symposium on programming, ESOP 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011 : proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6602
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19718-5: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Artificial intelligence
Computer science
Software engineering
Computer communication networks
Logics and meanings of programs
Programming techniques
Programming languages, compilers, interpreters
Artificial intelligence (incl. robotics)
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания :
Автор(ы) : Romanovsky A., Vardanega T.
Заглавие : Reliable software technologies - ada-europe 2011 [Electronic resource] : 16th ada-europe international conference on reliable software technologies, edinburgh, UK, June 20-24, 2011: proceedings
Выходные данные : Berlin; Heidelberg : Springer , 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6652
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21338-0: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Computer science
Programming languages, compilers, interpreters
Software engineering
Logics and meanings of programs
Computer communication networks
Programming techniques
Mathematical logic and formal languages
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : S-BPM one – setting the stage for subject-oriented business process management [Electronic resource] : first international workshop, Karlsruhe, Germany, October 22, 2009 : revised selected papers
Выходные данные : Berlin; Heidelberg: Springer-Verlag, 2010
Коллективы : SpringerLink (Online service)
Серия: Communications in computer and information science, ISSN 1865-0929; 85
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15915-2: Б.ц.
Предметные рубрики: Computer science
Software engineering
Data mining
Information systems
Computer science
Software engineering
Management of computing and information systems
Programming languages, compilers, interpreters
Programming techniques
Software engineering/programming and operating systems
Data mining and knowledge discovery
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Service research challenges and solutions for the future internet [Electronic resource] : S-Cube – Towards engineering, managing and adapting service-based systems
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6500
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17599-2: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Information systems
Artificial intelligence
Computer science
Information systems applications (incl.internet)
Computer communication networks
Software engineering
Logics and meanings of programs
Artificial intelligence (incl. robotics)
Programming languages, compilers, interpreters
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Runtime verification [Electronic resource] : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6418
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16612-9: Б.ц.
Предметные рубрики: Computer science
Software engineering
Computer software
Logic design
Computer science
Software engineering
Algorithm analysis and problem complexity
Logics and meanings of programs
Programming techniques
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Requirements engineering: foundation for software quality [Electronic resource] : 17th international working conference, REFSQ 2011, Essen, Germany, March 28-30, 2011 : proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6606
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19858-8: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Information systems
Information systems
Computer science
Software engineering
Computer communication networks
Information systems applications (incl.internet)
Management of computing and information systems
Computers and society
Programming languages, compilers, interpreters
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)