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: 
1161-1170 trong số 2439 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipe...
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, Thir...
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ỏ
 
Business Process Management [electronic resource] : 6th International Conference, BPM 2008, Milan, Italy, September 2-4,...
Tác giả: Marlon Dumas, Manfred Reichert, Ming-Chien Shan
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:  005.74
 Thêm vào giỏ
 
Argumentation in Multi-Agent Systems [electronic resource] : Fifth International Workshop, ArgMAS 2008, Estoril, Portuga...
Tác giả: Pavlos Moraitis, Iyad Rahwan
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:  006.3
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hano...
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ỏ
 
Cellular Automata and Discrete Complex Systems [electronic resource] : 19th International Workshop, AUTOMATA 2013, Gieße...
Tác giả: Jarkko Kari, Martin Kutrib, Andreas Malcher
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : 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ỏ
 
Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, Jul...
Tác giả: Jan van Leeuwen, Fernando Orejas, Paul G Spirakis
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:  005.1
 Thêm vào giỏ
 
A guide to the National Initiative for Cybersecurity Education (NICE) cybersecurity workforce framework (2.0)
Tác giả: Dan Shoemaker, Anne Kohnke, Kenneth Sigler
Xuất bản: ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.8
 Thêm vào giỏ
 
Augmented Cognition. Human Cognition and Behavior [electronic resource] : 14th International Conference, AC 2020, Held a...
Tác giả: Cali M Fidopiastis, Dylan D Schmorrow
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:  004.019
 Thêm vào giỏ
 
Augmented Cognition. Theoretical and Technological Approaches [electronic resource] : 14th International Conference, AC ...
Tác giả: Cali M Fidopiastis, Dylan D Schmorrow
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:  004.019
 Thêm vào giỏ
 
Trước 115 116 117 118 119 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