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: 
241-250 trong số 546 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory
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ỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
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] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory
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ỏ
 
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Programming JavaScript applications elektronisk ressurs
Tác giả: Eric Elliott
Xuất bản: Sebastopol, CA: O'Reilly Media , 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.2762
 Thêm vào giỏ
 
Geometric algebra : an algebraic system for computer games and animation
Tác giả: John Vince
Xuất bản: Dordrecht ; New York: Springer , 2009
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  512.57
 Thêm vào giỏ
 
Autonomous search
Tác giả: Youssef Hamadi, Eric Monfroy, Saubion Frédéric
Xuất bản: Heidelberg ; New York: Springer , 2011
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.6
 Thêm vào giỏ
 
Algorithm design for networked information technology systems
Tác giả: Sumit Ghosh
Xuất bản: New York: Springer , 2004
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Solving PDEs in Python: The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham: Springer Nature , 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.133
 Thêm vào giỏ
 
Solving PDEs in Python: The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham: Springer , 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.133
 Thêm vào giỏ
 
Trước 23 24 25 26 27 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