skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The Canon Tables of the Psalms: An Unknown Work of Eusebius of Caesarea
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

The Canon Tables of the Psalms: An Unknown Work of Eusebius of Caesarea

WALLRAFF, MARTIN

Dumbarton Oaks papers, 2013, Vol.67, p.1-14

Dumbarton Oaks Research Library and Collection

Texto completo disponível

2
Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices

Tarau, Paul Rabe, Florian ; Sorge, Volker ; Kaliszyk, Cezary ; Kerber, Manfred ; Carette, Jacques

Intelligent Computer Mathematics, p.118-133 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

3
On a uniform representation of combinators, arithmetic, lambda terms and types
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

On a uniform representation of combinators, arithmetic, lambda terms and types

Tarau, Paul

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015, p.244-255

New York, NY, USA: ACM

Texto completo disponível

4
An embedded declarative data transformation language
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

An embedded declarative data transformation language

Tarau, Paul

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, 2009, p.171-182

New York, NY, USA: ACM

Texto completo disponível

5
AN ALTERNATIVE 3D ADDRESS VISUALIZATION METHOD FOR BUILDINGS AND BUILDING INDEPENDENT SECTIONS WITH GIS-BASED 3D MODELLING APPROACH
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

AN ALTERNATIVE 3D ADDRESS VISUALIZATION METHOD FOR BUILDINGS AND BUILDING INDEPENDENT SECTIONS WITH GIS-BASED 3D MODELLING APPROACH

Bediroglu, S. ; Yıldırım, V.

International archives of the photogrammetry, remote sensing and spatial information sciences., 2021, Vol.XLVI-4/W5-2021, p.97-102 [Periódico revisado por pares]

Gottingen: Copernicus GmbH

Texto completo disponível

6
Guaranteeing High Availability Goals for Virtual Machine Placement
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Guaranteeing High Availability Goals for Virtual Machine Placement

Bin, E. ; Biran, O. ; Boni, O. ; Hadad, E. ; Kolodner, E. K. ; Moatti, Y. ; Lorenz, D. H.

2011 31st International Conference on Distributed Computing Systems, 2011, p.700-709

IEEE

Texto completo disponível

7
Efficient storage scheme and query processing for supply chain management using RFID
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Efficient storage scheme and query processing for supply chain management using RFID

Lee, Chun-Hee ; Chung, Chin-Wan

Proceedings of the 2008 ACM SIGMOD international conference on Management of data, 2008, p.291-302

New York, NY, USA: ACM

Texto completo disponível

8
A variant of Snay's algorithm
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A variant of Snay's algorithm

Gonzaga de Oliveira, Sanderson L. ; Bernardes, Junior A. B. ; de Abreu, Alexandre A. A. M.

2018 37th International Conference of the Chilean Computer Science Society (SCCC), 2018, p.1-5

IEEE

Texto completo disponível

9
Ability to Count Messages Is Worth Θ(Δ) Rounds in Distributed Computing
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Ability to Count Messages Is Worth Θ(Δ) Rounds in Distributed Computing

Lempiainen, Tuomo

2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10

ACM

Texto completo disponível

10
Two Problems for Sophistication
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Two Problems for Sophistication

Bloem, Peter ; de Rooij, Steven ; Adriaans, Pieter Chaudhuri, Kamalika ; GENTILE, CLAUDIO ; Zilles, Sandra

Algorithmic Learning Theory, p.379-394 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (11)

Data de Publicação 

De até
  1. Antes de2004  (4)
  2. 2004Até2006  (10)
  3. 2007Até2009  (7)
  4. 2010Até2013  (13)
  5. Após 2013  (14)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.