Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Revista
|
Journal of Logic and ComputationENGLAND OUPAcesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Revista
|
Journal of ComplexityUNITED STATES Academic PressAcesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Revista
|
Journal of CryptologyUNITED STATES HybridAcesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Recent Developments in Switching TheoryAmar MukhopadhyayAcademic Press 1971Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Clausal Theory of TypesD. A. WolframCambridge Cambridge University Press 1993Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Fundamentals of Computation TheoryInternational Conference on Fundamentals of Computation Theory Lothar BudachSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Computational Algebraic Number TheoryMichael E. PohstBirkhäuser Basel 1993Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Algorithms for Computer AlgebraKeith O. Geddes Stephen R Czapor; George Labahn; S. R Czapor; G LabahnSpringer US 1992Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Turing Machines with Sublogarithmic SpaceAndrzej SzepietowskiSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 1977GruskaSpringer Berlin Heidelberg 1977Acesso online. A biblioteca também possui exemplares impressos. |