Loại tài liệu:    Chỉ tìm trong: 
61-69 trong số 69 kết quả
Journal of Integrative Bioinformatics
Tác giả:
Xuất bản: De Gruyter , 2018
Bộ sưu tập: Báo giấy
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, Dirk Beyer, Marieke Huisman, Marieke Huisman
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
INVALSI data to investigate the characteristics of students, school, and society : IV seminar "INVALSI data: a research and educational teaching tool"
Tác giả: Patrizia Falzetti, Patrizia Falzetti
Xuất bản: Milan: FrancoAngeli , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  371
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
Xuất bản: Cham: Springer Nature , 2022
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
 
Innovative Marketing
Tác giả:
Xuất bản: LLC "CPC "Business Perspectives , 2020
Bộ sưu tập: Báo giấy
ddc: 
 
New Approaches in Management of Smart Manufacturing Systems [electronic resource] : Knowledge and Practice
Tác giả: Michal Balog, Lucia Knapcikova, Dragan Peraković, Marko Periša
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  670
 

Truy cập nhanh danh mục