Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
The Canon Tables of the Psalms: An Unknown Work of Eusebius of CaesareaWALLRAFF, MARTINDumbarton Oaks papers, 2013, Vol.67, p.1-14Dumbarton Oaks Research Library and CollectionTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Ranking/Unranking of Lambda Terms with Compressed de Bruijn IndicesTarau, Paul Rabe, Florian ; Sorge, Volker ; Kaliszyk, Cezary ; Kerber, Manfred ; Carette, JacquesIntelligent Computer Mathematics, p.118-133 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
On a uniform representation of combinators, arithmetic, lambda terms and typesTarau, PaulProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015, p.244-255New York, NY, USA: ACMTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
An embedded declarative data transformation languageTarau, PaulProceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, 2009, p.171-182New York, NY, USA: ACMTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
AN ALTERNATIVE 3D ADDRESS VISUALIZATION METHOD FOR BUILDINGS AND BUILDING INDEPENDENT SECTIONS WITH GIS-BASED 3D MODELLING APPROACHBediroglu, 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 GmbHTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Guaranteeing High Availability Goals for Virtual Machine PlacementBin, 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-709IEEETexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Efficient storage scheme and query processing for supply chain management using RFIDLee, Chun-Hee ; Chung, Chin-WanProceedings of the 2008 ACM SIGMOD international conference on Management of data, 2008, p.291-302New York, NY, USA: ACMTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
A variant of Snay's algorithmGonzaga 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-5IEEETexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Ability to Count Messages Is Worth Θ(Δ) Rounds in Distributed ComputingLempiainen, Tuomo2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10ACMTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Two Problems for SophisticationBloem, Peter ; de Rooij, Steven ; Adriaans, Pieter Chaudhuri, Kamalika ; GENTILE, CLAUDIO ; Zilles, SandraAlgorithmic Learning Theory, p.379-394 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |