Loại tài liệu:    Chỉ tìm trong: 
161-170 trong số 216 kết quả
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Cze...
Tác giả: Revantha Ramanayake, Revantha Ramanayake, Josef Urban, Josef Urban
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Performance Engineering Learning Through Applications Using JMT
Tác giả: Giuseppe Serazzi
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Data Spaces Design, Deployment and Future Directions
Tác giả: Edward Curry, Edward Curry, Simon Scerri, Simon Scerri, Tuomo Tuikka, Tuomo Tuikka
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Active Power Control of Waked Wind Farms [electronic resource] : Preprint
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, 2017
Bộ sưu tập: Metadata
ddc:  621.45
 
Asalibuna
Tác giả:
Xuất bản: : Program Studi Pendidikan Bahasa Arab, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
The Evolution of Young People's Spatial Knowledge
Tác giả:
Xuất bản: : Taylor Francis, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Tác giả: Irek Ulidowski, Carla Ferreira, Carla Ferreira, Ivan Lanese, Ivan Lanese, Ulrik Pagh Schultz, Ulrik Pagh Schultz, Irek Ulidowski
Xuất bản: Cham Switzerland: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Journal of Causal Inference
Tác giả:
Xuất bản: : De Gruyter, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 

Truy cập nhanh danh mục