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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07$<.>)
Общее количество найденных документов : 118
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Wuhan University Journal of Natural Sciences. - Журнал выходит с 1996г.
2.
Wolter K. Stochastic models for fault tolerance/K. Wolter. - 2010
3.
Viamontes G.F. Quantum circuit simulation/G. F. Viamontes, J. P. Hayes, I. L. Markov. - 2009
4.
Turner R. Computable models/R. Turner. - 2009
5.
Tools for high performance computing 2009/eds. M. S. Muller [et al.]. - 2010
6.
Tools for high performance computing/eds.: M. Resch [et al.]. - 2008
7.
Theory of quantum computation, communication, and cryptography/ed. A. Childs, M. Mosca. - 2009
8.
Theoretical computer science/ed. O. Goldreich [et al.]. - 2006
9.
Theoretical computer science/ed. C. S. Calude, V. Sassone. - 2010
10.
Theoretical computer science/ed. M. Coppo. - 2005
11.
Theoretical aspects of computing – ictac 2010/ed.: A. Cavalcanti [et al.]. - 2010
12.
Theoretical aspects of computing - ictac 2008/ed. J. Fitzgerald. - 2008
13.
Theoretical aspects of computing - ICTAC 2007/ed. C. B. Jones [et al.]. - 2007
14.
Theoretical aspects of computing - ICTAC 2006/eds. K. Barkaoui [et al.]. - 2006
15.
Theoretical aspects of computing - ictac 2005/ed. D. v. Hung. - 2005
16.
Theoretical aspects of computing - ICTAC 2004/ed. : K. Araki, Z. Liu. - 2005
17.
Steinbach B. Logic functions and equations/B. Steinbach, C. Posthoff. - 2009
18.
Steinbach B. Logic functions and equations/B. Steinbach, C. Posthoff. - 2009
19.
STACS 2007/ed. W. Thomas. - 2007
20.
STACS 2006/ed. : B. Durand, W. Thomas. - 2006
21.
STACS 2005/ed. : V. Diekert, B. Durand. - 2005
22.
Software and System Modeling. - Журнал выходит с 2002г.
23.
Rosenberg A.L. The pillars of computation theory/A. L. Rosenberg. - 2010
24.
Rewriting, computation and proof/ed. H. Comon-Lundh [et al.]. - 2007
25.
Rewriting techniques and applications/ed. A. Voronkov. - 2008
26.
Relations and kleene algebra in computer science/SpringerLink (Online service). - 2006
27.
Relations and kleene algebra in computer science/ed. R. Berghammer [et al.]. - 2009
28.
Relations and kleene algebra in computer science/SpringerLink (Online service). - 2008
29.
Relational methods in computer science/ed. W. MacCaull. - 2006
30.
Programs, proofs, processes/ed. F. Ferreira [et al.]. - 2010
 1-30    31-60   61-90      

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)