Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
XML Static Analyzer User ManualGeneves, Pierre ; Layaida, NabilarXiv.org, 2008-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Model Checking One-clock Priced Timed AutomataBouyer, Patricia ; Larsen, Kim G ; Markey, NicolasarXiv.org, 2008-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Executable Set Theory and Arithmetic Encodings in PrologTarau, PaularXiv.org, 2008-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
The Cyborg Astrobiologist: Porting from a wearable computer to the Astrobiology Phone-camBartolo, 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, JoergarXiv.org, 2007-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Beyond Nash Equilibrium: Solution Concepts for the 21st CenturyHalpern, Joseph YarXiv.org, 2008-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
On the Expressiveness and Complexity of ATLLaroussinie, Francois ; Markey, Nicolas ; Oreiby, GhassanarXiv.org, 2008-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Algorithm Selection as a Bandit Problem with Unbounded LossesGagliolo, Matteo ; Schmidhuber, JuergenarXiv.org, 2008-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
A General Framework for Sound and Complete Floyd-Hoare LogicsArthan, Rob ; Martin, Ursula ; Mathiesen, Erik A ; Oliva, PauloarXiv.org, 2008-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Data-Complexity of the Two-Variable Fragment with Counting QuantifiersPratt-Hartmann, IanarXiv.org, 2008-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Shallow Models for Non-Iterative Modal LogicsSchröder, Lutz ; Patinson, DirkarXiv.org, 2008-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |