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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6038
Вид и объем ресурса: Electronic text data
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
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Algebraic informatics [Electronic resource] : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011: proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6742
Вид и объем ресурса: Electronic text data
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
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Algebraic methodology and software technology [Electronic resource] : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010: revised selected papers
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6486
Вид и объем ресурса: Electronic text data
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
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Algorithmic learning theory [Electronic resource] : 21st international conference, ALT 2010, Canberra, Australia, October 6-8, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6331
Вид и объем ресурса: Electronic text data
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
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Applications and theory of petri nets [Electronic resource] : 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011: proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6709
Вид и объем ресурса: Electronic text data
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
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Architecting dependable systems VII [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer-Verlag, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6420
Вид и объем ресурса: Electronic text data
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
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automata, languages and programming [Electronic resource] : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011: proceedings: part 2
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6756
Вид и объем ресурса: Electronic text data
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
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated deduction in geometry [Electronic resource] : 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6301
Вид и объем ресурса: Electronic text data
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
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated reasoning with analytic tableaux and related methods [Electronic resource] : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6793
Вид и объем ресурса: Electronic text data
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
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated technology for verification and analysis [Electronic resource] : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6252
Вид и объем ресурса: Electronic text data
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
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)