skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Workshop on Computer Science Logic (13th 1999 Madrid, Spain) Jörg Flum; M Rodríguez Artalejo (Mario); European Association for Computer Science Logic Conference Madrid, Spain) 1999

Berlin New York Springer c1999

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

2
ECOOP 2002 - Object-Oriented Programming: 16th European Conference, Malaga, Spain, June 10-14, 2002 : Proceedings
ECOOP 2002 - Object-Oriented Programming: 16th European Conference, Malaga, Spain, June 10-14, 2002 : Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ECOOP 2002 - Object-Oriented Programming: 16th European Conference, Malaga, Spain, June 10-14, 2002 : Proceedings

Magnusson, Boris Magnusson, Boris

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
3
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

Naftalin, Maurice ; Denvir, Tim ; Bertran, Miquel Bertran, Miquel ; Denvir, Tim ; Naftalin, Maurice

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
4
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
5
Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings
Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

Valette, Robert Valette, Robert

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
6
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers

Ehrig, Hartmut ; Orejas, Fernando Orejas, Fernando ; Ehrig, Hartmut

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
7
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Hermenegildo, Manuel ; Penjam, Jaan Hermenegildo, Manuel ; Penjam, Jaan

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
8
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Falcone, Yliès ; Sánchez, César S'nchez, C'sar ; Falcone, Yli's ; Sánchez, César ; Falcone, Yliès

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
9
Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Frutos-Escrig, David de ; Núñez, Manuel Núñez, Manuel ; de Frutos-Escrig, David

Berlin, Heidelberg: Springer Berlin Heidelberg 2004

Texto completo disponível

Citações Citado por
10
Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings
Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

Comon, Hubert Comon, Hubert

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (63)
  2. Reports  (8)
  3. Artigos  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (4)
  2. 1964Até1987  (5)
  3. 1988Até2001  (6)
  4. 2002Até2006  (37)
  5. Após 2006  (36)
  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.