Loại tài liệu:    Chỉ tìm trong: 
201-210 trong số 310 kết quả
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
 
Harnessing green IT : principles and practices
Tác giả: G R Gangadharan, San Murugesan
Xuất bản: Chichester West Sussex UK: John Wiley Sons, 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0286
 
Constructive dialogue modelling : speech interaction and rational agents
Tác giả: Kristiina Jokinen
Xuất bản: Chichester UK: Wiley, 2009
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.019
 
The handbook of information and computer ethics
Tác giả: Kenneth Einar Himma, Herman T Tavani
Xuất bản: Hoboken New Jersey: Wiley, 2008
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.019
 
Optimization techniques for solving complex problems
Tác giả: Enrique Alba
Xuất bản: Hoboken New Jersey: Wiley, 2009
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
 
Foundations of Software Science and Computation Structures [electronic resource] : 26th International Conference, FoSSaC...
Tác giả: Orna Kupferman, Pawel Sobocinski
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
 
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
 
Creativity in Art, Design and Technology [electronic resource]
Tác giả: Susan Liggett, Rae Earnshaw, Jill Townsley
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.019
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference,...
Tác giả: Dana Fisman, Grigore Rosu
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 

Truy cập nhanh danh mục