E-LIB Suche - Ergebnisse für: Barthe Arias, Antonio

1

Las abejas: un núcleo de interés:

Barthe Arias, Antonio
https://reunido.uniovi.es/index.php/MSG/article/view/14054/13983. , 2019

Link: https://reunido.uniovi.e..

2

Materiales de construcción: el cemento y el hormigón:

Barthe Arias, Antonio
https://reunido.uniovi.es/index.php/MSG/article/view/14042/13757. , 2019

Link: https://reunido.uniovi.e..

3

Primeros pasos en Competencias Clave : Ciencias, Idioma (In..:

Argüelles Antuña, Rosa María ; Bárcena Rodríguez, Jesús ; Barthe Arias, Antonio...
Materiales de apoyo a la acción educativa. Organización y gestión educativa. , 2005

Link: http://hdl.handle.net/11..

4

Primeros pasos en Competencias Clave : Ciencias, Idioma (In..:

Argüelles Antuña, Rosa María ; Bárcena Rodríguez, Jesús María ; Barthe Arias, Antonio...
Materiales de apoyo a la acción educativa. Organización y gestión educativa. , 2005

Link: http://hdl.handle.net/11..

5

La región asturiana : elementos básicos para su estudio. Tr..:

Barthe Arias, Antonio ; Fernández Diego, Francisco Javier ; Fernández Jiménez, Vicenta...
http://hdl.handle.net/11162/5253. , 1989

Link: http://hdl.handle.net/11..

6

La región asturiana : elementos básicos para su estudio. Tr..:

Barthe Arias, Antonio ; Fernández Diego, Francisco Javier ; Fernández Jiménez, Vicenta...
http://hdl.handle.net/11162/5253. , 1989

Link: http://hdl.handle.net/11..

7

La región asturiana : Elementos básicos para su estudio. Tr..:

Barthe Arias, Antonio ; Fernández Diego, Francisco Javier ; Fernández Jiménez, Vicenta...
Dayures. Materiales didácticos. , 1989

Link: http://hdl.handle.net/11..

8

La región asturiana : Elementos básicos para su estudio. Tr..:

Barthe Arias, Antonio ; Fernández Diego, Francisco Javier ; Fernández Jiménez, Vicenta...
Dayures. Materiales didácticos. , 1989

Link: http://hdl.handle.net/11..

9

NL-Augmenter 🦎 → 🐍 A Framework for Task-Sensitive Natural L..:

Dhole, Kaustubh ; Gangal, Varun ; Gehrmann, Sebastian...
Northern European Journal of Language Technology. 9 (2023) 1 - p. , 2023

Link: https://doi.org/10.3384/..

10

Differentially Private Bayesian Programming:

, In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,

Barthe, Gilles ; Farina, Gian Pietro ; Gaboardi, Marco... - p. 68-79 , 2016

Link: https://dl.acm.org/doi/1..

11

Higher-Order Approximate Relational Refinement Types for Me..:

Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesús...
ACM SIGPLAN Notices. 50 (2015) 1 - p. 55-68 , 2015

Link: https://doi.org/10.1145/..

12

Higher-Order Approximate Relational Refinement Types for Me..:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesús... - p. 55-68 , 2015

Link: https://dl.acm.org/doi/1..

13

Proving Differential Privacy in Hoare Logic:

, In: 2014 IEEE 27th Computer Security Foundations Symposium,

Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesus... - p. 411-424 , 2014

Link: https://doi.org/10.1109/..

14

Activation of Serine One-Carbon Metabolism by Calcineurin A..:

Padrón-Barthe, Laura ; Villalba-Orero, María ; Gómez-Salinero, Jesús M....
Journal of the American College of Cardiology. 71 (2018) 6 - p. 654-667 , 2018

Link: https://doi.org/10.1016/..