Author Search Results

1

Symbolic Round-O Error between Floating-Point and Fixed-Point

Symbolic Round-O Error between Floating-Point and Fixed-Point

by Truong, Hoang Anh, Tran, Huy Vu, Nguyen, Bao Ngoc
Published 2017

Get full text

Article

2

Tính cận trên bộ nhớ LOG của chương trình sử dụng giao dịch

Tính cận trên bộ nhớ LOG của chương trình sử dụng giao dịch

by Nguyễn, Phan Tình
Published 2017

Other Authors: “...Trương, Hoàng Anh...”
Get full text

Theses and Dissertations

3

Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03

Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03

by Vũ, Quang Hưng
Published 2017

Other Authors: “...Trương Hoàng Anh, người hướng dẫn...”
Get full text