Loại tài liệu:    Chỉ tìm trong: 
321-330 trong số 472 kết quả
Combinatorial Pattern Matching [electronic resource] : 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 --...
Tác giả: Ferdinando Cicalese, Ely Porat, Ugo Vaccaro
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:  006.4
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
National FCEV and Hydrogen Fueling Station Scenarios [electronic resource]
Tác giả:
Xuất bản: Washington DC Oak Ridge Tenn: United States Dept of Energy Office of Energy Efficiency and Renewable Energy Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2016
Bộ sưu tập: Metadata
ddc:  333.79
 
Romanian Journal of Mathematics and Computer Science
Tác giả:
Xuất bản: : Conspress, 2013
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Modern Applications of Wavelet Transform
Tác giả:
Xuất bản: : IntechOpen, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
Tác giả: Armin Biere, David Parker
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
Probability theory : a comprehensive course
Tác giả: Achim Klenke
Xuất bản: New York: Springer, 2013
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  519.2
 
GIS and the social sciences : theory and applications
Tác giả: Dimitris Ballas, Graham Clarke, Rachel S Franklin, Andy Newing
Xuất bản: London New York: Routledge Taylor Francis Group, 2018
Bộ sưu tập: Xã hội, kinh tế, luật
eBook (pdf)
ddc:  300.285
 

Truy cập nhanh danh mục