Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Automata, languages and programming 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 ; proceedingsICALP'99 (1999 Prague, Czech Republic) P. van Emde Boas; Jiér⸠Wiedermann; M Nielsen (Mogens) 1949-GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin Springer London c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1644 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
SEMPER - Secure Electronic Marketplace for EuropeLacoste Gérard Lacoste; Birgit Pfitzmann; Michael Steiner; Michael WaidnerSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Segurança de dados criptografia em redes de computadorRouto TeradaSão Paulo Edgard Blucher 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68Q99 T315sd e.2 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Application and theory of petri nets 1999 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedingsInternational Conference on Applications and Theory of Petri Nets (20th 1999 Williamsburg, Virginia) Jetty Kleijn; Susanna DonatelliBerlin Springer c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1639 )(Acessar) |
|
5 |
Material Type: Livro
|
Self-stabilizing systems 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 : proceedingsWSS 2001 (2001 Lisbon, Portugal) Ajoy K Datta 1958-; Ted Herman 1952-Berlin Springer London 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2194 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Cryptographic hardware and embedded systems--CHES 2000 second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedingsCHES 2000 (2nd 2000 Worcester, Mass.) Çetin K Koç 1957-; Christof Paar 1963-Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1965 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
High performance computing for computational science, VECPAR 2002 5th International Conference, Porto, Portugal, June 26-28, 2002 : selected papers and invited talksVECPAR 2002 (2002 University of Porto) José M. L. M PalmaBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2565 )(Acessar) |
|
8 |
Material Type: Livro
|
Algorithms and computation 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 ; proceedingsISAAC '99 (1999 Chennai, India) Alok Aggarwal; C Pandu Rangan 1955-Berlin Springer London c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1741 e.1 )(Acessar) |
|
9 |
Material Type: Livro
|
Algorithms and computation 12th international symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001 : proceedingsISAAC (Conference) (12th 2001 Christchurch, New Zealand) Peter Eades; Tadao TakaokaBerlin Springer 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2223 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedingsInternational Colloquium on Automata, Languages, and Programming (27th 2000 Geneva, Switzerland) Emo Welzl; Ugo Montanari; José D. P RolimBerlin Springer London c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1853 ) e outros locais(Acessar) |