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: 
61-70 trong số 215 kết quả
A formal statechart model of immediate neonatal adaptation guidelines
Tác giả: Edgar Hernando Sepúlveda-Oviedo, Leonardo Enrique Bermeo Clavijo, Luis Carlos Méndez-Córdoba
Xuất bản: England: Heliyon , 2025
Bộ sưu tập: NCBI
ddc:  004.338
 Thêm vào giỏ
 
Reply to "formal case-definition for Kounis syndrome"
Tác giả: Nelson Luis Cahuapaza-Gutierrez, Cielo Cinthya Calderon-Hernandez, Fernando M Runzer-Colmenares
Xuất bản: Netherlands: International journal of cardiology , 2025
Bộ sưu tập: NCBI
ddc:  133.542
 Thêm vào giỏ
 
Chapter The Community Education Program: A Reflection on Good Practice in the USA
Tác giả: Miriam Douglas
Xuất bản: Florence: Firenze University Press , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  374
 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ỏ
 
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conference...
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: Cham: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 Thêm vào giỏ
 
Lý thuyết Automat và ngôn ngữ hình thức
Tác giả: Hồ Văn Quân
Xuất bản: TP.HCM: Đại học Quốc gia Thành phố Hồ Chí Minh , 2006
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 Thêm vào giỏ
 
Process algebra for parallel and distributed processing
Tác giả: Michael Alexander, William Gardner
Xuất bản: Boca Raton: CRC Press , 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
UML 2 semantics and applications [electronic resource]
Tác giả: K Lano
Xuất bản: Hoboken, NJ: John Wiley & Sons , 2009.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers
Tác giả: Bernhard K Aichernig, Frank S de Boer, Marcello M Bonsangue
Xuất bản: Berlin ; New York: Springer , 2011.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.015
 Thêm vào giỏ
 
Trước 5 6 7 8 9 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