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
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
5
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
6
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
7
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
8
A General Framework for Sound and Complete Floyd-Hoare Logics
A General Framework for Sound and Complete Floyd-Hoare Logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

A General Framework for Sound and Complete Floyd-Hoare Logics

Arthan, Rob ; Martin, Ursula ; Mathiesen, Erik A ; Oliva, Paulo

arXiv.org, 2008-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers

Pratt-Hartmann, Ian

arXiv.org, 2008-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Shallow Models for Non-Iterative Modal Logics
Shallow Models for Non-Iterative Modal Logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Shallow Models for Non-Iterative Modal Logics

Schröder, Lutz ; Patinson, Dirk

arXiv.org, 2008-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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.