Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 64 kết quả
Building Secure Defenses Against Code-Reuse Attacks [electronic resource]
Tác giả: Lucas Davi, Ahmad-Reza Sadeghi
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shan...
Tác giả: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.45
 
Central European Functional Programming School [electronic resource] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romani...
Tác giả: Lehel Csató, Zoltán Horváth, Viktória Zsók
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.11
 
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los ...
Tác giả: Shuvendu K Lahiri, Chao Wang
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Mono : a developer's notebook
Tác giả: Dumbill Edd, Niel M Bornstein
Xuất bản: Sebastopol: OReilly, 2004
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  005.133
 
Enhydra application development with XMLC
Tác giả: David Young
Xuất bản: : Sams Publishing, 2001
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.72
 
Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Ger...
Tác giả: Oliver Boldt, Helmut Jürgensen
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.45
 
Automatic Program Development [electronic resource] : A Tribute to Robert Paige
Tác giả: Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi
Xuất bản: Dordrecht: Springer Netherlands Imprint Springer, 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Inf...
Tác giả: Gabriele Puppis
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:  006.3
 
Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, ...
Tác giả: Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
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.11
 

Truy cập nhanh danh mục