Xây dựng phần mở rộng kiểm chứng thuộc tính logic thời gian tuyến tính cho Java Pathfinder : Luận văn ThS. Công nghệ thông tin: 60 48 01 03

Title: Xây dựng phần mở rộng kiểm chứng thuộc tính logic thời gian tuyến tính cho Java Pathfinder : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
Authors: Trương Anh Hoàng, người hướng dẫn
Bùi, Hoàng Khánh
Issue Date: 2014
Publisher: Trường Đại Học Công nghệ
Abstract: 32 tr. + CD-ROM + Tóm tắt
Luận văn ThS. Kỹ thuật phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2014
URI: http://repository.vnu.edu.vn/handle/VNU_123/43223
Appears in Collections:UET - Master Theses

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

Dạy học các phương pháp tìm giá trị lớn nhất –nhỏ nhất của biểu thức nhằm phát triển khả tìm lời giải ngắn gọn và xây dựng bài toán mới cho học sinh. Luận văn ThS. Lý luận và phương pháp dạy học bộ môn Toán học : 60 14 01 11

Title:  Dạy học các phương pháp tìm giá trị lớn nhất –nhỏ nhất của biểu thức nhằm phát triển khả tìm lời giải ngắn gọn và xây dựng bài toán mới cho học sinh. Luận văn ThS. Lý luận và phương pháp dạy học bộ môn Toán học : 60 14 01 11 Other Titles:  Teaching methods to find the maximum value of the expression most grape to develop the ability to find answers brief and to build a new problem for the students. Authors:  Đức, Minh Giao Keywords:  Phương pháp dạy học,Phát triển năng lực,Dạy và học,Toán học Issue Date:  2016 Publisher:  H. Trường Đại học Giáo dục Description:  93 tr. URI:  http://repository.vnu.edu.vn/handle/VNU_123/57673 Appears in Collections: UEDU - Master Theses
Đọc thêm

Piezo-resistive and thermo-resistance effects of highly-aligned CNT based macrostructures

Recent advances in assembling Carbon NanoTubes (CNTs) into macrostructures with outstanding properties, such as high tensile strength, high conductivity and porosity, and strong corrosive resistance, have underpinned potentially novel applications. For example, in advanced electronics, bioengineering and nanomechanics. This paper focuses on the development of (i) the piezoresistive polydimethylsiloxane-CNT (PDMS-CNT) composite membrane, and (ii) the thermo-resistive CNT hotwire using a technique of producing highly aligned CNT yarns and films. Our experimental results show that while PDMS-CNT films possess an outperformed gauge factor (10.7) compared with ones of CNT films in recent publications and several metals, a clear linear relationship of the resistance versus the temperature for a hotwire using CNT yarn is observed. Hence, the work supplies valuable evidence in the use of CNT films and yarns in several potential applications as thermal sensing elements and anemo...
Đọc thêm

Phát triển sản phẩm du lịch ẩm thực đường phố tại Hà Nội : Luận văn ThS. Du lịch (Đào tạo thí điểm)

Title:  Phát triển sản phẩm du lịch ẩm thực đường phố tại Hà Nội : Luận văn ThS. Du lịch(Đào tạo thí điểm) Authors:  Nguyễn, Cẩm Tú Keywords:  Ẩm thực đường phố,Du lịch Issue Date:  2017 Publisher:  H.: Trường Đại học Khoa học Xã hội và Nhân văn Abstract:  Based on actual studies, the thesis provides assessment on demands and satisfactory of the tourists and capability in providing food and beverage services in the local street food shops from which general assessment on current situation of tourism and street cuisine activities in Hanoi, especially at the old quarter as well as successful and limitation aspects in current exploitation of street cuisines are withdrawn and given as base for mapping out solutions for development of street cuisine arts that serves tourism business in the capital. In short, the thesis affirms importance of exploitation of street cuisine arts and value in tourism activities in Hanoi which shows development potent...
Đọc thêm