Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Discrete MathematicsJean GallierSpringer New York 2011Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
|
3 |
Material Type: Livro
|
![]() |
A Guide to the Classification Theorem for Compact SurfacesJean Xu, Dianna Gallier Dianna XuDordrecht Springer Berlin Heidelberg 2013Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Curves and surfaces in geometric modeling theory and algorithmsJean H. GallierSan Francisco, Calif. Morgan Kaufmann Publishers c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68U10.20 G168cs e.1 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Logic for computer science foundations of automatic theorem provingJean H. GallierNew York Wiley c1987Localização: EPBC - Esc. Politécnica-Bib Central (510.6 G136L )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Automata Theory and its ApplicationsKhoussainov Jean Gallier; Anil NerodeBirkhäuser Boston 2001Acesso online |
7 |
Material Type: Livro
|
![]() |
Number Theoretic Methods in CryptographyShparlinski Robert Constable; Jean GallierBirkhäuser Basel 1999Acesso online |
8 |
Material Type: Livro
|
![]() |
Symbolic Rewriting TechniquesJohn C. Constable, Robert Gallier, Jean Cherniavsky Robert Constable; Jean Gallier; Johannes Grabmeier; Volker WeispfenningBirkhäuser Basel 1998Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Logical MethodsJohn C. Cherniavsky Robert Constable; Jean Gallier; Jeffrey B Remmel; Richard Shore; Moss E SweedlerBirkhäuser Boston 1993Acesso online |
10 |
Material Type: Livro
|
![]() |
Feasible MathematicsJohn C. Constable, Robert Gallier, Jean Buss David Scott Bernard Buss Samuel, Buss, S R Scott, P J Cherniavsky Buss David Scott Bernard Buss Samuel,; S R Buss; Robert Constable; Jean Gallier; P. J ScottBirkhäuser Boston 1990Acesso online |