Loại tài liệu:    Chỉ tìm trong: 
11-19 trong số 19 kết quả
TouchDevelop [electronic resource] : Programming on the Go
Tác giả: Nigel Horspool, Judith Bishop, Nikolai Tillmann
Xuất bản: : Springer Nature, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.76
 
Optimizing HPC Applications with Intel Cluster Tools [electronic resource] : Hunting Petaflops
Tác giả: Alexander Supalov, Christopher Dahnken, Michael Klemm, Andrey Semin
Xuất bản: : Springer Nature, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part o...
Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Pro TBB [electronic resource] : C++ Parallel Programming with Threading Building Blocks
Tác giả: Michael Voss, Rafael Asenjo, James Reinders
Xuất bản: Berkeley CA: Apress Imprint Apress, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSAC...
Tác giả: Mikołaj Bojańczyk, Alex Simpson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as...
Tác giả: Alessandra Russo, Andy Schürr
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSAC...
Tác giả: Jean Goubault-Larrecq, Barbara König
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:  511.3
 
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as...
Tác giả: Reiner Hähnle, Wil van der Aalst
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
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