skip to main content
previous page 3 4 Resultados 5 6 7 next page
Mostrar Somente
Refinado por: tipo de recurso: Livros remover autor: Siekmann, Jörg remover
Result Number Material Type Add to My Shelf Action Record Details and Options
41
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Brinksma, Ed ; Larsen, Kim Guldstrand Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science, [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

42
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Margaria, Tiziana ; Melham, Tom Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

43
Graph Based Representations in Pattern Recognition: 4th IAPR International Workshop, GbRPR 2003 York, UK, June 30 – July 2, 2003 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Graph Based Representations in Pattern Recognition: 4th IAPR International Workshop, GbRPR 2003 York, UK, June 30 – July 2, 2003 Proceedings

Hancock, Edwin ; Vento, Mario Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

44
Spatial Information Theory: Foundations of Geographic Information Science International Conference, COSIT 2001 Morro Bay, CA, USA, September 19–23, 2001 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Spatial Information Theory: Foundations of Geographic Information Science International Conference, COSIT 2001 Morro Bay, CA, USA, September 19–23, 2001 Proceedings

Montello, Daniel R Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

45
Advanced Information Systems Engineering: 15th International Conference, CAiSE 2003 Klagenfurt/Velden, Austria, June 16–20, 2003 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advanced Information Systems Engineering: 15th International Conference, CAiSE 2003 Klagenfurt/Velden, Austria, June 16–20, 2003 Proceedings

Eder, Johann ; Missikoff, Michele Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

46
DNA Computing: 6th InternationalWorkshop on DNA-Based Computers, DNA 2000 Leiden, The Netherlands, June 13–17, 2000 Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

DNA Computing: 6th InternationalWorkshop on DNA-Based Computers, DNA 2000 Leiden, The Netherlands, June 13–17, 2000 Revised Papers

Condon, Anne ; Rozenberg, Grzegorz Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

47
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 14th International Symposium, AAECC-14 Melbourne, Australia, November 26–30, 2001 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 14th International Symposium, AAECC-14 Melbourne, Australia, November 26–30, 2001 Proceedings

Boztaş, Serdar ; Shparlinski, Igor E Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

48
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

Reed, Rick ; Reed, Jeanne Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Ver todas as versões
49
Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions
Material Type:
Livro
Adicionar ao Meu Espaço

Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions

Jünger, Michael ; Naddef, Denis Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

50
Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

Mohnen, Markus ; Koopman, Pieter Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

previous page 3 4 Resultados 5 6 7 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

Data de Publicação 

De até
  1. Antes de1994  (2)
  2. 1994Até1998  (9)
  3. 1999Até2000  (52)
  4. 2001Até2003  (106)
  5. Após 2003  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.