skip to main content
Idioma:
Refinado por: assunto: Técnicas De Programação remover assunto: Machine Theory remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Jan Willem Klop; Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer

Berlin u.a. Springer 2005

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

2
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings

Hentenryck, Pascal Van Van Hentenryck, Pascal

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
3
Handbook of Process Algebra
Handbook of Process Algebra
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of Process Algebra

Bergstra, J. A ; Ponse, A ; Smolka, S. A

San Diego: Elsevier Science & Technology 2001

Texto completo disponível

Citações Citado por
4
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista ; Leone, Nicola Leone, Nicola ; Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
5
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Lifschitz, Vladimir ; Niemelä, Ilkka Niemelä, Ilkka ; Lifschitz, Vladimir

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 de2002  (1)
  2. 2002Até2002  (2)
  3. 2003Até2003  (1)
  4. 2004Até2005  (2)
  5. Após 2005  (2)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Middeldorp, A
  2. Raamsdonk, F
  3. Vrijer, R
  4. Klop, J
  5. Oostrom, V

Neste Assunto:

  1. Técnicas De Programação
  2. Machine Theory
  3. Computer Science
  4. Machine Theory
  5. Técnicas De Programação

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

Buscando em bases de dados remotas. Favor aguardar.