Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Active media technology 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001 : proceedingsInternational Computer Science Conference (6th 2001 Hong Kong, China) Jiming Liu 1962-Berlin Springer London c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2252 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Structural testing for semaphore-based multithread programsFelipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)Lecture Notes in Computer Science v. 5101, p. 337-346, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Journal on data semantics IVStefano Spaccapietra 1944 - Informatiker, Italien, Frankreich, Schweiz; Stefano Spaccapietra 1944 - Computer scientist, Italy, France, Switzerland; Stefano Spaccapietra 1944 - Informaticien, Italie, France, SuisseBerlin Springer 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3730 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Computational science - ICCS 2002 international conference, Amsterdam, The Netherlands, April 21 - 24 2002 : proceedings. Pt. 1ICCS 2002 (2002 Amsterdam, Netherlands) Peter Sloot 1956-Berlin Springer London c2002Localização: IME - Inst. Matemática e Estatística (S L471c v.2331 pt.3 )(Acessar) |
|
5 |
Material Type: Livro
|
Selected areas in cryptography 9th annual international workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002 : revised papersSAC 2002 (2002 St. John's, Nfld.) Kaisa Nyberg 1948-; Howard Heys 1963-Berlin Springer-Verlag New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2595 )(Acessar) |
|
6 |
Material Type: Livro
|
Advances in multimodal interfaces -- ICMI 2000 third international conference, Beijing, China, October 14-16, 2000 : proceedingsICMI (Conference) (3rd 2000 Beijing, China) Tieniu Tan; Yuanchun Shi; Wen GaoBerlin Springer New York 2000Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 LNCS v.1948 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Learning software organizations methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedingsInternational Conference on Software Engineering and Knowledge Engineering (11th 1999 Kaiserslautern, Germany) Günther Ruhe; Frank BomariusBerlin New York Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1756 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Computational science-ICCS 2002 international conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedingsICCS 2002 (2002 Amsterdam, Netherlands) Peter Sloot 1956-Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2331 )(Acessar) |
|
9 |
Material Type: Livro
|
Advances in learning software organizations third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedingsLSO 2001 (2001 Kaiserslautern, Germany) Klaus-Dieter Althoff; Raimund L Feldmann 1961-; Wolfgang Müller 1961-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2176 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Text, speech, and dialogue 4th international conference, TSD 2001, éZelezná Ruda, Czech Republic, September 11-13, 2001 : proceedingsTSD 2001 (2001 éZelezná Ruda, Czech Republic) Václav Matouések 1948-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2166 ) e outros locais(Acessar) |