skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 1992Até2008 remover tipo de recurso: Book Chapters remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automatic integration of high-index dynamic systems
Automatic integration of high-index dynamic systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automatic integration of high-index dynamic systems

Costa, E.F. ; Secchi, A.R. ; Biscaia, E.C.

Computer Aided Chemical Engineering, 2002, Vol.10, p.865-870 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Institutions for behaviour specification
Institutions for behaviour specification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Institutions for behaviour specification

Fiadeiro, J. L. ; Costa, J. F. Tarlecki, Andrzej ; Reggio, Gianna ; Astesiano, Egidio

Recent Trends in Data Type Specification, 2005, p.273-289 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Data encapsulation and modularity: Three views of inheritance
Data encapsulation and modularity: Three views of inheritance
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Data encapsulation and modularity: Three views of inheritance

Costa, J. F. ; Sernadas, A. ; Sernadas, C. Borzyszkowski, Andrzej M. ; Sokołowski, Stefan

Mathematical Foundations of Computer Science 1993, 2005, p.382-391 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Process semantics of temporal logic specification
Process semantics of temporal logic specification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Process semantics of temporal logic specification

Fiadeiro, J. L. ; Costa, J. F. ; Sernadas, A. ; Maibaum, T. S. E. Bidoit, Michel ; Choppy, Christine

Recent Trends in Data Type Specification, 1993, p.236-253 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Santa Catarina Information Technology Nucleus NECATI
Santa Catarina Information Technology Nucleus NECATI
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Santa Catarina Information Technology Nucleus NECATI

Hoeschl, Hugo Cesar ; Ribeiro, Érica Bezerra Queiroz ; Reis, Louise Barcia Ramos ; Garcia, Thais Helena Bigliazzi ; Bortolon, Andre ; da Costa, Filipe Corrêa ; Theis, Irineu Traunmüller, Roland

Electronic Government, p.492-495 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Automatic program transformation viewed as theorem proving
Automatic program transformation viewed as theorem proving
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automatic program transformation viewed as theorem proving

Costa, Ernesto J. F. Dezani-Ciancaglini, Mariangiola ; Montanari, Ugo

International Symposium on Programming, 2005, p.37-46 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Turing universality of neural nets (revisited)
Turing universality of neural nets (revisited)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Turing universality of neural nets (revisited)

Neto, J. Pedro ; Siegelmann, Hava T. ; Costa, J. Félix ; Araujo, C. P. Suárez Pichler, Franz ; Moreno-Díaz, Roberto

Computer Aided Systems Theory — EUROCAST'97, 2005, p.361-366 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Interactions of Gases with Ionic Liquids: Experimental Approach
Interactions of Gases with Ionic Liquids: Experimental Approach
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Interactions of Gases with Ionic Liquids: Experimental Approach

Gomes, M. F. Costa ; Husson, P. ; Jacquemin, J. ; Majer, V. /

Ionic liquids III : fundamentals, progress, challenges, and opportunities, 2005

Washington, DC: American Chemical Society

Texto completo disponível

Citações Citado por
9
Polycondensation
Polycondensation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Polycondensation

Costa, Märio Rui P. F. N ; Bachmann, Rolf Meyer, Th ; Keurentjes, J

Handbook of Polymer Reaction Engineering, 2005, p.57-151

Weinheim, Germany: Wiley‐VCH Verlag GmbH

Texto completo disponível

Citações Citado por
10
Automatic structural characterization of DAE systems
Automatic structural characterization of DAE systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automatic structural characterization of DAE systems

Costa, E.F ; Vieira, R.C. ; Secchi, A.R. ; Biscaia, E.C.

Computer Aided Chemical Engineering, 2001, Vol.9, p.123-128 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (39)

Data de Publicação 

De até
Refinar
  1. Antes de1996  (5)
  2. 1996Até1998  (9)
  3. 1999Até2001  (120)
  4. 2002Até2005  (145)
  5. Após 2005  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (174)
  2. Japonês  (3)
  3. Francês  (1)
  4. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.