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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Programming languages, compilers, interpreters<.>)
Общее количество найденных документов : 92
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.


    Nash, T.
    Accelerated C# 2010 [Electronic resource] / T. Nash. - Electronic text data. - Berkeley, Ca : Apress, 2010. - ISBN 978-1-430-22538-6 : Б. ц.

Рубрики: Computer science
   Computer science
   Programming languages, compilers, interpreters

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
2.


   
    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 / ed. J. Trujillo [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6413). - 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

См. : Текст издания

Доп.точки доступа:
Trujillo, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.


   
    Agent-Oriented software engineering X [Electronic resource] : 10th International workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009: revised selected papers / eds. M. Gleizes, J. J. Gomez-Sanz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6038). - 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

См. : Текст издания

Доп.точки доступа:
Gleizes, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.


   
    Algebraic methodology and software technology [Electronic resource] : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010: revised selected papers / eds. M. Johnson, D. Pavlovic. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6486). - 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

См. : Текст издания

Доп.точки доступа:
Johnson, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
5.


   
    Applications and theory of petri nets [Electronic resource] : 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011: proceedings / eds. L. M. Kristensen, L. Petrucci. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6709). - 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

См. : Текст издания

Доп.точки доступа:
Kristensen, L.M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
6.


   
    Architecting dependable systems VII [Electronic resource] / ed. A. Casimiro [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6420). - 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

См. : Текст издания

Доп.точки доступа:
Casimiro, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
7.


   
    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 / eds.: A. Armando, G. Lowe. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6186). - 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

См. : Текст издания

Доп.точки доступа:
Armando, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
8.


   
    Automated technology for verification and analysis [Electronic resource] : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings / eds. A. Bouajjani, W. Chin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6252). - 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

См. : Текст издания

Доп.точки доступа:
Bouajjani, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
9.


    Collins, M. J.
    Beginning WF [Electronic resource] : Windows workflow in .NET 4.0 / M. J. Collins. - Electronic text data. - Berkeley, Ca : Apress, 2010. - ISBN 978-1-430-22486-0 : Б. ц.

Рубрики: Computer science
   Computer science
   Programming languages, compilers, interpreters

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
10.


   
    Business process management [Electronic resource] : 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010 : proceedings / eds. R. Hull [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6336). - ISBN 978-3-642-15618-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Logic design
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Algorithm analysis and problem complexity
   Models and principles

См. : Текст издания

Доп.точки доступа:
Hull, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)