Loại tài liệu:    Chỉ tìm trong: 
751-760 trong số 976 kết quả
The Multi-Agent Transport Simulation MATSim
Tác giả: Kay W Axhausen, Andreas Horni, Andreas Horni, Kai Nagel, Kai Nagel, Kay W Axhausen
Xuất bản: London: Ubiquity Press , 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  388.40285
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
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:  670.42
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as P...
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: 
 
Software for Exascale Computing - SPPEXA 2016-2019
Tác giả: Hans-Joachim Bungartz, Hans-Joachim Bungartz, Wolfgang E Nagel, Wolfgang E Nagel, Philipp Neumann, Philipp Neumann, Severin Reiz, Severin Reiz, Benjamin Uekermann, Benjamin Uekermann
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: 
 
Annals of Scientific Society for Assembly, Handling and Industrial Robotics
Tác giả: Thorsten Schüppstuhl, Dominik Henrich, Dominik Henrich, Thorsten Schüppstuhl, Kirsten Tracht, Kirsten Tracht
Xuất bản: Berlin, Germany: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Cyber-Physical Systems: A Model-Based Approach
Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
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: 
 
Echtzeitsimulation in der Produktionsautomatisierung Beiträge zu Virtueller Inbetriebnahme, Digitalem Engineering und Di...
Tác giả:
Xuất bản: Berlin, Heidelberg: Springer Nature , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Molecular dynamics simulation shows enhanced stability in scaffold-based macromolecule, designed by protein engineering: a novel methodology adapted for converting Mtb Ag85A to a multi-epitope
Tác giả: Ditipriya Hazra, Shakilur Rahman, Manisha Ganguly, Amit Kumar Das, Amlan Roychowdhury
Xuất bản: Germany: Journal of molecular modeling , 2025
Bộ sưu tập: NCBI
ddc:  261.836
 
Bioinformatics : the machine learning approach
Tác giả: Pierre Baldi, Søre Brunak
Xuất bản: Cambridge, Mass: MIT Press , 2001
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  572.80113
 
Toward replacement parts for the brain : implantable biomimetic electronics as neural prostheses
Tác giả: Theodore W Berger, Dennis Glanzman
Xuất bản: Cambridge, Ma: MIT Press , 2005
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  612.8
 

Truy cập nhanh danh mục