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: 
131-140 trong số 2371 kết quả
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ỏ
 
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Tác giả: Georges Gonthier, Michael Norrish
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:  004.0151
 Thêm vào giỏ
 
Beyond Databases, Architectures, and Structures [electronic resource] : 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings
Tác giả: Pawel Kasprowski, Daniel Kostrzewa, Stanislaw Kozielski, Bożena Małysiak-Mrozek, Dariusz Mrozek
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.74
 Thêm vào giỏ
 
Artificial Intelligence and Signal Processing [electronic resource] : International Symposium, AISP 2013, Tehran, Iran, December 25-26, 2013, Revised Selected Papers
Tác giả: Hossein Asadi, Mansour Jamzad, Ali Movaghar
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:  006.37
 Thêm vào giỏ
 
Business Information Systems [electronic resource] : 17th International Conference, BIS 2014, Larnaca, Cyprus, May 22-23, 2014, Proceedings
Tác giả: Witold Abramowicz, Angelika Kokkinaki
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:  658.05
 Thêm vào giỏ
 
Business Modeling and Software Design [electronic resource] : Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers
Tác giả: Boris Shishkov
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:  658.05
 Thêm vào giỏ
 
Business Information Systems Workshops [electronic resource] : BIS 2014 International Workshops, Larnaca, Cyprus, May 22-23, 2014, Revised Papers
Tác giả: Witold Abramowicz, Angelika Kokkinaki
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:  658.05
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Tác giả: Cyrille Artho, Axel Legay, Doron Peled
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Communication Technologies for Vehicles [electronic resource] : 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings
Tác giả: Hasnaa Aniss, Marion Berbineau, Hervé Bonneville, Jaizki Mendizabal, Stephan Pfletschinger, Alain Pirovano, Simon Plass, Riccardo Scopigno, Alexey Vinel
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Artificial Intelligence and Soft Computing [electronic resource] : 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II
Tác giả: Marcin Korytkowski, Leszek Rutkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A Zadeh, Jacek M Zurada
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Trước 12 13 14 15 16 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