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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Logics and meanings of programs<.>)
Общее количество найденных документов : 94
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
Principles and practice of constraint programming – CP 2010/ed. D. Cohen. - 2010
2.
Aalst W.M. van der Process mining/W. M. van der Aalst. - 2011
3.
Practical aspects of declarative languages/eds. R. Rocha, J. Launchbury. - 2011
4.
NASA formal methods/ed. M. Bobaru [et al.]. - 2011
5.
Objects, models, components, patterns/eds. J. Bishop, A. Vallecillo. - 2011
6.
Programming languages and systems/ed. G. Barthe. - 2011
7.
Relational and algebraic methods in computer science/ed. H. Swart. - 2011
8.
Romanovsky A. Reliable software technologies - ada-europe 2011/A. Romanovsky, T. Vardanega. - 2011
9.
Recent advances in constraints/eds.: J. Larrosa, B. O’Sullivan. - 2011
10.
Programming languages and systems/ed.: K. Ueda. - 2010
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)