Đă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 18 kết quả
Formal methods for industrial critical systems : a survey of applications
Tác giả: Stefania Gnesi, Tiziana Margaria-Steffen
Xuất bản: Hoboken New Jersey: John Wiley and Sons Incorporated, 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Tác giả: Dirk Pattinson, Lutz Schröder
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Coalgebraic Methods in Computer Science [electronic resource] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected
Tác giả: Marcello M Bonsangue
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Coalgebraic Methods in Computer Science [electronic resource] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised
Tác giả: Ichiro Hasuo
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Coalgebraic Methods in Computer Science [electronic resource] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised
Tác giả: Corina Cîrstea
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
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ỏ
 
Constructing correct software
Tác giả: John Cooke
Xuất bản: New York: Springer, 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European ...
Tác giả: Alessandra Russo, Alessandra Russo, Andy Schürr, Andy Schürr
Xuất bản: Cham: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 Thêm vào giỏ
 
Teamwork in multi-agent systems : a formal approach
Tác giả: Barbara Dunin-K#eplicz, Rineke Verbrugge
Xuất bản: Hoboken New Jersey: John Wiley, 2010
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 Thêm vào giỏ
 
Design patterns formalization techniques
Tác giả: Toufik Taibi
Xuất bản: Hershey: IGI Publishing, 2007
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
1 2 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