Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
101-110 trong số 399 kết quả
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Computability and Complexity Theory [electronic resource]
Tác giả: Steven Homer, Alan L Selman
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Beyond Deep Blue [electronic resource] : Chess in the Stratosphere
Tác giả: Monty Newborn
Xuất bản: London: Springer London : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.09
 Thêm vào giỏ
 
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, Decembe...
Tác giả: Jean-Pierre Jouannaud, Zhong Shao
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Computation, Cooperation, and Life [electronic resource] : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th...
Tác giả: Jozef Kelemen, Alica Kelemenová
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Combinatorial Algorithms [electronic resource] : 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, ...
Tác giả: Costas S Iliopoulos, William F Smyth
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Trước 9 10 11 12 13 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