Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese
|
![]() |
Acceleration for the many, not the fewWoodruff, JacksonThe University of Edinburgh 2024Texto completo disponível |
2 |
Material Type: Tese
|
![]() |
Towards a domain specific language for computational fluid dynamics in HPCMacià Sorrosal, SandraUniversitat Politècnica de Catalunya 2024Texto completo disponível |
3 |
Material Type: Tese
|
![]() |
Desarrollo de un tutorial interactivo para el aprendizaje de PrologGarcía Muñoz, CarlosUniversitat Politècnica de València 2024Texto completo disponível |
4 |
Material Type: Tese
|
![]() |
Comparación de técnicas de generación de códigoMartí Pérez, FélixUniversitat Politècnica de València 2024Texto completo disponível |
5 |
Material Type: Tese
|
![]() |
The theory of Boolean counterfactual reasoningRückschloß, KilianLudwig-Maximilians-Universität München 2024Texto completo disponível |
6 |
Material Type: Tese
|
![]() |
Creación, uso y aplicaciones de un corpus especializado para la traducción de documentos de licitación pública internacional en chino y españolWang, ShashaUniversitat Autònoma de Barcelona 2024Texto completo disponível |
7 |
Material Type: Tese
|
![]() |
A Quantum-Inspired Analysis of Human Disambiguation Processes: Foundational Theory and ApplicationsWang, Daphne PaulineUCL (University College London) 2024Texto completo disponível |
8 |
Material Type: Tese
|
![]() |
Automatic differentiation via effects and handlersSigal, Jesse AaronThe University of Edinburgh 2024Texto completo disponível |
9 |
Material Type: Tese
|
![]() |
Type systems for safe strategic rewritingFu, RongxiaoThe University of Edinburgh 2024Texto completo disponível |
10 |
Material Type: Tese
|
![]() |
Webová aplikace univerzálního rezervačního systémuDoležalová, ŠárkaVysoká škola ekonomická v Praze 2024Texto completo disponível |