Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Current themes in engineering technologies : selected papers of the World Congress on Engineering and Computer Science, San Francisco, California, 24-26 October 2007World Congress on Engineering and Computer Science (2007 : San Francisco, Calif.) Sio-Iong Ao; Mahyar A Amouzegar; Su-shing ChenMelville, N.Y. : American Institute of Physics 2008Localização: IF - Instituto de Física (MS AIP v.1007 )(Acessar) |
|
2 |
Material Type: Livro
|
Database and Expert Systems ApplicationsDatabase and Expert Systems Applications ConferenceSpringer Berlin Heidelberg 1993Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Computer science -- theory and applications first International Computer Science Symposium in Russia, CSR 2006, St Petersburg, Russia, June 8-12, 2006 : proceedingsInternational Computer Science Symposium in Russia (1st 2006 Saint Petersburg, Russia) Dima Grigoriev; J Harrison (John) 1966; Edward A HirschBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedingsSymposium on Theoretical Aspects of Computer Science (24th 2007 Aachen, Germany) Wolfgang Thomas 1947-; Pascal WeilBerlin Springer New York c2007Localização: EPBC - Esc. Politécnica-Bib Central (004 St12 2007 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedingsSymposium on Theoretical Aspects of Computer Science (22nd 2005 Stuttgart, Germany) Volker Diekert 1955; Bruno DurandBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedingsWorld Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1709 e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Logic of ComputationHelmut SchwichtenbergSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Advanced Neural ComputersR. EckmillerNorth-Holland 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
STACS 90 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedingsSymposium on Theoretical Aspects of Computer Science (7th 1990 Rouen, France) Christian Choffrut; T Lengauer (Thomas); Association française pour la cybernétique économique et technique; Gesellschaft für InformatikBerlin Springer-Verlag New York c1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.415 e.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Graph-theoretic concepts in computer science 25th international workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedingsInternational Workshop WG (25th 1999 Ascona, Switzerland) Peter Widmayer; Gabriele Neyer; Stephan EidenbenzBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1665 e.1 ) e outros locais(Acessar) |