Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
FSTTCS 2005 foundations of software technology and theoretical computer science 25th international conference, Hyderabad, India, December 15-18, 2005 proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (25th 2005 Hyderabad, India) R Ramanujam; Sandip Sen; SpringerLink (Online service)Berlin Springer c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3821 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
UbiComp 2006 ubiquitous computing : 8th international conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006 : proceedingsUbiComp 2006 (2006 Orange County, Calif.) Paul Dourish; Adrian Friday (Adrian John)Berlin Springer New York 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4206 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Information security and privacy 12th Australasian conference, ACISP 2007, Townsville, Australia, July 2-4 2007 : proceedingsACISP 2007 (2007 Townsville, Qld.) Josef Pieprzyk 1949; Hossein Ghodosi; Ed Dawson (Edward)Berlin Springer c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4586 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
UbiComp 2005 ubiquitous computing : 7th international conference, UbiComp 2005, Tokyo Japan, September 11-14, 2005 : proceedingsUbiComp 2005 (2005 Tokyo, Japan) Michael Beigl; Stephen Intille; Jun Rekimoto; Hideyuki TokudaBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Ubiquitous convergence technology first international conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006 : revised selected papersICUCT 2006 (2006 Cheju Do, Korea) Hyoung Joong Kim 1954-; Jong-Suk Chae; Seong-Dong Kim; Frank StajanoBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4412 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Information security and privacy 10th Australasian conference, ACISP 2005, Brisbane, Australia, July 4-6 2005 ; proceedingsACISP 2005 (2005 Brisbane, Qld.) Colin Boyd; Juan M Gonz alez NietoBerlin Springer 2005Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
High performance computing on vector systems 2009Teraflop Workbench Project Workshop (9th 2008 Tohoku University) Michael Resch; Teraflop Workbench Project Workshop (10th 2009 Höchstleistungs-rechenzentrum Stuttgart)Heidelberg Springer New York c2010Localização: EPBC - Esc. Politécnica-Bib Central (004.2 T27h 9. )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Coordination models and languages 10th international conference, COORDINATION 2008 Oslo, Norway, June 4-6, 2008 : proceedingsCOORDINATION 2008 (2008 Oslo, Norway) Douglas Lea; Gianluigi ZavattaroBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.5052 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Model checking software 14th International SPIN Workshop, Berlin, Germany, July 2007 : proceedingsInternational SPIN Workshop (14th 2007 Berlin, Germany) Dragan Bosnacki; Stefan EdelkampBerlin Springer c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4595 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen GargBerlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4337 ) e outros locais(Acessar) |