Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
2 |
Material Type: E-Book
|
![]() |
44th Annual IEEE Symposium on Foundations of Computer Science FOCS 2003 : proceedings : 11-14 October 2003, Cambridge, Massachusettes [sic]Symposium on Foundations of Computer Science (44th 2003 Cambridge, Mass.) IEEE Computer Society. Technical Society on Foundations of Computing.; IEEE Xplore (Online service)Los Alamitos, Calif. IEEE Computer Society c2003Item não circula. Consulte sua biblioteca.(Acessar) |
3 |
Material Type: Livro
|
![]() |
Active Media Technology: 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001. ProceedingsLiu, Jiming ; Yuen, Pong C ; Li, Chung-hung ; Ng, Joseph ; Ishida, Toru Ng, Joseph ; Li, Chun-hung ; Liu, Jiming ; Yuen, Pong C. ; Ishida, ToruBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
24th Annual Symposium on Foundations of Computer Science November 7-9, 1983Symposium on Foundations of Computer Science (24th 1983 Tucson, Ariz.) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingSilver Spring, Md. IEEE Computer Society Press c1983Localização: IME - Inst. Matemática e Estatística (QA800.C S989 24 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
23rd Annual Symposium on Foundations of Computer Science November 3-5, 1982Symposium on Foundations of Computer Science (23rd 1982 [Chicago, Ill.]) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingNew York IEEE Computer Society Press Los Angeles, CA Order from IEEE Computer Society c1982Localização: IME - Inst. Matemática e Estatística (QA800.C S989 23. e.2 )(Acessar) |
6 |
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 |
7 |
Material Type: Livro
|
![]() |
STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 ProceedingsPuech, Claude ; Reischuk, Rüdiger Puech, Claude ; Reischuk, RüdigerBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
8 |
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 |
9 |
Material Type: Livro
|
![]() |
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 ProceedingsBergman, Clifford H ; Maddux, Roger D ; Pigozzi, Don L Pigozzi, Don L. ; Maddux, Roger D. ; Bergman, Clifford H.New York, NY: Springer New York 1990Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 ProceedingsEnjalbert, Patrice ; Mayr, Ernst W ; Wagner, Klaus W Enjalbert, Patrice ; Wagner, Klaus W. ; Mayr, Ernst W.Berlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |