Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 ProceedingsCori, Robert ; Wirsing, Martin Wirsing, Martin ; Cori, RobertBerlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
|
2 |
Material Type: Livro
|
SOFSEM 2006 theory and practice of computer science : 32nd conference on current trends in theory and practice of computer science, M e r in, Czech Republic, January 21-27, 2006 : proceedingsSOFSEM (Conference) (32nd 2006 Merin, Czech Republic) J Wiedermann (Juraj); Gerard Tel; Jaroslav Pokorný; Mária Bieliková; Július StullerBerlin Springer c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3831 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Diversity in Computer Science: Design Artefacts for Equity and InclusionBjørn, Pernille ; Menendez-Blanco, Maria ; Borsotti, ValeriaCham: Springer Nature 2023Texto completo disponível |
|
4 |
Material Type: Livro
|
Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 ProceedingsMeyer, Albert R ; Taitslin, Michael A Taitslin, Michael A. ; Meyer, Albert R.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
5 |
Material Type: Livro
|
Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 ProceedingsNerode, Anil ; Taitslin, Mikhail Nerode, Anil ; Taitslin, MikhailBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
|
6 |
Material Type: Livro
|
STACS 89: 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16–18, 1989 ProceedingsMonien, B ; Cori, R Cori, R. ; Monien, B.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
7 |
Material Type: Livro
|
Public key cryptography - PKC 2004 7th International Workshop on Practice and Theory in Public Key Cryptography, Singapore, March 1-4, 2004 : proceedingsInternational Workshop on Practice and Theory in Public Key Cryptography (7th 2004 Singapore) Feng Bao; Robert Deng; Jianying ZhouBerlin Springer-Verlag New York 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Public key cryptography PKC 2005 : 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005 proceedingsInternational Workshop on Theory and Practice in Public Key Cryptography (8th 2005 Les Diablerets, Switzerland) Serge VaudenayBerlin Springer New York 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3386 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 ProceedingsBrandenburg, Franz J ; Vidal-Naquet, Guy ; Wirsing, Martin Brandenburg, Franz J. ; Vidal-Naquet, Guy ; Wirsing, MartinBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
10 |
Material Type: Livro
|
STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 ProceedingsChoffrut, Christian ; Lengauer, Thomas Choffrut, Christian ; Lengauer, ThomasBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |