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
Implementation and application of automata 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers
Implementation and application of automata 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and application of automata 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers

CIAA 2005 (2005 Sophia-Antipolis, France) Jacques Farr e; Igor Litovsky; Sylvain Schmitz

Berlin Springer New York c2006

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

2
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.

3
Computational Learning Theory: Third European Conference, EuroCOLT '97 Jerusalem, Israel, March 17–19, 1997 Proceedings
Computational Learning Theory: Third European Conference, EuroCOLT '97 Jerusalem, Israel, March 17–19, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Learning Theory: Third European Conference, EuroCOLT '97 Jerusalem, Israel, March 17–19, 1997 Proceedings

Ben-David, Shai Ben-David, Shai

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
4
Advances in Case-Based Reasoning: 4th European Workshop, EWCBR-98 Dublin, Ireland, September 23–25, 1998 Proceedings
Advances in Case-Based Reasoning: 4th European Workshop, EWCBR-98 Dublin, Ireland, September 23–25, 1998 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Case-Based Reasoning: 4th European Workshop, EWCBR-98 Dublin, Ireland, September 23–25, 1998 Proceedings

Smyth, Barry ; Cunningham, Pádraig Smyth, Barry ; Cunningham, Pádraig

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Citações Citado por
5
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Larsen, Kim G ; Skyum, Sven ; Winskel, Glynn Larsen, Kim G. ; Skyum, Sven ; Winskel, Glynn

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Citações Citado por
6
Graph Grammars and Their Application to Computer Science: 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers
Graph Grammars and Their Application to Computer Science: 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Graph Grammars and Their Application to Computer Science: 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers

Cuny, Janice ; Ehrig, Hartmut ; Engels, Gregor ; Rozenberg, Grzegorz Ehrig, Hartmut ; Rozenberg, Grzegorz ; Cuny, Janice ; Engels, Gregor

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
7
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

Melham, Thomas F ; Camilleri, Juanito Melham, Thomas F. ; Camilleri, Juanito

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
8
Database Theory — ICDT '92: 4th International Conference Berlin, Germany, October 14–16, 1992 Proceedings
Database Theory — ICDT '92: 4th International Conference Berlin, Germany, October 14–16, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Database Theory — ICDT '92: 4th International Conference Berlin, Germany, October 14–16, 1992 Proceedings

Biskup, Joachim ; Hull, Richard Biskup, Joachim ; Hull, Richard

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
9
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Halbwachs, Nicolas ; Peled, Doron Peled, Doron ; Halbwachs, Nicolas

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
10
Digital Watermarking: 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers
Digital Watermarking: 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Digital Watermarking: 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers

Kim, Hyoung Joong ; Shi, Yun Q ; Barni, Mauro Barni, Mauro ; Kim, Hyoung-Joong ; Shi, Yun Q

Netherlands: Springer Nature 2011

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (2.027)
  2. Anais de Congresso  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (13)
  2. 1989Até1996  (43)
  3. 1997Até2004  (424)
  4. 2005Até2013  (1.917)
  5. Após 2013  (204)
  6. Mais opções open sub menu

Idioma 

  1. Alemão  (61)
  2. Japonês  (2)
  3. Francês  (1)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Litovsky, I
  2. FORMATS 2004
  3. Lakhnech, Y
  4. Yovine, S
  5. Farr e, J

Neste Assunto:

  1. Machine Theory
  2. Machine Theory
  3. Kongress
  4. Congresses
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.