Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 82 kết quả
Nuclear Thermal Propulsion Scoping Analysis of Fuel Plate Core Configurations [electronic resource]
Tác giả:
Xuất bản: Washington DC Oak Ridge Tenn: United States Office of the Assistant Secretary for Nuclear Energy Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2020
Bộ sưu tập: Metadata
ddc:  621.48
 
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: 
 
Task models and diagrams for user interface design : 8th international workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009 : revised selected papers
Tác giả: David England
Xuất bản: Berlin New York: Springer, 2010
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  004.019
 
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
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: 
 
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: 
 
Journal of Information Systems Engineering & Management
Tác giả:
Xuất bản: : IADITI, 2022
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
The Global Politics of Artificial Intelligence
Tác giả: Maurizio Tinnirello, Maurizio Tinnirello
Xuất bản: : Taylor Francis, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 
Card sorting elektronisk ressurs : designing usable categories
Tác giả: Donna Spencer, Jesse James Garrett
Xuất bản: Brooklyn NY: Rosenfeld Media, 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  025.0422
 
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
 
Advances in biometrics for secure human authentication and recognition
Tác giả: Phalguni Gupta, Dakshina Ranjan Kisku, Jamuna Kanta Sing
Xuất bản: Boca Raton: CRC PressTaylor Francis Group, 2013
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.4
 

Truy cập nhanh danh mục