Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedingsInternational Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa) Teodor RusBerlin New york Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1816 )(Acessar) |
|
2 |
Material Type: Livro
|
Transformation-based reactive systems development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedingsInternational AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th 1997 Mallorca, Spain) Miquel Bertran; Teodor RusBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1231 ) e outros locais(Acessar) |
|
3 |
Material Type: Dissertação de Mestrado
|
Esquemas de captura de descontinuidades para equações gerais de conservaçãoNarváez, Rodolfo Junior PérezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-02-22Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Computer security, ESORICS 98 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998 : proceedingsEuropean Symposium on Research in Computer Security (5th 1998 Louvain-la-Neuve, Belgium) J.-J Quisquater 1945- (Jean-Jacques); Catherine Meadons; Dieter Gollmann; Deswarte, YvesBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1485 ) e outros locais(Acessar) |