検索結果 1 - 15 結果 / 15 検索語 '"Formal methods"', 処理時間: 0.05秒 結果の絞り込み
1
著者: Davies, Jim, Silva, Leila, Simao, Adenilso
出版事項 2015
主題: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
2
出版事項 2001
主題: ...Formal methods (Computer science) Congresses....
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
3
4
著者: 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
全文の入手
5
著者: Núñez, Manuel, Güdemann, Matthias
出版事項 2015
主題: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
6
7
著者: Kapus, Tatjana.
主題: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
8
主題: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
9
主題: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
10
11
著者: Bjørner, Nikolaj, de Boer, Frank
出版事項 2015
主題: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
12
著者: 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ơ
13
著者: 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ơ
14
出版事項 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ơ
15
著者: 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ơ