Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
361-370 trong số 546 kết quả
Open Journal of Mathematical Optimization
Tác giả:
Xuất bản: Université de Montpellier , 2023
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
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ỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
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ỏ
 
Vector game math processors
Tác giả: James Leiterman
Xuất bản: Plano, Texas: Wordware Publishing , 2001
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.35
 Thêm vào giỏ
 
Masterminds of programming
Tác giả: Federico Biancuzzi, Shane Warden
Xuất bản: Sebastopol, CA: O'Reilly , 2009.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
New Characterizations of Core Imputations of Matching and $b$-Matching Games
Tác giả: Vijay V Vazirani
Xuất bản: , 2022
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  519.3
 Thêm vào giỏ
 
Optimal Pricing Schemes for an Impatient Buyer
Tác giả: Yuan Deng, Jieming Mao, Balasubramanian Sivan, Kangning Wang
Xuất bản: , 2021
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  641.555
 Thêm vào giỏ
 
Dynamic Bipartite Matching Market with Arrivals and Departures
Tác giả: Naonori Kakimura, Donghao Zhu
Xuất bản: , 2021
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  025.26
 Thêm vào giỏ
 
Trước 35 36 37 38 39 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo