Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
401-410 trong số 2074 kết quả
Ứng dụng khoa học và công nghệ, thúc đẩy đổi mới sáng tạo trong nông nghiệp ở Việt Nam hiện nay=Application of science and technology, promoting innovation in agriculture
Tác giả: Vân Hà Đoàn
Xuất bản: Nghiên cứu Tài chính Kế toán , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Teknika
Tác giả:
Xuất bản: Universitas Sultan Ageng Tirtayasa , 2022
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Tác giả: Franck Cassez, Jean-Francois Raskin
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Tác giả: Ahmed Bouajjani, Wei-Ngan Chin
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Tác giả: Tevfik Bultan, Pao-Ann Hsiung
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Tác giả: Supratik Chakraborty, Madhavan Mukund
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Tác giả: Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Tác giả: Mizuhito Ogawa, Dang Van Hung
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
Tác giả: Farn Wang
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670.285
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Tác giả: Shuvendu K Lahiri, Chao Wang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Trước 39 40 41 42 43 Tiếp

Truy cập nhanh danh mục

Media
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Sách tham khảo