E-LIB Suche - Ergebnisse für: Nguyễn, C.C

1

WCN23-0772 PEDIATRIC CLASS V LUPUS NEPHRITIS AT 2 TERTIARY ..:

NGUYỄN, C. ; Hoang Thi Diem, T. ; Nguyen Duc, Q..
Kidney International Reports. 8 (2023) 3 - p. S465-S466 , 2023

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

2

Nghiên cứu xử lý nước thải chế biến vỏ đầu tôm bằng công ng..:

Nguyễn, Xuân Hoàng ; Nguyễn, Đắc Cử ; Lê, Hoàng Việt.
CTU Journal of Science. 59 (2023) 4 - p. 42-49 , 2023

Link: https://doi.org/10.22144..

3

Corpse reviver: sound and efficient gradual typing via cont..:

Moy, Cameron ; Nguyễn, Phúc C. ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

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

4

Corpse reviver: sound and efficient gradual typing via cont..:

Moy, Cameron ; Nguyễn, Phúc C. ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

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

5

Chronic Periodontitis and Immunity, Towards the Implementat..:

Inchingolo, Francesco ; Martelli, Francesco Saverio ; Gargiulo Isacco, Ciro...
Biomedicines. 8 (2020) 5 - p. 115 , 2020

Link: https://doi.org/10.3390/..

6

Oral Microbiota and Immune System Crosstalk: A Translationa..:

Ballini, Andrea ; Dipalma, Gianna ; Isacco, Ciro Gargiulo...
Biology. 9 (2020) 6 - p. 131 , 2020

Link: https://doi.org/10.3390/..

7

Size-change termination as a contract: dynamically and stat..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Nguyễn, Phúc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam. - p. 845-859 , 2019

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

8

Soft contract verification for higher-order stateful progra..:

Nguyễn, Phúc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-30 , 2017

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

9

Soft contract verification for higher-order stateful progra..:

Nguyễn, Phúc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-30 , 2017

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

10

Relatively complete counterexamples for higher-order progra..:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Nguyễn, Phúc C. ; Van Horn, David - p. 446-456 , 2015

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

11

Fission Yeast Exo1 and Rqh1-Dna2 Redundantly Contribute to ..:

Nanbu, Tomoko ; Nguyễn, Luân C. ; Habib, Ahmed G. K....
PLOS ONE. 10 (2015) 10 - p. e0140456 , 2015

Link: https://doi.org/10.1371/..

12

Relatively complete counterexamples for higher-order progra..:

Nguyễn, Phúc C. ; Van Horn, David
ACM SIGPLAN Notices. 50 (2015) 6 - p. 446-456 , 2015

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

13

Thị trường các bon rừng tại Việt Nam: Cơ sở pháp lí, cơ hội..:

Pham, T.T ; Tăng Thị, K.H ; Nguyễn, C.C
Pham, T.T., Tang Thi, K.H., Nguyen, C.C. 2022. Thị trường các bon rừng tại Việt Nam: Cơ sở pháp lí, cơ hội và thách thức. Occasional Paper 237. Bogor, Indonesia: CIFOR. https://doi.org/10.17528/cifor/008797. , 2023

Link: https://hdl.handle.net/1..

14

Forest carbon market in Vietnam: Legal framework, opportuni..:

Pham, T.T ; Tăng Thị, K.H ; Nguyễn, C.C
Occasional Paper. , 2023

Link: https://hdl.handle.net/1..

15

Forest carbon market in Vietnam: Legal framework, opportuni..:

Pham, T. T ; Tăng Thị, K.H ; Nguyễn, C.C
Occasional Paper. , 2023

Link: https://hdl.handle.net/1..