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

Базы данных


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

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


   
    Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 16th International conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010: revised selected papers / eds. E. M. Clarke, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6355). - ISBN 978-3-642-17511-4 : Б. ц.

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

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

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


   
    Leveraging applications of formal methods, verification, and validation [Electronic resource] : 4th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings, pt. 2 / ed. T. Margaria, B. Steffen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6416). - ISBN 978-3-642-16561-0 : Б. ц.

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

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

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


   
    Leveraging applications of formal methods, verification, and validation [Electronic resource] : 4th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings, pt. 1 / ed. T. Margaria, B. Steffen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6415). - ISBN 978-3-642-16558-0 : Б. ц.

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

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

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


    Platzer, A.
    Logical analysis of hybrid systems [Electronic resource] : proving theorems for complex dynamics / A. Platzer. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-14509-4 : Б. ц.

Рубрики: Computer science
   Logic design
   Artificial intelligence
   Computer science
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Mathematics of computing
   Logics and meanings of programs
   Control, robotics, mechatronics

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

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


   
    Logic, language and meaning [Electronic resource] : 17th Amsterdam colloquium, Amsterdam, the Netherlands, December 16-18, 2009 : revised selected papers / eds. M. Aloni [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6042). - ISBN 978-3-642-14287-1 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Algebra--Data processing
   Artificial intelligence
   Information systems
   Computer science
   Symbolic and algebraic manipulation
   Computer appl. in arts and humanities
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Logics and meanings of programs
   Software engineering

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

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


   
    Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / eds.: C. G. Fermüller, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6397). - ISBN 978-3-642-16242-8 : Б. ц.

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

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

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


   
    Graph transformations [Electronic resource] : 5th international conference, ICGT 2010, Enschede, the Netherlands, September 27–October 2, 2010 : proceedings / eds. H. Ehrig [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6372). - ISBN 978-3-642-15928-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data structures (computer science)
   Computer software
   Logic design
   Computational complexity
   Computer science
   Discrete mathematics in computer science
   Software engineering
   Data structures
   Logics and meanings of programs
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages

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

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


   
    Foundational and practical aspects of resource analysis [Electronic resource] : first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers / eds. M. Eekelen, O. Shkaravska. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6324). - ISBN 978-3-642-15331-0 : Б. ц.

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

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

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


   
    Formal modeling and analysis of timed systems [Electronic resource] : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / eds. K. Chatterjee, T. A. Henzinger. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6246). - ISBN 978-3-642-15297-9 : Б. ц.

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

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

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


   
    Integrated formal methods [Electronic resource] : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / eds.: D. Méry, S. Merz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6396). - ISBN 978-3-642-16265-7 : Б. ц.

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

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

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