E-LIB Suche - Ergebnisse für: Duarte H., Carlos

1

A Branching Time Logical System for Open Distributed System..:

Duarte, Carlos H.C. ; Maibaum, Tom
Electronic Notes in Theoretical Computer Science. 67 (2002) - p. 184-203 , 2002

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

2

A rely–guarantee discipline for open distributed systems de..:

Duarte, Carlos H.C. ; Maibaum, Tom
Information Processing Letters. 74 (2000) 1-2 - p. 55-63 , 2000

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

3

Proof-theoretic foundations for the design of actor systems:

DUARTE, CARLOS H. C.
Mathematical Structures in Computer Science. 9 (1999) 3 - p. 227-252 , 1999

Link: https://doi.org/10.1017/..

4

Influence of environmental variables on the abundance of Sy..:

Abrogueña, Jeff Bogart R. ; Tanita, Iwao ; Anton, Andrea...
Regional Studies in Marine Science. 66 (2023) - p. 103133 , 2023

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

5

Moving beyond neurons:the role of cell type-specific gene r..:

Reynolds, R. H. (Regina H.) ; Botia, J. (Juan) ; Nalls, M. A. (Mike A.)... , 2019

Link: http://urn.fi/urn:nbn:fi..

6

Biomares, a LIFE project to restore and manage the biodiver..:

Cunha, Alexandra H. ; Erzini, Karim ; Serrão, Ester A....
Journal of Coastal Conservation. 18 (2014) 6 - p. 643-655 , 2014

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

7

Biomares, a LIFE project to restore and manage the biodiver..:

Cunha, Alexandra H. ; Erzini, Karim ; Serrão, Ester A....
Journal of Coastal Conservation. 18 (2014) 6 - p. 643-655 , 2014

Link: https://www.jstor.org/st..

8

Los recuerdos del porvenir:

Duarte H., Carlos
Papel de colgadura;Vol. 2 - 2009. , 2012

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

9

Los recuerdos del porvenir:

Duarte H., Carlos
Papel de colgadura: vademécum gráfico y cultural Vol. 2 - 2009. , 2009

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

10

No. 1 - 2009 / PAPEL DE COLGADURA:

Duarte H., Carlos ; Quiñones, Sara ; García, Sara...
Papel de colgadura;No.1 – 2009. , 2009

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

11

La canción que no he escrito:

Duarte H., Carlos
Artes y Humanidades;. ,

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

12

Marine picoplankton metagenomes and MAGs from eleven vertic..:

Sánchez, Pablo ; Coutinho, Felipe H. ; Sebastián, Marta...
Scientific Data. 11 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..

13

High temperature and solar radiation in the Red Sea enhance..:

Kottuparambil, Sreejith ; Ashok, Ananya ; López, Patricia...
Environmental Science and Pollution Research. 31 (2024) 29 - p. 42034-42048 , 2024

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

14

Deep-ocean seaweed dumping for carbon sequestration: Questi..:

Chopin, Thierry ; Costa-Pierce, Barry A. ; Troell, Max...
One Earth. 7 (2024) 3 - p. 359-364 , 2024

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

15

Consistent Symbiodiniaceae community assemblage in a mesoph..:

Vimercati, Silvia ; Terraneo, Tullia I. ; Castano, Carolina Bocanegra...
Frontiers in Marine Science. 11 (2024) - p. , 2024

Link: https://doi.org/10.3389/..