E-LIB Suche - Ergebnisse für: Puebla-García, Virginia - Sprache DE

Buchkapitel (Online) X

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Software Engineering 2.0: A Social Global Repository Based ..:

, In: The Open Knowlege Society. A Computer Science and Information Systems Manifesto; Communications in Computer and Information Science,

Colomo-Palacios, Ricardo ; Gómez-Berbís, Juan Miguel ; García-Crespo, Ángel. - p. 468-475 ,

Link: https://doi.org/10.1007/..

2

The Role of Nanoscience in Cancer Diagnosis:

, In: Handbook of Nanomaterials for Cancer Theranostics,

Guerrini, Luca ; Garcia-Rico, Eduardo ; Alvarez-Puebla, Ramon - p. 177-197 , 2018

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

3

The Thexmex-18 Dataset: Understanding the Soil and Vegetati..:

, In: IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium,

Monsivais-Huertero, Alejandro ; Aparicio-Garcia, Ramon Sidonio ; Sanchez-Villanueva, Carlos Rodolfo... - p. 6190-6193 , 2019

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

4

Combining static analysis and profiling for estimating exec..:

, In: Proceedings of the 9th international conference on Practical Aspects of Declarative Languages,

Mera, Edison ; López-García, Pedro ; Puebla, Germán.. - p. 140-154 , 2007

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

5

Combining Static Analysis and Profiling for Estimating Exec..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Mera, Edison ; López-García, Pedro ; Puebla, Germán.. - p. 140-154 , 2006

Link: https://doi.org/10.1007/..

6

Abstraction carrying code and resource-awareness:

, In: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming,

Hermenegildo, Manuel V. ; Albert, Elvira ; López-García, Pedro. - p. 1-11 , 2005

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

7

Program development using abstract interpretation (and the ..:

, In: Proceedings of the 10th international conference on Static analysis,

Hermenegildo, Manuel V. ; Puebla, Germán ; Bueno, Francisco. - p. 127-152 , 2003

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

8

Abstract Verification and Debugging of Constraint Logic Pro..:

, In: Lecture Notes in Computer Science; Recent Advances in Constraints,

Hermenegildo, Manuel ; Puebla, Germán ; Bueno, Francisco. - p. 1-14 , 2003

Link: https://doi.org/10.1007/..

1-8