Loại tài liệu:    Chỉ tìm trong: 
1011-1020 trong số 2329 kết quả
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna S...
Tác giả: Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Big-Data Analytics and Cloud Computing [electronic resource] : Theory, Algorithms and Applications
Tác giả: Ashiq Anjum, Richard Hill, Lu Liu, Marcello Trovati, Shao Ying Zhu
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:  004.0151
 
Arithmetic of Finite Fields [electronic resource] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-...
Tác giả: Çetin Kaya Koç, Sihem Mesnager, Erkay Savaş
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.131
 
Combinatorics on Words [electronic resource] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17...
Tác giả: Florin Manea, Dirk Nowotka
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.131
 
Boolean Functions and Their Applications in Cryptography [electronic resource]
Tác giả: Chuan-Kun Wu, Dengguo Feng
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 
Arithmetic of Finite Fields [electronic resource] : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, ...
Tác giả: Sylvain Duquesne, Svetla Petkova-Nikova
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.131
 
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 –...
Tác giả: Nicola Olivetti, Ashish Tiwari
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.131
 
Combinatorial Optimization and Graph Algorithms [electronic resource] : Communications of NII Shonan Meetings
Tác giả: Takuro Fukunaga, Ken-ichi Kawarabayashi
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:  004.0151
 
BNAIC 2016: Artificial Intelligence [electronic resource] : 28th Benelux Conference on Artificial Intelligence, Amsterda...
Tác giả: Tibor Bosse, Bert Bredeweg
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Bi...
Tác giả: Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  518.1
 

Truy cập nhanh danh mục