Loại tài liệu:    Chỉ tìm trong: 
471-480 trong số 1150 kết quả
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
 
Automatic Generation of Combinatorial Test Data [electronic resource]
Tác giả: Jian Zhang, Feifei Ma, Zhiqiang Zhang
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automatic SIMD Vectorization of SSA-based Control Flow Graphs [electronic resource]
Tác giả: Ralf Karrenberg
Xuất bản: Wiesbaden: Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.45
 
Behavioural Models [electronic resource] : From Modelling Finite Automata to Analysing Business Processes
Tác giả: Matthias Kunze, Mathias Weske
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Combinatorial Testing in Cloud Computing [electronic resource]
Tác giả: Wei-Tek Tsai, Guanqiu Qi
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Big Data Technologies and Applications [electronic resource] : 8th International Conference, BDTA 2017, Gwangju, South K...
Tác giả: Kwang Nam Choi, Jason J Jung, Pankoo Kim
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:  006.312
 
Blockchain and Trustworthy Systems [electronic resource] : Second International Conference, BlockSys 2020, Dali, China, ...
Tác giả: Benhui Chen, Hong-Ning Dai, Xiaodong Fu, Zibin Zheng
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Multicore technology : architecture, reconfiguration, and modeling
Tác giả: Muhammad Yasir Qadri, Stephen J Samgwine
Xuất bản: ,
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.39
 
Automata, Languages and Programming [electronic resource] : 29th International Colloquium, ICALP 2002, Malaga, Spain, Ju...
Tác giả: Ricardo Conejo, Stephan Eidenbenz, Matthew Hennessy, Rafael Morales, Francisco Triguero, Peter Widmayer
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
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
 

Truy cập nhanh danh mục