المؤلفون: Doan, Thi Thu Ha, Thiemann, Peter

مصطلحات موضوعية: Computer Science - Programming Languages, 68N15

URL الوصول: http://arxiv.org/abs/2108.11867

المؤلفون: Arvay, Barnabas, Doan, Thi Thu Ha, Thiemann, Peter

المساهمون: Barnabas Arvay and Thi Thu Ha Doan and Peter Thiemann

مصطلحات موضوعية: Smart Contract, Blockchain, Formal Verification, Symbolic Execution

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.3

الاتاحة: https://doi.org/10.4230/LIPIcs.ECOOP.2024.3
https://nbn-resolving.org/urn:nbn:de:0030-drops-208529
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.3

المؤلفون: Doan, Thi Thu Ha, Nguyen, Thi Thu Huong, Pham, Van Hieu, Khuong, Huyen Duc

المصدر: Journal of Law and Sustainable Development; Vol. 11 No. 11 (2023): Continuous publication; e1628 ; Journal of Law and Sustainable Development; Vol. 11 Núm. 11 (2023): Continuous publication; e1628 ; Journal of Law and Sustainable Development; v. 11 n. 11 (2023): Continuous publication; e1628 ; 2764-4170

مصطلحات موضوعية: the drive to defend (D), mechanical engineering firms, employees, human resources, work motivation, economics

وصف الملف: application/pdf

Relation: https://ojs.journalsdg.org/jlss/article/view/1628/828; https://ojs.journalsdg.org/jlss/article/view/1628

الاتاحة: https://ojs.journalsdg.org/jlss/article/view/1628
https://doi.org/10.55908/sdgs.v11i11.1628

المؤلفون: Doan, Thi Thu Ha, Thiemann, Peter

المصدر: 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). - Wadern, 2021. - 5, ISBN: 978-3-95977-209-9

وصف الملف: pdf

Relation: https://freidok.uni-freiburg.de/data/255789

الاتاحة: https://freidok.uni-freiburg.de/data/255789
https://nbn-resolving.org/urn:nbn:de:bsz:25-freidok-2557892
https://doi.org/10.4230/oasics.fmbc.2021.5
https://freidok.uni-freiburg.de/dnb/download/255789

المؤلفون: Doan Thi Thu Ha, Seon-Ho Kim, Deg-Hyo Bae

المصدر: Applied Sciences; Volume 10; Issue 9; Pages: 3333

مصطلحات موضوعية: transboundary basin, flood risk, dam failure, Imjin basin, river management

جغرافية الموضوع: agris

وصف الملف: application/pdf

Relation: Environmental Sciences; https://dx.doi.org/10.3390/app10093333

الاتاحة: https://doi.org/10.3390/app10093333

المؤلفون: Doan Thi Thu Ha, Mona Ghafouri-Azar, Deg-Hyo Bae

المصدر: Water; Volume 11; Issue 11; Pages: 2411

مصطلحات موضوعية: SWAT model, climate change, runoff coefficient, surface runoff, groundwater flow, MME analysis, water scarcity

جغرافية الموضوع: agris

وصف الملف: application/pdf

Relation: Hydrology; https://dx.doi.org/10.3390/w11112411

الاتاحة: https://doi.org/10.3390/w11112411

المؤلفون: ĐOÀN THỊ, THU HÀ

المصدر: NUAE Journal of Art Education; Vol. 3 No. 30 (2019): Tập. 3 Số. 30 (2019): Tạp chí Giáo dục Nghệ thuật số 30-2019; 61 ; Tạp chí Giáo dục Nghệ thuật; Tập. 3 Số. 30 (2019): Tập. 3 Số. 30 (2019): Tạp chí Giáo dục Nghệ thuật số 30-2019; 61 ; 1859-4964

مصطلحات موضوعية: Musical elements, structure, Phu Tho Gheo singing, Yếu tố âm nhạc, cấu trúc, Hát Ghẹo Phú Thọ, hist, stat

Relation: https://vjol.info.vn/index.php/tcgiaoducnghethuat/article/view/80261

