Loại tài liệu:    Chỉ tìm trong: 
601-610 trong số 2942 kết quả
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Par...
Tác giả: Sriram Sankaranarayanan, Sriram Sankaranarayanan, Natasha Sharygina, Natasha Sharygina
Xuất bản: Cham: Springer Nature, 2023
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 29th International Conference, TACAS 2023, Held as Par...
Tác giả: Sriram Sankaranarayanan, Sriram Sankaranarayanan, Natasha Sharygina, Natasha Sharygina
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Imitation of life : how biology is inspiring computing
Tác giả: Nancy Forbes
Xuất bản: Cambridge Massachusetts: MIT Press, 2004
Bộ sưu tập: Tài liệu truy cập mở
ddc:  570
 
Aesthetic computing
Tác giả: Paul A Fishwick
Xuất bản: Cambridge Massachusetts: MIT Press, 2006
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004
 
Learning in energy-efficient neuromorphic computing : algorithm and architecture co-design
Tác giả: Nan Zheng, Pinaki Mazumder
Xuất bản: Hoboken New Jersey: WileyIEEE Press, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.32
 
A field guide to dynamical recurrent networks
Tác giả: John F Kolen, Stefan C Kremer
Xuất bản: New York: IEEE Press, 2001
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.32
 
Delftse Foundations of Computation
Tác giả: Stefan Hugtenburg, Neil Yorke-Smith
Xuất bản: Place of publication not identified: TU Delft Open, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Deleting Dystopia : Re-Asserting Human Priorities in the Age of Surveillance Capitalism
Tác giả: Richard A Slaughter
Xuất bản: Place of publication not identified: University of Southern Queensland, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  194
 
Formal methods for industrial critical systems : a survey of applications
Tác giả: Stefania Gnesi, Tiziana Margaria-Steffen
Xuất bản: Hoboken New Jersey: John Wiley and Sons Incorporated, 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference,...
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 

Truy cập nhanh danh mục