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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Logics and meanings of programs<.>)
Общее количество найденных документов : 94
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
Agent-Oriented software engineering X/eds. M. Gleizes, J. J. Gomez-Sanz. - 2011
2.
Algebraic informatics/ed. F. Winkler. - 2011
3.
Algebraic methodology and software technology/eds. M. Johnson, D. Pavlovic. - 2011
4.
Algorithmic learning theory/eds. M. Hutter [et al.]. - 2010
5.
Applications and theory of petri nets/eds. L. M. Kristensen, L. Petrucci. - 2011
6.
Architecting dependable systems VII/ed. A. Casimiro [et al.]. - 2010
7.
Automata, languages and programming/ed. L. Aceto [et al.]. - 2011
8.
Automated deduction in geometry/ed. T. Sturm, C. Zengler. - 2011
9.
Automated reasoning with analytic tableaux and related methods/eds. K. Brünnler, G. Metcalfe. - 2011
10.
Automated technology for verification and analysis/eds. A. Bouajjani, W. Chin. - 2010
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)