Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 74 kết quả
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022
Tác giả: Patricia Bouyer, Patricia Bouyer, Lutz Schröder, Lutz Schröder
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024
Tác giả:
Xuất bản: Cham: Springer Nature, 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 : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Tác giả: Stefan Kiefer, Christine Tasson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
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
 
of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
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
 
SMath for physics : a primer
Tác giả: Bernard V Liengme
Xuất bản: Bristol England Temple Circus Temple Way Bristol BS1 6HG UK: IOP Publishing, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  530.15
 
Recent Advances in Medical Statistics
Tác giả: Vargas-De-León CruzVargas-De-León Cruz
Xuất bản: : IntechOpen, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Systems science and modeling for ecological economics
Tác giả: Alexey Voinov
Xuất bản: Amsterdam London: Elsevier Academic Press, 2008
Bộ sưu tập: Xã hội, kinh tế, luật
eBook (pdf)
ddc:  333.7015118
 
MATLAB primer for speech-language pathology and audiology
Tác giả: Frank R Boutsen, Justin D Dvorak
Xuất bản: San Diego CA: Plural Publishing Inc, 2016
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  616.85500285
 

Truy cập nhanh danh mục