الاتاحة: https://vjol.info.vn/index.php/tcgiaoducnghethuat/article/view/80261

المؤلفون: Pham Thi Thanh Nga, Le Quoc Huy, Pham Van Tien, Doan Thi Thu Ha, Tran Thanh Thuy, Nguyen Lam Anh, Bui Trong Han

المصدر: Journal of Climate change science ; No. 27 (2023): JOURNAL OF CLIMATE CHANGE SCIENCE ; 11-22 ; Tạp chí Khoa học Biến đổi khí hậu; Số. 27 (2023): JOURNAL OF CLIMATE CHANGE SCIENCE ; 2525-2496

مصطلحات موضوعية: Extreme wave analysis, SWAN model, offshore structures

وصف الملف: application/pdf

Relation: https://vjol.info.vn/index.php/TCKHBDKH/article/view/85950/73121; https://vjol.info.vn/index.php/TCKHBDKH/article/view/85950

الاتاحة: https://vjol.info.vn/index.php/TCKHBDKH/article/view/85950
https://doi.org/10.55659/2525-2496/27.85950

المؤلفون: Phạm Phương, Nam, Nguyễn Thị, Huệ, Đoàn Thị Thu, Hà

المصدر: Thanh Dong university journal of science and technology; Vol. 10 No. 10 (2023): Tạp chí khoa học và công nghệ Trường Đại học Thành Đông; 57 ; Tạp chí Khoa học và công nghệ - Trường Đại học Thành Đông ; Tập. 10 Số. 10 (2023): Tạp chí khoa học và công nghệ Trường Đại học Thành Đông; 57

مصطلحات موضوعية: Land auction, starting price, winning auction price, price difference ratio, Đấu giá đất, giá khởi điểm, giá trúng đấu giá, hệ số chênh lệch

وصف الملف: application/pdf

Relation: https://vjol.info.vn/index.php/thanhdong/article/view/84914/72177; https://vjol.info.vn/index.php/thanhdong/article/view/84914

الاتاحة: https://vjol.info.vn/index.php/thanhdong/article/view/84914

المؤلفون: Le Xuan Thang, Doan Thi Thu Ha, La Khac Thang, Dong Van Anh, Nguyen Thi Hanh

المصدر: Journal of Nursing Science; Vol. 5 No. 01 (Số TA) (2022): Tạp chí Khoa học Điều dưỡng; 128 ; Tạp chí Khoa học Điều dưỡng; Tập. 5 Số. 01 (Số TA) (2022): Tạp chí Khoa học Điều dưỡng; 128

مصطلحات موضوعية: Rehabilitation, knee recovery, limited mobility, lower extremity injury

وصف الملف: application/pdf

Relation: https://vjol.info.vn/index.php/DHDDND/article/view/66154/55809; https://vjol.info.vn/index.php/DHDDND/article/view/66154

الاتاحة: https://vjol.info.vn/index.php/DHDDND/article/view/66154

المؤلفون: Nguyen Xuan Hien, Pham Tien Đat, Doan Thi Thu Ha, Nguyen Thi Phuong, Dang Linh Chi

المصدر: Journal of Climate change science ; No. 03 (2017): JOURNAL OF CLIMATE CHANGE SCIENCE No.3; 76-84 ; Tạp chí Khoa học Biến đổi khí hậu; Số. 03 (2017): JOURNAL OF CLIMATE CHANGE SCIENCE NO.03-2017; 76-84 ; 2525-2496

مصطلحات موضوعية: climate change, agricultural, impact, vulnerability assessment

وصف الملف: application/pdf

Relation: https://vjol.info.vn/index.php/TCKHBDKH/article/view/58474/48817; https://vjol.info.vn/index.php/TCKHBDKH/article/view/58474

الاتاحة: https://vjol.info.vn/index.php/TCKHBDKH/article/view/58474

المؤلفون: Doan, Thi Thu Ha

مصطلحات موضوعية: distributed snapshot algorithm, reachability, state machine, model checking

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10119/12928

الاتاحة: http://hdl.handle.net/10119/12928