Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Dependable computing--EDDC-3 Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999 : proceedingsEuropean Dependable Computing Conference (3rd 1999 Prague, Czech Republic) Jan Hlaviécka 1942-; Erik Maehle; András Pataricza 1954-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1667 e.1 )(Acessar) |
|
2 |
Material Type: Livro
|
Dependable computing first Latin-American symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 : proceedingsLADC 2003 (2003 São Paulo, Brazil) Rogério de Lemos 1961-; Taisy Silva Weber 1953-; João Batista Camargo Júnior 1958-Berlin Springer New York c2003Localização: EPBC - Esc. Politécnica-Bib Central (004.413 L349d 1. ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Rigorous development of complex fault-tolerant systemsWorkshop on Rigorous Engineering of Fault-tolerant Systems (2005 Newcastle upon Tyne, England) Michael Butler 1967; Cliff Jones; Alexander Romanovsky; Elena Troubitsyna; International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England)Berlin Springer New York c2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4157 )(Acessar) |
|
4 |
Material Type: Livro
|
Dependable computing second Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedingsLADC 2005 (2005 Salvador, Brazil) Joao Gabriel Silva; Aline Maria Santos Andrade; Flávio Morais de Assis Silva; Carlos Alberto MazieroBerlin Springer New York c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3747 e.2 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Dependable computing third Latin-American symposium, LADC 2007, Morelia Mexico, September 26-28, 2007 : proceedingsLADC 2007 (2007 Morelia, Michoacán de Ocampo, Mexico) Andrea Bondavalli; Francisco Vilar Brasileiro 1965-; Sergio RajsbaumBerlin Springer New York 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4746 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Dependable computing EDCC-5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedingsEuropean Dependable Computing Conference (5th 2005 Budapest, Hungary) Mario Dal Cin 1940; Mohamed Kaaniche; Andr as Pataricza 1954Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |