Loại tài liệu:    Chỉ tìm trong: 
231-240 trong số 739 kết quả
Stochastic Online Fisher Markets: Static Pricing Limits and Adaptive Enhancements
Tác giả: Devansh Jalota, Yinyu Ye
Xuất bản: , 2022
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  003.76
 
Combinatorial Image Analysis [electronic resource] : 16th International Workshop, IWCIA 2014, Brno, Czech Republic, May ...
Tác giả: Reneta P Barneva, Valentin E Brimkov, Josef Slapal
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:  006.37
 
Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September...
Tác giả: Thomas Sturm, Christoph Zengler
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, Decembe...
Tác giả: Jean-Pierre Jouannaud, Zhong Shao
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerla...
Tác giả: Luca Aceto, Monika Henzinger, Jiří Sgall
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  518.1
 
Combinatorial Image Analysis [electronic resource] : 15th International Workshop, IWCIA 2012, Austin, TX, USA, November ...
Tác giả: Jake K Aggarwal, Reneta P Barneva, Valentin E Brimkov
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:  006.37
 
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December ...
Tác giả: Chris Hawblitzel, Dale Miller
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:  004.0151
 
Combinatorial Image Analysis [electronic resource] : 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-...
Tác giả: Reneta P Barneva, Valentin E Brimkov, Herbert A Hauptman
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.37
 
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australi...
Tác giả: Georges Gonthier, Michael Norrish
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Chance Discovery [electronic resource]
Tác giả: Peter McBurney, Yukio Ohsawa
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 

Truy cập nhanh danh mục