Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
461-470 trong số 1286 kết quả
Pro JavaFX platform [electronic resource] : script, desktop and mobile RIA with Java technology, first edition
Tác giả: James L Weaver
Xuất bản: New York: Apress , 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.133
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Tác giả: Vijay Ganesh, Zhe Hou
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Biologically Inspired Approaches to Advanced Information Technology [electronic resource] : Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
Tác giả: Auke Jan Ijspeert, Shinji Kusumoto, Toshimitsu Masuzawa
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2006.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 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ỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Tác giả: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.45
 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] : 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] : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
Tác giả: Dang Van Hung, Oleg Sokolsky
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Communication and Networking [electronic resource] : International Conference, FGCN/ACN 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea
Tác giả: MingChu Li, Kouichi Sakurai, Dominik Slezak, Thanos Vasilakos
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Advances in Digital Image Processing and Information Technology elektronisk ressurs : First International Conference on Digital Image Processing and Pattern Recognition, DPPR 2011, Tirunelveli, Tamil
Tác giả: Dhinaharan Nagamalai, Murugan Dhanuskodi, Eric Renault
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg , 2011
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.367
 Thêm vào giỏ
 
Trước 45 46 47 48 49 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ á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ĩ
Media