Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 63 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
 
Enhydra application development with XMLC
Tác giả: David Young
Xuất bản: : Sams Publishing , 2001
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.72
 
Mono : a developer's notebook
Tác giả: Dumbill Edd, Niel M Bornstein
Xuất bản: Sebastopol: O'Reilly , 2004
Bộ sưu tập: Tài liệu truy cập mở
eBook (chm)
ddc:  005.133
 
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
 
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
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
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:  005.131
 

Truy cập nhanh danh mục