検索結果 1 - 6 結果 / 6 検索語 '"Formal methods (Computer science)"', 処理時間: 0.27秒 結果の絞り込み
1
出版事項 2001
主題: ...Formal methods (Computer science) Congresses....
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
2
著者: Louërat, Marie-Minerve, Maehne, Torsten
出版事項 2015
主題: ...Formal methods (Computer science)...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
3
著者: Drusinsky, Doron
出版事項 2006
主題: ...UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
4
著者: Drusinsky, Doron
出版事項 2006
主題: ...UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
5
出版事項 2008
主題: ...Real-time data processing,Computer software,Formal methods (Computer science),Xử lý dữ liệu...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
6
著者: Fujita, Masahiro
出版事項 2008
主題: ...Integrated circuits,Formal methods (Computer science),Mạch tích hợp,Phương pháp hình thức...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