Поисковый запрос: (<.>S=Programming languages, compilers, interpreters<.>) |
Общее количество найденных документов : 92
Показаны документы с 1 по 10 |
|
1.
| Pilgrim M. Dive into python 3/M. Pilgrim. - 2009
|
2.
| Logic for programming, artificial intelligence, and reasoning/eds.: C. G. Fermüller, A. Voronkov. - 2010
|
3.
| Logic for programming, artificial intelligence, and reasoning/eds. E. M. Clarke, A. Voronkov. - 2010
|
4.
| Petriu D.C. Model driven engineering languages and systems/eds. D. C. Petriu [et al.]. - 2010
|
5.
| Model driven engineering languages and systems/eds. D. C. Petriu [et al.]. - 2010
|
6.
| Model checking software/eds. J. Pol, M. Weber. - 2010
|
7.
| Leveraging applications of formal methods, verification, and validation/ed. T. Margaria, B. Steffen. - 2010
|
8.
| Graph transformations and model-driven engineering/ed. G. Engels [et al.]. - 2010
|
9.
| Foundational and practical aspects of resource analysis/eds. M. Eekelen, O. Shkaravska. - 2010
|
10.
| Formal modeling and analysis of timed systems/eds. K. Chatterjee, T. A. Henzinger. - 2010
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных