Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
Studies in computer scienceSeymour V Pollack (Seymour Victor) b 1933; William E Ball; Mathematical Association of AmericaWashington, D.C. Mathematical Association of America c1982Localização: ICMC - Inst. Ciên. Mat. Computação (68Q01 S933 e.1 ) e outros locais(Acessar) |
12 |
Material Type: Livro
|
![]() |
Theoretical foundations of computer scienceDino Mandrioli Carlo GhezziNew York Wiley c1987Localização: IME - Inst. Matemática e Estatística (QA810 M273t )(Acessar) |
13 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : ProceedingsKutylowski, Miroslaw ; Pacholski, Leszek ; Wierzbicki, Tomasz Wierzbicki, Tomasz ; Kutyłowski, Mirosław ; Pacholski, LeszekBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
14 |
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 |
15 |
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 |
16 |
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 |
17 |
Material Type: Livro
|
![]() |
SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015, ProceedingsItaliano, Giuseppe ; Margaria-Steffen, Tiziana ; Pokorny, Jaroslav ; Quisquater, Jean-Jacques ; Wattenhofer, RogerSpringer 2015Texto completo disponível |
18 |
Material Type: Livro
|
![]() |
Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 ProceedingsPin, J. E Pin, J. E.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
19 |
Material Type: Livro
|
![]() |
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 ProceedingsBörger, Egon ; Büning, Hans Kleine ; Richter, Michael M Richter, Michael M. ; Büning, Hans Kleine ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
20 |
Material Type: Livro
|
![]() |
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001 Berkeley, CA, USA, August 18–20, 2001 ProceedingsGoemans, Michel ; Jansen, Klaus ; Rolim, José D. P ; Trevisan, Luca Rolim, José D. P. ; Jansen, Klaus ; Goemans, Michel ; Trevisan, LucaBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |