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: 
31-40 trong số 64 kết quả
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ỏ
 
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ỏ
 
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ỏ
 
Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Rom...
Tác giả: Anna Soós
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.45
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul...
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ỏ
 
Autonomics Development: A Domain-Specific Aspect Language Approach [electronic resource]
Tác giả: Paul Soule
Xuất bản: Basel: Springer Basel Imprint Birkhauser, 2010
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.3
 Thêm vào giỏ
 
Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary...
Tác giả: Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók
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ỏ
 
Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques
Tác giả: Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes
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:  005.1
 Thêm vào giỏ
 
Trước 2 3 4 5 6 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