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: 
101-110 trong số 137 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 18th International Symposium, ATVA 2020, Hano...
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ỏ
 
Brain Informatics [electronic resource] : 14th International Conference, BI 2021, Virtual Event, September 17–19, 2021, ...
Tác giả: Qionghai Dai, M Shamim Kaiser, Mufti Mahmud, Stefano Vassanelli, Ning Zhong
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:  006.3
 Thêm vào giỏ
 
Automated Theorem Proving in Software Engineering [electronic resource]
Tác giả: Johann M Schumann
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Ne...
Tác giả: Jos CM Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J Woeginger
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Combinatorial Pattern Matching [electronic resource] : 15th Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004...
Tác giả: Ugur Dogrusoz, S Muthukrishnan, Suleyman C Sahinalp
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:  006.4
 Thêm vào giỏ
 
Biometric Authentication [electronic resource] : ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, M...
Tác giả: Anil K Jain, Davide Maltoni
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:  006.4
 Thêm vào giỏ
 
Automating Business Modelling [electronic resource] : A Guide to Using Logic to Represent Informal Methods and Support R...
Tác giả: Yun-Heh Chen-Burger, Dave Robertson
Xuất bản: London: Springer London : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.068
 Thêm vào giỏ
 
Boundary Representation Modelling Techniques [electronic resource]
Tác giả: Ian Stroud
Xuất bản: London: Springer London : Imprint: Springer , 2006.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670.285
 Thêm vào giỏ
 
Charting the Topic Maps Research and Applications Landscape [electronic resource] : First International Workshop on Topi...
Tác giả: Lutz Maicher, Jack Park
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:  006.3
 Thêm vào giỏ
 
Cognitive Vision [electronic resource] : 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised...
Tác giả: Markus Vincze
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:  006.37
 Thêm vào giỏ
 
Trước 9 10 11 12 13 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