Đă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 24 kết quả
Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model
Tác giả: Dorit Jerger
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  500
 Thêm vào giỏ
 
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint...
Tác giả: Amal Ahmed
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Tác giả: Benjamin Weiß
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.14
 Thêm vào giỏ
 
Probabilistic Maneuver Recognition in Traffic Scenarios
Tác giả: Jonas Firl
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  620
 Thêm vào giỏ
 
Guidance for the verification and validation of neural networks
Tác giả: Laura L Pullum, Majorie A Darrah, Brian J Taylor
Xuất bản: Hoboken New Jersey: IEEE Computer Society, 2007
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.32
 Thêm vào giỏ
 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Datenqualität in der medizinischen Forschung : Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien...
Tác giả: Michael Nonnemacher, Daniel Nasseh, Jürgen Stausberg
Xuất bản: Berlin: MWV Medizinisch Wissenschaftliche Verlagsgesellschaft, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Finite Difference Computing with PDEs: A Modern Software Approach
Tác giả: Hans Petter Langtangen, Svein Linge
Xuất bản: Cham: Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  515.353
 Thêm vào giỏ
 
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Tác giả: Joachim Breitner
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004
 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