skip to main content
Idioma:
Refinado por: assunto: Machine Theory remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata Logics, and Infinite Games
Automata Logics, and Infinite Games
Automata Logics, and Infinite Games
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata Logics, and Infinite Games

Erich Grädel Erich Grädel; Wolfgang Thomas; Thomas Wilke

Springer Berlin Heidelberg 2002

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

2
Abstract state machines 2003 advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
Abstract state machines 2003 advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Abstract state machines 2003 advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings

ASM 2003 (2003 Taormina, Italy) E Börger 1946- (Egon); Angelo Gargantini 1969-; Elvinia Riccobene 1964-

Berlin Springer New York c2003

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

3
Implementation and application of automata 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
Implementation and application of automata 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and application of automata 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers

International Conference on Implementation and Application of Automata (7th 2002 Tours, France) Jean-Marc Champarnaud; Denis Maurel

Berlin Springer New York c2003

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

4
Topics in mathematical system theory
Topics in mathematical system theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Topics in mathematical system theory

R. E. Kalman 1930- (Rudolf Emil) Peter L Falb; Michael A Arbib

New York McGraw-Hill 1969

Localização: EPBC - Esc. Politécnica-Bib Central    (004.413 K126t ) e outros locais(Acessar)

5
Implementation and application of automata 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers
Implementation and application of automata 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and application of automata 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

International Conference on Implementation and Application of Automata (6th 2001 Pretoria, South Africa) Bruce William Watson 1967-; Derick Wood 1940-

Berlin Springer New York c2002

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

6
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

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

7
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Hermenegildo, Manuel ; Puebla, German Puebla, Germán ; Hermenegildo, Manuel V.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
8
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers

Watson, Bruce ; Wood, Derick Wood, Derick ; Watson, Bruce W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
9
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

Koenig, Sven ; Holte, Robert C Holte, Robert C. ; Koenig, Sven

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
10
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Geuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, Freek

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2001  (1)
  2. 2001Até2001  (1)
  3. 2002Até2002  (6)
  4. 2003Até2004  (6)
  5. Após 2004  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.