Loại tài liệu:    Chỉ tìm trong: 
291-300 trong số 466 kết quả
Rational social distancing policy during epidemics with limited healthcare capacity
Tác giả: Simon K Schnyder, John J Molina, Matthew S Turner, Ryoichi Yamamoto
Xuất bản: , 2022
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  361.61
 
A Novel Control-Oriented Cell Transmission Model Including Service Stations on Highways
Tác giả: Carlo Cenedese, Michele Cucuzzella, Antonella Ferrara, John Lygeros
Xuất bản: , 2022
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  511.8
 
Women and STEM in Europe and Central Asia
Tác giả: Ana Maria Munoz Boudet
Xuất bản: World Bank, Washington, DC , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  608.2
 
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
 
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
 
Autonomous Search [electronic resource]
Tác giả: Youssef Hamadi, Eric Monfroy, Frédéric Saubion
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.3
 
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
 
Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, ...
Tác giả: Bernhard Gramlich, Dale Miller, Ulrike Sattler
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.131
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TA...
Tác giả: Didier Galmiche, Dominique Larchey-Wendling
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Categories for Software Engineering [electronic resource]
Tác giả: Jose Luiz Fiadeiro
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
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