Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
21 |
Material Type: Recurso Textual
|
![]() |
Special Issue: Proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing (CASC 2019)England, Matthew ; Koepf, Wolfram ; Sadykov, Timur M. ; Seiler, Werner ; Sturm, ThomasMathematics in Computer Science, 2021SpringerTexto completo disponível |
22 |
Material Type: Recurso Textual
|
![]() |
Chaos Engineering of Ethereum Blockchain ClientsZhang, Long ; Javier, Ron ; Baudry, Benoit ; Monperrus, MartinarXiv.org, 2023Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
23 |
Material Type: Recurso Textual
|
![]() |
PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem ProvingKeller, Chantal ; Fleury, MathiasElectronic Proceedings in Theoretical Computer Science, 2021, Vol.336EPTCSTexto completo disponível |
24 |
Material Type: Recurso Textual
|
![]() |
Open Problems in Concurrency TheorySokolova, Ana ; D'Argenio, Pedro ; Castellani, Ilaria ; Mousavi, Mohammad RezaJournal of Logical and Algebraic Methods in Programming, 2019ElsevierTexto completo disponível |
25 |
Material Type: Recurso Textual
|
![]() |
Guest Editors’ Foreword special issue of Discrete & Computational GeometryGoaoc, Xavier ; Kerber, MichaelDiscrete and Computational Geometry, 2023Springer VerlagTexto completo disponível |
26 |
Material Type: Recurso Textual
|
![]() |
Sign Language Translation and Avatar TechnologiesWolfe, Rosalee ; Braffort, Annelies ; Efthimiou, Eleni ; Fotinea, Stavroula-Evita ; Hanke, Thomas ; Shterionov, DimitarUniversal Access in the Information Society, 2023Springer VerlagTexto completo disponível |
27 |
Material Type: Recurso Textual
|
![]() |
LapNet : Automatic Balanced Loss and Optimal Assignment for Real-Time Dense Object DetectionChabot, Florian ; Pham, Quoc-Cuong ; Chaouch, MohamedarXiv.org, 2020Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
28 |
Material Type: Recurso Textual
|
![]() |
Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018Loulergue, FrédéricJournal of Logical and Algebraic Methods in Programming, 2020, Vol.116ElsevierTexto completo disponível |
29 |
Material Type: Recurso Textual
|
![]() |
La fabrique du numérique frugalRomero, Daniel ; Rouvoy, RomainPour la science, 2023Pour la ScienceTexto completo disponível |
30 |
Material Type: Recurso Textual
|
![]() |
Emerging Theories and Technologies for Blockchain-Driven MetaverseCai, Wei ; Wen, Yonggang ; Claypool, Mark ; Abdallah, Maha ; Zhu, YufengACM Transactions on Multimedia Computing, Communications and Applications, 2023Association for Computing MachineryTexto completo disponível |