Visas 1 - 15 av 15 resultat för sökning '"Formal methods"', Sökningstid : 0,16s Förfina resultatet
1
Ämnen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
2
Publicerad 2001
Ämnen: ...Formal methods (Computer science) Congresses....
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
3
4
Ämnen: ...Formal methods (Computer science)...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
5
av Núñez, Manuel, Güdemann, Matthias
Publicerad 2015
Ämnen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
6
7
Ämnen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
8
Ämnen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
9
Ämnen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
10
11
av Bjørner, Nikolaj, de Boer, Frank
Publicerad 2015
Ämnen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
12
av Drusinsky, Doron
Publicerad 2006
Ämnen: ...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
av Drusinsky, Doron
Publicerad 2006
Ämnen: ...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
Publicerad 2008
Ämnen: ...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
av Fujita, Masahiro
Publicerad 2008
Ämnen: ...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ơ