Поисковый запрос: (<.>S=Symbolic and algebraic manipulation<.>) |
Общее количество найденных документов : 20
Показаны документы с 1 по 20 |
1.
| Algebraic informatics/ed. F. Winkler. - 2011
|
2.
| Combinatorial algorithms/eds.: C. S. Iliopoulos, W. F. Smyth. - 2011
|
3.
| Combinatorial optimization and applications/eds. W. Wu, O. Daescu. - 2010
|
4.
| Combinatorial optimization and applications/eds. W. Wu, O. Daescu. - 2010
|
5.
| Comparative genomics/ed. E. Tannier. - 2011
|
6.
| Computer algebra in scientific computing/eds. V. P. Gerdt [et al.]. - 2010
|
7.
| Cryptology and network security/ed. S. Heng [et al.]. - 2010
|
8.
| Formal grammar/ed. P. Groote [et al.]. - 2011
|
9.
| Functional and constraint logic programming/ed. J. Mariño. - 2011
|
10.
| Graph drawing/ed. U. Brandes, S. Cornelsen. - 2011
|
11.
| Logic, language and meaning/eds. M. Aloni [et al.]. - 2010
|
12.
| Logic, language, information and computation/ed. L. D. Beklemishev, R. Queiroz. - 2011
|
13.
| Logics in artificial intelligence/eds. T. Janhunen, I. Niemelä. - 2010
|
14.
| Parameterized and exact computation/eds. V. Raman, S. Saurabh. - 2010
|
15.
| Principles of distributed systems/ed. C. Lu [et al.]. - 2010
|
16.
| Recent advances in constraints/eds.: J. Larrosa, B. O’Sullivan. - 2011
|
17.
| Relational and algebraic methods in computer science/ed. H. Swart. - 2011
|
18.
| Rigorous software development/J. B. Almeida [et al.]. - 2011
|
19.
| Typed lambda calculi and applications/ed. L. Ong. - 2011
|
20.
| WALCOM: algorithms and computation/ed. N. Katoh, A. Kumar. - 2011
|
|
|