Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Tese de Doutorado
|
![]() |
Efficient text searchingRicardo Baeza-Yates Gaston H Gonnet1989Localização: IME - Inst. Matemática e Estatística IMRE SIMON (CIS QA758.T B142e e.2 )(Acessar) |
12 |
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 |
13 |
Material Type: Livro
|
![]() |
Electronic Dictionaries and Automata in Computational Linguistics: LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25–29, 1987 ProceedingsGross, Maurice ; Perrin, Dominique Gross, Maurice ; Perrin, DominiqueBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
14 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 ProceedingsTarlecki, Andrzej Tarlecki, AndrzejBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
15 |
Material Type: Livro
|
![]() |
Probability and statistics with reliability, queuing, and computer science applicationsTrivedi, Kishor SWiley 2016Texto completo disponível |
16 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 – September 1, 1989 ProceedingsKreczmar, Antoni ; Mirkowska, Grazyna Kreczmar, Antoni ; Mirkowska, GrazynaBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
17 |
Material Type: Livro
|
![]() |
Graph-Theoretic Concepts in Computer Science: International Workshop WG '88 Amsterdam, The Netherlands, June 15–17, 1988 ProceedingsLeeuwen, J. van van Leeuwen, J.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
18 |
Material Type: Livro
|
![]() |
Graph-Theoretic Concepts in Computer Science: 21st International Workshop, WG '95 Aachen, Germany, June 20–22, 1995 ProceedingsNagl, Manfred Nagl, ManfredBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
19 |
Material Type: Livro
|
![]() |
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. ProceedingsKahle, Reinhard ; Schroeder-Heister, Peter ; Stärk, Robert Schroeder-Heister, Peter ; Kahle, Reinhard ; Stärk, RobertBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
20 |
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 |