Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
SOFSEM 2014: Theory and Practice of Computer Science: 40th International Conference on Current Trends in Theory and Practice of Computer Science,Novy Smokovec, Slovakia, January 26-29, 2014, ProceedingsGeffert, Viliam ; Preneel, Bart ; Rovan, Branislav ; Stuller, Julius ; Tjoa, A MinSpringer International Publishing 2014Texto completo disponível |
|
2 |
Material Type: Livro
|
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedingsWorkshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-Berlin Springer-Verlag New York c1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.329 ex.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: 17th Conference Kharagpur, India, December 18–20, 1997 ProceedingsRamesh, S ; Sivakumar, G Ramesh, S. ; Sivakumar, GBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
4 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 ProceedingsRovan, Branislav Rovan, BranislavBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
|
5 |
Material Type: Livro
|
Introductory theory of computer scienceE. V. Krishnamurthy (Edayathumangalam Venkatarama), b. 1934-London Macmillan 1983Localização: IME - Inst. Matemática e Estatística (QA810 K92i )(Acessar) |
|
6 |
Material Type: Livro
|
STACS 88 theoretical aspects of computer science ; proceedingsSymposium on Theoretical Aspects of Computer Science (5th 1988 Bordeaux, France) R Cori; M Wirsing (Martin); Gesellschaft fur Informatik; Association française pour la cybernétique économique et techniqueBerlin New York : Springer-Verlag 1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.294 ex.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Computing in the 90's: The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 ProceedingsSherwani, Naveed A ; Doncker, Elise de ; Kapenga, John A Sherwani, Naveed A. ; de Doncker, Elise ; Kapenga, John A.New York, NY: Springer New York 1991Texto completo disponível |
|
8 |
Material Type: Livro
|
Homomorphic Signature Schemes: A SurveyTraverso, Giulia ; Demirel, Denise ; Buchmann, JohannesCham: Springer International Publishing AG 2016Texto completo disponível |
|
9 |
Material Type: Livro
|
Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected ContributionsKelemenová, Alica ; Kelemen, Jozef Kelemen, Jozef ; Kelemenová, AlicaBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
10 |
Material Type: Livro
|
STACS 84: Symposium of Theoretical Aspects of Computer Science Paris, 11–13, 1984Fontet, M ; Mehlhorn, K Mehlhorn, K. ; Fontet, M.Berlin, Heidelberg: Springer Berlin Heidelberg 1984Texto completo disponível |