Toon 1 - 15 resultaten van 15 Voor zoekopdracht '"Formal methods"', zoektijd: 0,23s Verfijn jouw resultaten
1
door Davies, Jim, Silva, Leila, Simao, Adenilso
Gepubliceerd in 2015
Onderwerpen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
2
Gepubliceerd in 2001
Onderwerpen: ...Formal methods (Computer science) Congresses....
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
3
4
door Louërat, Marie-Minerve, Maehne, Torsten
Gepubliceerd in 2015
Onderwerpen: ...Formal methods (Computer science)...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
5
door Núñez, Manuel, Güdemann, Matthias
Gepubliceerd in 2015
Onderwerpen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
6
7
Onderwerpen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
8
Onderwerpen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
9
Onderwerpen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
10
11
door Bjørner, Nikolaj, de Boer, Frank
Gepubliceerd in 2015
Onderwerpen: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
12
door Drusinsky, Doron
Gepubliceerd in 2006
Onderwerpen: ...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
door Drusinsky, Doron
Gepubliceerd in 2006
Onderwerpen: ...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
Gepubliceerd in 2008
Onderwerpen: ...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
door Fujita, Masahiro
Gepubliceerd in 2008
Onderwerpen: ...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ơ