This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components.
Hướng dẫn khai thác và sử dụng Thư viện Đại học Công nghiệp Hà Nội năm 2024
Thứ Ba, 14:33 17/09/2024PGS.TS Nguyễn Thị Hồng Nga, Giám đốc - Trung tâm Đào tạo Sau đại học trao tặng 02 đầu sách ngoại văn cho Trung tâm Thông tin - Thư viện
Thứ Sáu, 07:37 24/05/2024Truy cập hàng triệu sách điện tử miễn phí với The Online Books Page
Thứ Hai, 08:38 22/01/20247 khóa học “Kỹ thuật cơ khí” sinh viên ngành Cơ khí cần biết
Thứ Sáu, 13:57 08/12/2023![[Coursera] Khóa học “Tìm hiểu các phương pháp nghiên cứu” của ĐH Luân Đôn](https://lic.haui.edu.vn/media/78/t78458.jpg)
[Coursera] Khóa học “Tìm hiểu các phương pháp nghiên cứu” của ĐH Luân Đôn
Thứ Hai, 08:55 06/11/2023Khai thác danh mục tạp chí mở Directory of Open Access Journals (DOAJ)
Thứ Sáu, 15:50 18/08/2023Tài nguyên giáo dục mở Việt Nam (Vietnam Open Educational Resources – VOER)
Thứ Sáu, 19:07 02/12/2022Copyright © 2018 Hanoi University of Industry.
