skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa) Teodor Rus

Berlin New york Springer c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1816 )(Acessar)

2
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 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 ; proceedings

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th 1997 Mallorca, Spain) Miquel Bertran; Teodor Rus

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1231 ) e outros locais(Acessar)

3
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Esquemas de captura de descontinuidades para equações gerais de conservação

Narváez, Rodolfo Junior Pérez

Biblioteca 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-22

Acesso online. A biblioteca também possui exemplares impressos.

4
Computer security, ESORICS 98 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer security, ESORICS 98 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998 : proceedings

European Symposium on Research in Computer Security (5th 1998 Louvain-la-Neuve, Belgium) J.-J Quisquater 1945- (Jean-Jacques); Catherine Meadons; Dieter Gollmann; Deswarte, Yves

Berlin Springer New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1485 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (3)
  2. Produções Acadêmicas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.