Loại tài liệu:    Chỉ tìm trong: 
11-18 trong số 18 kết quả
Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Peter Müller
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.13
 
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
 
Node.js recipes [electronic resource]
Tác giả: Cory Gackenheimer
Xuất bản: Berkeley CA: Apress, 2013
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 
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
 
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
 
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