Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable InformationCicalese, FerdinandoBerlin, Heidelberg: Springer Nature 2013Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Fundamentals of computation theory 9th international conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedingsFCT '93 (1993 Szeged, Hungary) Zoltán Ésik 1951-Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.710 e.1 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973Gesellschaft für Informatik Wilfried Brauer; Gesellschaft für InformatikBerlin New York Springer-Verlag 1973Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.1 e.1 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Diks, Krzysztof ; Rytter, WojciechBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Algorithms in Bioinformatics: Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, ProceedingsGuigo, Roderic ; Gusfield, Dan Guigó, Roderic ; Gusfield, DanBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Parallel and distributed processing and applications international symposium, ISPA 2003, Aizu-Wakamatsu, Japan, July 2-4, 2003 : proceedingsISPA 2003 (2003 Aizu, Japan) Minyi Guo; Laurence Tianruo YangBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2745 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
STOC/FOCS bibliography (preliminary version)David S Johnson 1945-; ACM Special Interest Group for Automata and Computability Theory; ACM Symposium on Theory of Computing; Symposium on Foundations of Computer ScienceNew York, N.Y. ACM Special Interest Group for Automata and Computability Theory c1991Localização: IME - Inst. Matemática e Estatística (REF. QA800.B J66s )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Theoretical aspects of computer science advanced lecturesGholamreza B Khosrovshahi 1939-; Ali Shokoufandeh 1965-; Amin Shokrollahi 1964-; Summer School on Theoretical Aspects of Computer Science (1st 2000 Tehran, Iran)Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2292 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Computer Science in Perspective: Essays Dedicated to Thomas OttmannKlein, Rolf ; Six, Hans-Werner ; Wegner, Lutz Six, Hans-Werner ; Wegner, Lutz ; Klein, RolfBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedingsLFCS '97 (4th 1997 Yaroslavl§, Russia (City)) S. I Adian 1931-; Anil Nerode 1932-; LFCS '97 (4th 1997 Yaroslavl§, Russia (City))Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1234 ) e outros locais(Acessar) |