Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
SOFSEM 2004: Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 ProceedingsEmde Boas, Peter Van ; Pokorný, Jaroslav ; Bieliková, Mária ; Štuller, Július Van Emde Boas, Peter ; Pokorný, Jaroslav ; Bieliková, Mária ; Štuller, JúliusBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
|
2 |
Material Type: Livro
|
The elements of artificial intelligence an introduction using LISPS. Tanimoto (Steven)Rockville, MD Computer Science c1987Localização: EPBC - Esc. Politécnica-Bib Central (004.8 T156e ) e outros locais(Acessar) |
|
3 |
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 |
|
4 |
Material Type: Livro
|
Neural networks in computer intelligenceLiMin Fu 1953-New York McGraw-Hill c1994Localização: EPBC - Esc. Politécnica-Bib Central (004.8 F95n ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
A logical language for data and knowledge basesShamim Naqvi Shalom TsurNew York Computer Science Press c1989Localização: IME - Inst. Matemática e Estatística (QA754 N217L )(Acessar) |
|
6 |
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 |
|
7 |
Material Type: Livro
|
Computer Science - Theory and Applications: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, ProceedingsBulatov, Andrei A ; Shur, Arseny M Bulatov, Andrei A ; Shur, Arseny MNetherlands: Springer Nature 2013Texto completo disponível |
|
8 |
Material Type: Livro
|
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 ProceedingsBörger, Egon ; Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M. ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
|
9 |
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 |
|
10 |
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 |