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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6355
Вид и объем ресурса: Electronic text data
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
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6416
Вид и объем ресурса: Electronic text data
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
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6415
Вид и объем ресурса: Electronic text data
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
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Platzer A.
Заглавие : Logical analysis of hybrid systems [Electronic resource] : proving theorems for complex dynamics
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
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
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Logic, language and meaning [Electronic resource] : 17th Amsterdam colloquium, Amsterdam, the Netherlands, December 16-18, 2009 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6042
Вид и объем ресурса: Electronic text data
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
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6397
Вид и объем ресурса: Electronic text data
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
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Graph transformations [Electronic resource] : 5th international conference, ICGT 2010, Enschede, the Netherlands, September 27–October 2, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6372
Вид и объем ресурса: Electronic text data
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
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Foundational and practical aspects of resource analysis [Electronic resource] : first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6324
Вид и объем ресурса: Electronic text data
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
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Formal modeling and analysis of timed systems [Electronic resource] : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6246
Вид и объем ресурса: Electronic text data
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
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Integrated formal methods [Electronic resource] : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6396
Вид и объем ресурса: Electronic text data
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
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)