skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Théorie des automates et applications actes des deuxièmes journées franco-belges, Université de Rouen, 3-5 Septembre 1991
Material Type:
Livro
Adicionar ao Meu Espaço

Théorie des automates et applications actes des deuxièmes journées franco-belges, Université de Rouen, 3-5 Septembre 1991

Journées franco-belges (2èmes 1991 Université de Rouen, France) Daniel Krob

Mont Saint-Aignan Publications de l'Université de Rouen c1992

Localização: IME - Inst. Matemática e Estatística    (QA804.C J86a )(Acessar)

2
Formal modeling and analysis of timed systems third international conference, FORMATS 2005, Uppsala, Sweden September 26-28, 2005 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems third international conference, FORMATS 2005, Uppsala, Sweden September 26-28, 2005 : proceedings

FORMATS 2005 (2005 Uppsala, Sweden) Paul Pettersson; Wang Yi; SpringerLink (Online service)

Berlin Springer c2005

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

3
Material Type:
Livro
Adicionar ao Meu Espaço

Semantics of systems of concurrent processes proceedings

Spring School of the Laboratoire Informatique Theorique et Programmation, 17., la Roche Posay, 1990 Irene Guessarian

Berlin Springer 1990

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

4
Automata implementation 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Automata implementation 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers

International Workshop on Implementing Automata (4th 1999 Potsdam, Germany) Oliver Boldt; Helmut Jürgensen

Berlin Springer New York c2001

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

5
Implementation and application of automata 9th international conference, CIAA 2004, Kingston, Canada, July 22-24 2004 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Implementation and application of automata 9th international conference, CIAA 2004, Kingston, Canada, July 22-24 2004 : revised selected papers

CIAA 2004 (2004 Kingston, Ont.) Alexander Okhotin; Kai Salomaa; Sheng Yü; Michael Domaratzki

Berlin Springer New York c2005

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

6
Machines, Computations, and Universality 4th international conference, MCU 2004, Saint Petersburg, Russia September 21-24, 2004 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Machines, Computations, and Universality 4th international conference, MCU 2004, Saint Petersburg, Russia September 21-24, 2004 : revised selected papers

MCU 2004 (2004 Saint Petersburg, Russia) Maurice Margenstern; SpringerLink (Online service)

Berlin Springer c2004

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

7
Automata implementation First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Automata implementation First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

International Workshop on Implementing Automata (1st 1996 London, Ont.) Darrell Ronald Raymond; Derick Wood 1940-; Sheng Yü

Berlin Springer New York c1997

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

8
Automata implementation Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 ; rev. papers
Material Type:
Livro
Adicionar ao Meu Espaço

Automata implementation Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 ; rev. papers

Berlin Springer 1998

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

9
Implementation and application of automata 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Implementation and application of automata 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23 2006 : proceedings

CIAA 2006 (2006 Taipei, Taiwan) Oscar H Ibarra; Hsu-Chun Yen 1958

Berlin Springer New York c2006

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

10
Advanced lectures on machine learning ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003 [and] T ubingen, Germany, August 4-16, 2003 : revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Advanced lectures on machine learning ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003 [and] T ubingen, Germany, August 4-16, 2003 : revised lectures

Machine Learning Summer School (2003 Canberra, A.C.T.) Olivier Bousquet; Ulrike von Luxburg; Gunnar R atsch; Machine Learning Summer School (2003 T ubingen, Germany)

Berlin Springer New York 2004

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
  1. Antes de1997  (2)
  2. 1997Até2000  (2)
  3. 2001Até2003  (2)
  4. 2004Até2006  (7)
  5. Após 2006  (1)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.