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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Programming languages, compilers, interpreters<.>)
Общее количество найденных документов : 92
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Advances in conceptual modeling – applications and challenges [Electronic resource] : ER 2010 workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010 : proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6413
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16385-2: Б.ц.
Предметные рубрики: Computer science
Software engineering
Database management
Information storage and retrieval systems
Information systems
Artificial intelligence
Computer science
Software engineering
Programming languages, compilers, interpreters
Artificial intelligence (incl. robotics)
Information systems applications (incl.internet)
Information storage and retrieval
Database management
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Agent-Oriented software engineering X [Electronic resource] : 10th International workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009: revised selected papers
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6038
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19208-1: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Artificial intelligence
Computer science
Software engineering
Artificial intelligence (incl. robotics)
Logics and meanings of programs
Programming techniques
Computer communication networks
Programming languages, compilers, interpreters
Найти похожие
3.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Alagar V., Periyasamy K.
Заглавие : Specification of software systems [Electronic resource] . -2nd edition.
Выходные данные : London : Springer-Verlag, 2011
Коллективы : SpringerLink (Online service)
Серия: Texts in computer science, ISSN 1868-0941
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-857-29277-3: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Computer science
Software engineering
Programming languages, compilers, interpreters
Logics and meanings of programs
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Algebraic methodology and software technology [Electronic resource] : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010: revised selected papers
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6486
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17796-5: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Artificial intelligence (incl. robotics)
Programming techniques
Найти похожие
5.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Allerhand M.
Заглавие : A tiny handbook of R [Electronic resource]
Выходные данные : Berlin; Heidelberg: Springer-Verlag, 2011
Коллективы : SpringerLink (Online service)
Серия: SpringerBriefs in statistics
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17980-8: Б.ц.
Предметные рубрики: Statistics
Computer science
Computer software
Mathematical statistics
Statistics
Statistics and computing/statistics programs
Programming languages, compilers, interpreters
Mathematical software
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Applications and theory of petri nets [Electronic resource] : 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011: proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6709
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21834-7: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Computer science
Computation by abstract devices
Software engineering
Logics and meanings of programs
Programming techniques
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Architecting dependable systems VII [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer-Verlag, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6420
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17245-8: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Computer science
Software engineering
Programming languages, compilers, interpreters
Programming techniques
Logics and meanings of programs
Software engineering/programming and operating systems
Models and principles
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated reasoning for security protocol analysis and issues in the theory of security [Electronic resource] : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010 : revised selected papers
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6186
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16074-5: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Data encryption (computer science)
Computer software
Computer science
Data encryption
Computer communication networks
Computers and society
Algorithm analysis and problem complexity
Software engineering
Programming languages, compilers, interpreters
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated technology for verification and analysis [Electronic resource] : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6252
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15643-4: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Computer science
Software engineering
Programming techniques
Computer communication networks
Logics and meanings of programs
Programming languages, compilers, interpreters
Software engineering/programming and operating systems
Найти похожие
10.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Brooks D.R.
Заглавие : Guide to HTML, JavaScript and PHP [Electronic resource] : for scientists and engineers
Выходные данные : London : Springer, 2011
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-85729-449-4: Б.ц.
Предметные рубрики: Computer science
Computer science
Programming techniques
Programming languages, compilers, interpreters
User interfaces and human computer interaction
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)