skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Lista de Todas as Versões Livros remover Lista de Todas as Versões Siekmann, Jörg remover Lista de Todas as Versões Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Genetic Programming: Second European Workshop, EuroGP'99 Göteborg, Sweden, May 26-27, 1999 Proceedings
Genetic Programming: Second European Workshop, EuroGP'99 Göteborg, Sweden, May 26-27, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Genetic Programming: Second European Workshop, EuroGP'99 Göteborg, Sweden, May 26-27, 1999 Proceedings

Poli, Riccardo ; Nordin, Peter ; Langdon, William B ; Fogarty, Terence C Poli, Riccardo ; Langdon, William B. ; Fogarty, Terence C. ; Nordin, Peter

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
2
Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings

Cointe, Pierre Cointe, Pierre

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
3
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99 Toulouse, France, September 27-29, 1999 Proceedings
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99 Toulouse, France, September 27-29, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99 Toulouse, France, September 27-29, 1999 Proceedings

Carbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard Felici, Massimo ; Kanoun, Karama

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
4
SDL 2001 Meeting UML: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : Proceedings
SDL 2001 Meeting UML: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

SDL 2001 Meeting UML: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : Proceedings

Carbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard Reed, Jeanne ; Reed, Rick

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
5
Static Analysis: 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : Proceedings
Static Analysis: 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : Proceedings

Cousot, Patrick Cousot, Patrick

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
6
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings

Carbonell, Jaime G ; Siekmann, Jörg ; Goos, G ; Massinek, Mieke Massink, Mieke ; Gerth, Rob ; Leue, Stefan ; Dams, Dennis

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
7
Algorithm Engineering: 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings
Algorithm Engineering: 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithm Engineering: 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings

Vitter, Jeffrey S ; Zaroliagis, Christos D Zaroliagis, Christos D. ; Vitter, Jeffrey S.

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
8
Automated Deduction CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 Proceedings
Automated Deduction CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Deduction CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 Proceedings

Ganzinger, Harald

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
9
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Hutter, Dieter ; Stephan, Werner

Berlin, Heidelberg: Springer Berlin / Heidelberg 2005

Sem texto completo

Citações Citado por
10
Optimal Interprocedural Program Optimization: A New Framework and Its Application
Optimal Interprocedural Program Optimization: A New Framework and Its Application
Material Type:
Livro 		Adicionar ao Meu Espaço

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Knoop, Jens

Berlin, Heidelberg: Springer Nature 1998

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.   

Mostrar Somente

  1. Recursos Online (17)
  2. Revistas revisadas por pares (13)

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

Buscando em bases de dados remotas. Favor aguardar.