Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 57 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference,...
Tác giả: Armin Biere, David Parker
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
Programming for Computations - MATLAB/Octave [electronic resource] : A Gentle Introduction to Numerical Simulations with...
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Symbiotic Interaction [electronic resource] : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29?30,...
Tác giả: Benjamin Blankertz, Jonathan Freeman, Luciano Gamberini, Giulio Jacucci, Anna Spagnolli
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.019
 
Intelligent Human Computer Interaction [electronic resource] : 9th International Conference, IHCI 2017, Evry, France, De...
Tác giả: Catherine Achard, Patrick Horain, Malik Mallem
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.019
 
The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence
Tác giả: Mario Alemi
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
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ở
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