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

Базы данных


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

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


   
    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)
Свободных экз. нет
Найти похожие
2.


   
    Algebraic informatics [Electronic resource] : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011: proceedings / ed. F. Winkler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6742). - ISBN 978-3-642-21493-6 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computational complexity
   Algebra--Data processing
   Computer science
   Logics and meanings of programs
   Mathematical logic and formal languages
   Symbolic and algebraic manipulation
   Software engineering
   Discrete mathematics in computer science
   Mathematics of computing

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

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


   
    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)
Свободных экз. нет
Найти похожие
4.


   
    Algorithmic learning theory [Electronic resource] : 21st international conference, ALT 2010, Canberra, Australia, October 6-8, 2010 : proceedings / eds. M. Hutter [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6331). - ISBN 978-3-642-16108-7 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Artificial intelligence
   Education
   Computer science
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Algorithm analysis and problem complexity
   Computation by abstract devices
   Logics and meanings of programs
   Computers and education

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

Доп.точки доступа:
Hutter, 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.


   
    Automata, languages and programming [Electronic resource] : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011: proceedings: part 2 / ed. L. Aceto [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6756). - ISBN 978-3-642-22012-8 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Logic design
   Computer science
   Logics and meanings of programs
   Software engineering
   Mathematical logic and formal languages
   Computer communication networks
   Algorithm analysis and problem complexity
   Computation by abstract devices

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

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


   
    Automated deduction in geometry [Electronic resource] : 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / ed. T. Sturm, C. Zengler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6301). - ISBN 978-3-642-21046-4 : Б. ц.

Рубрики: Computer science
   Logic design
   Computational complexity
   Artificial intelligence
   Computer graphics
   Discrete groups
   Computer science
   Artificial intelligence (incl. robotics)
   Computer graphics
   Mathematical logic and formal languages
   Logics and meanings of programs
   Discrete mathematics in computer science
   Convex and discrete geometry

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

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


   
    Automated reasoning with analytic tableaux and related methods [Electronic resource] : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings / eds. K. Brünnler, G. Metcalfe. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6793). - ISBN 978-3-642-22119-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Programming techniques
   Software engineering
   Logics and meanings of programs

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

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


   
    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)
Свободных экз. нет
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)