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: data de publicação: Antes de2009 remover Nome da Publicação: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
XML Static Analyzer User Manual
XML Static Analyzer User Manual
Material Type:
Artigo 		Adicionar ao Meu Espaço

XML Static Analyzer User Manual

Geneves, Pierre ; Layaida, Nabil

arXiv.org, 2008-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Model Checking One-clock Priced Timed Automata
Model Checking One-clock Priced Timed Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Checking One-clock Priced Timed Automata

Bouyer, Patricia ; Larsen, Kim G ; Markey, Nicolas

arXiv.org, 2008-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Executable Set Theory and Arithmetic Encodings in Prolog
Executable Set Theory and Arithmetic Encodings in Prolog
Material Type:
Artigo 		Adicionar ao Meu Espaço

Executable Set Theory and Arithmetic Encodings in Prolog

Tarau, Paul

arXiv.org, 2008-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
An omega-power of a context-free language which is Borel above Delta^0_omega
An omega-power of a context-free language which is Borel above Delta^0_omega
Material Type:
Artigo 		Adicionar ao Meu Espaço

An omega-power of a context-free language which is Borel above Delta^0_omega

Duparc, Jacques ; Finkel, Olivier

arXiv.org, 2008-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
The Cyborg Astrobiologist: Porting from a wearable computer to the Astrobiology Phone-cam
The Cyborg Astrobiologist: Porting from a wearable computer to the Astrobiology Phone-cam
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Cyborg Astrobiologist: Porting from a wearable computer to the Astrobiology Phone-cam

Bartolo, Alexandra ; McGuire, Patrick C ; Camilleri, Kenneth P ; Spiteri, Christopher ; Borg, Jonathan C ; Farrugia, Philip J ; Ormo, Jens ; Gomez-Elvira, Javier ; Rodriguez-Manfredi, Jose Antonio ; Diaz-Martinez, Enrique ; Ritter, Helge ; Haschke, Robert ; Oesker, Markus ; Ontrup, Joerg

arXiv.org, 2007-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification

Collavizza, Hélène ; Rueher, Michel ; Pascal Van Hentenryck

arXiv.org, 2008-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Beyond Nash Equilibrium: Solution Concepts for the 21st Century
Beyond Nash Equilibrium: Solution Concepts for the 21st Century
Material Type:
Artigo 		Adicionar ao Meu Espaço

Beyond Nash Equilibrium: Solution Concepts for the 21st Century

Halpern, Joseph Y

arXiv.org, 2008-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Formal semantics of language and the Richard-Berry paradox
Formal semantics of language and the Richard-Berry paradox
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal semantics of language and the Richard-Berry paradox

Reghizzi, Stefano Crespi

arXiv.org, 2008-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
On the Expressiveness and Complexity of ATL
On the Expressiveness and Complexity of ATL
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Expressiveness and Complexity of ATL

Laroussinie, Francois ; Markey, Nicolas ; Oreiby, Ghassan

arXiv.org, 2008-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Algorithm Selection as a Bandit Problem with Unbounded Losses
Algorithm Selection as a Bandit Problem with Unbounded Losses
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algorithm Selection as a Bandit Problem with Unbounded Losses

Gagliolo, Matteo ; Schmidhuber, Juergen

arXiv.org, 2008-07

Ithaca: Cornell University Library, arXiv.org

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.   

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

Buscando em bases de dados remotas. Favor aguardar.