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 mer ... Computational complexity,Tính toán phức tạp 1 Computer Science 1 Congresses,Congresses,Congresses 1 Formal Forms and Their Meanings in Writing the Expository Essays, Writing , 2004, 63tr 1 Formal Languages and Automata 1 Formal languages,Ngôn ngữ chính thức 1 Formal languages,Ngôn ngữ hình thức 1 Formal methods (Computer science) 1 Integrated circuits,Formal methods (Computer science),Mạch tích hợp,Phương pháp hình thức (Khoa học máy tính),Systems on a chip,Hệ thống trên một chip 1 Logic, Symbolic and mathematical 1 Lý thuyết máy,Thuật toán 1 Machine theory,Formal languages,Computational complexity,Lý thuyết máy,Ngôn ngữ hình thức,Độ phức tạp của máy điện toán 1 Machine theory,Formal languages,Lý thuyết máy tính,Hình thức ngôn ngữ 1 Real-time data processing,Computer software,Formal methods (Computer science),Xử lý dữ liệu tại chỗ,Phần mềm máy tính,Phương pháp chính ( khoa học vi tính ) 1 Semigroups,Algorithms,Machine theory,Formal languages 1 Semigroups,Formal languages,Group theory 1 Toán học,Machine theory,Formal languages,Computational complexity 1 Verification,Mã xác nhận,Testing,Thử nghiệm 1 Verification,Xác minh 1 automata ( formal languages ),formal languages 1 automath ( formal languages ) 1 formal languages,graph grammars 1 mathematics 1 mindre ...