בתוך החיפוש שלך נושאים מוצעים
Formal languages 4 Machine theory 3 Development,Phát triển 2 Semigroups 2 UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính 2 Algorithms 1 Computational complexity 1 יותר ...
Đang hiển thị 1 - 20 kết quả của 236 cho tìm kiếm '"Formalization"', זמן שאילתה: 0.09s Tinh chỉnh kết quả
1
מאת Beuve, M.
נושאים: ...Formalization...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
2
מאת Učník, Ľubica, Chvatík, Ivan, Williams, Anita
יצא לאור 2015
נושאים: ...Formalization...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
3
מאת Ding-zhu Du
יצא לאור 2001
נושאים: ...automata ( formal languages ),formal languages...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
4
יצא לאור 2002
נושאים: ...automath ( formal languages )...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
5
מאת De Luca, A.
יצא לאור 1999
נושאים: ...Formal languages....
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
6
מאת Yan, Song Y.
יצא לאור 1998
נושאים: ...Formal languages....
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
7
מאת 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
קבל טקסט מלא
8
מאת Bjørner, Nikolaj, de Boer, Frank
יצא לאור 2015
נושאים: ...Mathematical Logic and Formal Languages...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
9
מאת Nguyễn Văn Ba
יצא לאור 2002
נושאים: ...formal languages,graph grammars...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
10
יצא לאור 2001
נושאים: ...Formal methods (Computer science) Congresses....
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
11
מאת Linz Peter
יצא לאור 1990
נושאים: ...Formal Languages and Automata...
Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng
12
מאת Đặng, Huy Ruận
יצא לאור 2002
נושאים: ...Formal languages,Ngôn ngữ 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ơ
13
מאת Izumi, Shuzo.
נושאים: ...Formal morphisms...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
14
מאת Ostrouch-Kamińska, Joanna, Vieira, Cristina C
יצא לאור 2016
נושאים: ...Non-formal education...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
15
מאת Meyden, Ron van der, Torre, Leendert van der
יצא לאור 2020
נושאים: ...Mathematical Logic and Formal Languages...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
16
מאת Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V.
יצא לאור 2020
נושאים: ...Mathematical Logic and Formal Languages...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
17
יצא לאור 2020
נושאים: ...Mathematical Logic and Formal Languages...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
18
יצא לאור 2020
נושאים: ...Mathematical Logic and Formal Languages...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
19
יצא לאור 2020
נושאים: ...Mathematical Logic and Formal Languages...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
20
נושאים: ...Formal geometry...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt