Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
SOFSEM 2014: Theory and Practice of Computer Science: 40th International Conference on Current Trends in Theory and Practice of Computer Science,Novy Smokovec, Slovakia, January 26-29, 2014, ProceedingsGeffert, Viliam ; Preneel, Bart ; Rovan, Branislav ; Stuller, Julius ; Tjoa, A MinSpringer International Publishing 2014Texto completo disponível |
|
2 |
Material Type: Livro
|
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedingsWorkshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-Berlin Springer-Verlag New York c1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.329 ex.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: 17th Conference Kharagpur, India, December 18–20, 1997 ProceedingsRamesh, S ; Sivakumar, G Ramesh, S. ; Sivakumar, GBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
4 |
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 |
|
5 |
Material Type: Livro
|
Introductory theory of computer scienceE. V. Krishnamurthy (Edayathumangalam Venkatarama), b. 1934-London Macmillan 1983Localização: IME - Inst. Matemática e Estatística (QA810 K92i )(Acessar) |
|
6 |
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) |
|
7 |
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 |
|
8 |
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 |
|
9 |
Material Type: Livro
|
Computer Science - Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, ProceedingsKulikov, Alexander S ; Woeginger, Gerhard J Kulikov, Alexander S ; Woeginger, Gerhard JCham: Springer Nature 2016Texto completo disponível |
|
10 |
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 |