Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 29 kết quả
Sets, logic and maths for computing
Tác giả: David Makinson
Xuất bản: New York: Springer, 2012
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Comprehensive mathematics for computer scientists
Tác giả: G Mazzola, Gérar Milmeister, Jod Weissmann
Xuất bản: Berlin: Springer, 2006
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Sets, logic and maths for computing [electronic resource]
Tác giả: David Makinson
Xuất bản: London: Springer, 2008
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Computation engineering : applied automata theory and logic
Tác giả: Ganesh Gopalakrishnan
Xuất bản: New York: Springer, c2006
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Biologically-Inspired Collaborative Computing [electronic resource] : IFIP 20th World Computer Congress, Second IFIP TC ...
Tác giả: Mike Hinchey, Anastasia Pagnoni, Franz J Rammig, Hartmut Schmeck
Xuất bản: New York NY: Springer US Imprint Springer, 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Behavior Computing [electronic resource] : Modeling, Analysis, Mining and Decision
Tác giả: Longbing Cao, Philip S Yu
Xuất bản: London: Springer London Imprint Springer, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3.6
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference,...
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
1 2 3 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media