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: 
1981-1990 trong số 5236 kết quả
Mastering regular expressions
Tác giả: Jeffrey E F Friedl
Xuất bản: Sebastapol, CA: O'Reilly , 2006
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  005.72
 Thêm vào giỏ
 
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint...
Tác giả: Amal Ahmed
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Autodesk 3DS MAX 2016 : essentials
Tác giả: Randi Derakhshani, Dariush Derakhshani
Xuất bản: Indianapolis, Indiana: Autodesk Offical Press : Sybex, a Wiley brand , 2015
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.696
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydn...
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ỏ
 
Argumentation in Multi-Agent Systems [electronic resource] : 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA,...
Tác giả: Simon D Parsons, Iyad Rahwan, Chris Reed
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.3
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singa...
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, 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ỏ
 
Combinatorial Image Analysis [electronic resource] : 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, ...
Tác giả: Reneta P Barneva, Petra Wiederhold
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.37
 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ỏ
 
Trước 197 198 199 200 201 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