Suggested Topics within your search.
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 more ...
Showing 1 - 20 results of 236 for search '"Formalization"', query time: 0.05s Refine Results
1
Formalization and theoretical analysis of the local effect model /
Subjects: “...Formalization...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
2
The Phenomenological Critique of Mathematisation and the Question of Responsibility: Formalisation and the Life-World
Subjects: “...Formalization...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
3
Problem solving in automata, languages, and complexity
by Ding-zhu Du
Published 2001
Subjects: “...automata ( formal languages ),formal languages...”
Institutions: Trung tâm Học liệu Trường Đại học Cần Thơ
Save to List
Saved in:
4
Lý thuyết Automat và ngôn ngữ hình thức
Published 2002
Subjects: “...automath ( formal languages )...”
Institutions: Trung tâm Học liệu Trường Đại học Cần Thơ
Save to List
Saved in:
5
Finiteness and regularity in semigroups and formal languages /
by De Luca, A.
Published 1999
Subjects: “...Formal languages....”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
6
An introduction to formal languages and machine computation /
by Yan, Song Y.
Published 1998
Subjects: “...Formal languages....”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
7
Formal Methods: Foundations and Applications
Subjects: “...Formal methods...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
8
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
by Bjørner, Nikolaj, de Boer, Frank
Published 2015
Subjects: “...Mathematical Logic and Formal Languages...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
9
Ngôn ngữ hình thức
by Nguyễn Văn Ba
Published 2002
Subjects: “...formal languages,graph grammars...”
Institutions: Trung tâm Học liệu Trường Đại học Cần Thơ
Save to List
Saved in:
10
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Published 2001
Subjects: “...Formal methods (Computer science) Congresses....”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
11
An Introduction to Formal Languages and Automata (Photo) /
by Linz Peter
Published 1990
Subjects: “...Formal Languages and Automata...”
Institutions: Thư viện Trường CĐ Kỹ Thuật Cao Thắng
Save to List
Saved in:
12
Lý thuyết ngôn ngữ hình thức và Otomat
by Đặng, Huy Ruận
Published 2002
Subjects: “...Formal languages,Ngôn ngữ hình thức...”
Institutions: Trung tâm Học liệu Trường Đại học Cần Thơ
Save to List
Saved in:
13
Convergence of formal morphisms of completions of complex spaces /
Subjects: “...Formal morphisms...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
14
Private World(s): Gender and Informal Learning of Adults
Subjects: “...Non-formal education...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
15
Deontic Logic in Computer Science
Subjects: “...Mathematical Logic and Formal Languages...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
16
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Subjects: “...Mathematical Logic and Formal Languages...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
17
Conditionals, Information, and Inference
Published 2020
Subjects: “...Mathematical Logic and Formal Languages...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
18
Logic, Language, and Computation
Published 2020
Subjects: “...Mathematical Logic and Formal Languages...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
19
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Published 2020
Subjects: “...Mathematical Logic and Formal Languages...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
20
Models of rationally connected manifolds /
Subjects: “...Formal geometry...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search