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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Programming languages, compilers, interpreters<.>)
Общее количество найденных документов : 92
Показаны документы с 1 по 20
 1-20    21-40   41-60      
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)
Свободных экз. нет
Найти похожие
11.


   
    Central european functional programming school [Electronic resource] : Third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009: revised selected lectures / ed. Z. Horváth [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6299). - ISBN 978-3-642-17685-2 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Programming techniques
   Logics and meanings of programs
   Mathematical logic and formal languages
   Computer communication networks

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

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


   
    Compiler construction [Electronic resource] : 20th international conference, CC 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 / ed. J. Knoop. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6601). - ISBN 978-3-642-19861-8 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Programming techniques
   Mathematical logic and formal languages
   Computer communication networks
   Algorithm analysis and problem complexity

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

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


    Wilhelm, R.
    Compiler design [Electronic resource] : virtual machines / R. Wilhelm, H. Seidl. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2010. - ISBN 978-3-642-14909-2 : Б. ц.

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

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

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


   
    Computer performance engineering [Electronic resource] : 7th european performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings / eds. A. Aldini [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6342). - ISBN 978-3-642-15784-4 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information systems
   Computer science
   Software engineering
   Computer communication networks
   Logics and meanings of programs
   Information systems applications (incl.internet)
   Programming techniques
   Programming languages, compilers, interpreters

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

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


   
    Conceptual modeling – ER 2010 [Electronic resource] : 29th international conference on conceptual modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings / ed. J. Parsons [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6412). - ISBN 978-3-642-16373-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Artificial intelligence (incl. robotics)
   Software engineering/programming and operating systems

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

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


   
    Declarative agent languages and technologies VIII [Electronic resource] : 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / ed. A. Omicini [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6619). - ISBN 978-3-642-20715-0 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Models and principles
   Computer communication networks
   Software engineering
   Programming languages, compilers, interpreters
   Logics and meanings of programs

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

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


    Pilgrim, M.
    Dive into python 3 [Electronic resource] / M. Pilgrim. - Electronic text data. - Berkeley, Ca : Apress, 2009. - ISBN 978-1-430-22416-7 : Б. ц.

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

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

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


   
    Dynamically reconfigurable systems [Electronic resource] : architectures, design methods and applications / eds. M. Platzner [et al.]. - Electronic text data. - Dordrecht : Springer, 2010. - ISBN 978-90-481-3485-4 : Б. ц.

Рубрики: Engineering
   Computer science
   Systems engineering
   Engineering
   Circuits and systems
   Programming languages, compilers, interpreters
   Processor architectures

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

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


   
    Evaluation of novel approaches to software engineering [Electronic resource] : 3rd and 4th international conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009 : revised selected papers / ed. L. A. Maciaszek [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2010. - (Communications in computer and information science, ISSN 1865-0929 ; 69). - ISBN 978-3-642-14819-4 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information systems
   Information systems
   Computer science
   Software engineering
   Logics and meanings of programs
   Computer communication networks
   Programming languages, compilers, interpreters
   Information systems applications (incl.internet)
   Management of computing and information systems

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

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


    Kyte, T.
    Expert oracle database architecture [Electronic resource] : oracle database 9i, 10g, and 11gProgramming techniques and solutions / T. Kyte. - 2nd edition. - Electronic text data. - Berkeley, Ca : Apress, 2010. - ISBN 978-1-4302-2947-6 : Б. ц.

Рубрики: Computer science
   Computer system performance
   Computer science
   Programming techniques
   Programming languages, compilers, interpreters
   System performance and evaluation

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

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