Loại tài liệu:    Chỉ tìm trong: 
1011-1020 trong số 1034 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
Tác giả: Isil Dillig, Serdar Tasiran
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.1
 
Architectural robotics : ecosystems ofbits, bytes, and biology
Tác giả: Keith Evan Green
Xuất bản: Cambridge Massachusetts: The MIT Press, 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  720.47
 
Small-signal stability, control and dynamic performance of power systems
Tác giả: MJ Gibbard, P Pourbeik, DJ Vowles
Xuất bản: Adelaide: University of Adelaide Press, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.317
 
Medical modelling : the application of advanced design and rapid prototyping techniques in medicine
Tác giả: Richard Bibb, Dominic Eggbeer, Abby Paterson
Xuất bản: Amsterdam Boston: ElsevierWP Woodhead Publishing is an imprint of Elsevier, 2015
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  610.3
 
Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications
Tác giả: Michael R Berthold
Xuất bản: Cham: Springer Nature, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.312
 
Bio-Inspired Information Pathways From Neuroscience to Neurotronics
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: 
 
Structural Health Monitoring Damage Detection Systems for Aerospace [electronic resource]
Tác giả: Elena Jasiūnienė, Markus G R Sause
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:  620.11
 
Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings
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: 
 
Bio-medical CMOS ICs
Tác giả: Chris van Hoof, Hoi-Jun Yoo
Xuất bản: New York: Springer, 2011
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  681
 

Truy cập nhanh danh mục