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
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science) remover data de publicação: 2002Até2009 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization

Bailey, James ; Stuckey, Peter J.

Lecture notes in computer science, 2005, p.174-186 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
2
The Program Inverter LRinv and Its Structure
The Program Inverter LRinv and Its Structure
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Program Inverter LRinv and Its Structure

Kawabe, Masahiko ; Glück, Robert

Lecture notes in computer science, 2005, p.219-234 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
Character-Based Cladistics and Answer Set Programming
Character-Based Cladistics and Answer Set Programming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Character-Based Cladistics and Answer Set Programming

Brooks, Daniel R. ; Erdem, Esra ; Minett, James W. ; Ringe, Donald

Lecture notes in computer science, 2005, p.37-51 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.213-229 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
5
A Full Pattern-Based Paradigm for XML Query Processing
A Full Pattern-Based Paradigm for XML Query Processing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Full Pattern-Based Paradigm for XML Query Processing

Benzaken, Véronique ; Castagna, Giuseppe ; Miachon, Cédric

Lecture notes in computer science, 2005, p.235-252 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
6
Type Class Directives
Type Class Directives
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Type Class Directives

Heeren, Bastiaan ; Hage, Jurriaan

Lecture notes in computer science, 2005, p.253-267 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
7
Improved Fusion for Optimizing Generics
Improved Fusion for Optimizing Generics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Improved Fusion for Optimizing Generics

Alimarine, Artem ; Smetsers, Sjaak

Lecture notes in computer science, 2005, p.203-218 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
Safe Programming with Pointers Through Stateful Views
Safe Programming with Pointers Through Stateful Views
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Safe Programming with Pointers Through Stateful Views

Zhu, Dengping ; Xi, Hongwei

Practical Aspects of Declarative Languages, p.83-97 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
9
From Secrecy to Authenticity in Security Protocols
From Secrecy to Authenticity in Security Protocols
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

From Secrecy to Authenticity in Security Protocols

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.342-359 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics

Wang, Qian ; Gupta, Gopal ; Leuschel, Michael

Lecture notes in computer science, 2005, p.98-112 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

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

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

Buscando em bases de dados remotas. Favor aguardar.