skip to main content
Refinado por: Base de dados/Biblioteca: HAL (CCSd) remover assunto: Computers remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Methods for Embedded Distributed Systems: How to master the complexity
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods for Embedded Distributed Systems: How to master the complexity

Kordon, Fabrice ; Lemoine, Michel Springerlink (Online Service) (Corporate Author)

Boston, MA: Springer US 2004

Texto completo disponível

2
STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings

Alt, Helmut ; Habib, Michel Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Ver todas as versões
3
Substitutions in Dynamics, Arithmetics and Combinatorics
Material Type:
Livro
Adicionar ao Meu Espaço

Substitutions in Dynamics, Arithmetics and Combinatorics

Fogg, N. Pytheas ; Berthé, Valéré ; Ferenczi, Sébastien ; Mauduit, Christian ; Siegel, Anne Springerlink (Online Service) (Corporate Author)

Lecture Notes in Mathematics,

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Ver todas as versões
4
Anticipatory Behavior in Adaptive Learning Systems: Foundations, Theories, and Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Anticipatory Behavior in Adaptive Learning Systems: Foundations, Theories, and Systems

Butz, Martin V ; Sigaud, Olivier ; Gérard, Pierre Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Ver todas as versões
5
Combinatorics and Computer Science: 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Combinatorics and Computer Science: 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers

Deza, Michel ; Euler, Reinhardt ; Manoussakis, Ioannis Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Ver todas as versões

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.