Sugestões de Tópicos dentro de sua busca.
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 Mais ...
Mostrando 1 - 20 resultados de 236 para a busca '"Formalization"', tempo de busca: 0.09s Refinar Resultados
1
Formalization and theoretical analysis of the local effect model /
por Beuve, M.
Assuntos: “...Formalization...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Salvar na lista
Na minha lista:
2
The Phenomenological Critique of Mathematisation and the Question of Responsibility: Formalisation and the Life-World
Assuntos: “...Formalization...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Salvar na lista
Na minha lista:
3
Problem solving in automata, languages, and complexity
por Ding-zhu Du
Publicado em 2001
Assuntos: “...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ơ
Salvar na lista
Na minha lista:
4
Lý thuyết Automat và ngôn ngữ hình thức
Publicado em 2002
Assuntos: “...automath ( formal languages )...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Salvar na lista
Na minha lista:
5
Finiteness and regularity in semigroups and formal languages /
por De Luca, A.
Publicado em 1999
Assuntos: “...Formal languages....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Salvar na lista
Na minha lista:
6
An introduction to formal languages and machine computation /
por Yan, Song Y.
Publicado em 1998
Assuntos: “...Formal languages....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Salvar na lista
Na minha lista:
7
Formal Methods: Foundations and Applications
por Davies, Jim, Silva, Leila, Simao, Adenilso
Publicado em 2015
Assuntos: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Salvar na lista
Na minha lista:
8
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
por Bjørner, Nikolaj, de Boer, Frank
Publicado em 2015
Assuntos: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Salvar na lista
Na minha lista:
9
Ngôn ngữ hình thức
por Nguyễn Văn Ba
Publicado em 2002
Assuntos: “...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ơ
Salvar na lista
Na minha lista:
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 /
Publicado em 2001
Assuntos: “...Formal methods (Computer science) Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Salvar na lista
Na minha lista:
11
An Introduction to Formal Languages and Automata (Photo) /
por Linz Peter
Publicado em 1990
Assuntos: “...Formal Languages and Automata...”
Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng
Salvar na lista
Na minha lista:
12
Lý thuyết ngôn ngữ hình thức và Otomat
por Đặng, Huy Ruận
Publicado em 2002
Assuntos: “...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ơ
Salvar na lista
Na minha lista:
13
Convergence of formal morphisms of completions of complex spaces /
Assuntos: “...Formal morphisms...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Salvar na lista
Na minha lista:
14
Private World(s): Gender and Informal Learning of Adults
Assuntos: “...Non-formal education...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Salvar na lista
Na minha lista:
15
Deontic Logic in Computer Science
Assuntos: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Salvar na lista
Na minha lista:
16
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Assuntos: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Salvar na lista
Na minha lista:
17
Conditionals, Information, and Inference
Publicado em 2020
Assuntos: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Salvar na lista
Na minha lista:
18
Logic, Language, and Computation
Publicado em 2020
Assuntos: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Salvar na lista
Na minha lista:
19
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Publicado em 2020
Assuntos: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Salvar na lista
Na minha lista:
20
Models of rationally connected manifolds /
Assuntos: “...Formal geometry...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Salvar na lista
Na minha lista:
Ferramentas de busca: Obter Feed RSS — Enviar busca por e-mail — Salvar a busca