Nhập môn tin học lý thuyết tính toán và các Ôtômat =

Mã QR

Nhập môn tin học lý thuyết tính toán và các Ôtômat = Computation and Automata

Hiển thị phiên bản (2) khác

Nội dung sách cung cấp kiến thức về một số chủ đề toán học trung tâm của tin học lý thuyết, các hàm đệ quy, các ngôn ngữ hình thức và các Ôtomat, độ phức tạp tính toán và mật mã khoa học.

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Salomaa, Arto
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Hà Nội Khoa học và Kỹ thuật 1992
Những chủ đề:	Lý thuyết Automata,Automata
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Những quyển sách tương tự

Problem solving in automata, languages, and complexity
Bỡi: Ding-zhu Du
Được phát hành: (2001)

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Automata and Computability
Bỡi: Kozen, Dexter C
Được phát hành: (1997)

Nhập môn tin học lý thuyết tính toán và các ôtômát /
Bỡi: Salomaa, Arto.
Được phát hành: (1992)

Nhập môn tin học lý thuyết tính toán và các Ôtômat /
Bỡi: Salomaa, Arto.
Được phát hành: (1992)

Dynamic neighbourhood cellular automata /
Bỡi: Dantchev, Stefan.

Mathematical modeling of biofilm structure with a hybrid differential-discrete cellular automaton approach /
Bỡi: Picioreanu, Cristian.

Modal logics are coalgebraic /

Closing a system in the dynamic input/output automata model /
Bỡi: Kapus, Tatjana.

A new combined differential-discrete cellular automaton approach for biofilm modeling : Application for growth in gel beads /
Bỡi: Picioreanu, Cristian.

Expansive invertible onesided cellular automata /
Bỡi: Boyle, Mike.

Stochastic cellular automata /
Bỡi: Fricke, Thomas.

Robot brains :
Bỡi: Haikonen, Pentti O.
Được phát hành: (2007)

Foundations of fuzzy control
Bỡi: Jantzen, Jan
Được phát hành: (2007)

Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và LOGIC thời gian tuyến tính
Bỡi: Phan Thị Thái, Ninh
Được phát hành: (2018)

Lý thuyết ôtômát và thuật toán
Bỡi: Phan Đình Diệu
Được phát hành: (1977)

Lý thuyết Ôtômát và thuật toán /
Bỡi: Phan Đình Diệu
Được phát hành: (1977)

Nhập môn ngôn ngữ và otomatic hữu hạn

Nhập môn lý thuyết điều khiển toán học /
Bỡi: Vũ Ngọc Phát.
Được phát hành: (2001)

Nhập môn lý thuyết điều khiển toán học /
Bỡi: Vũ Ngọc Phát.
Được phát hành: (2001)

Nhập môn lý thuyết điều khiển toán học /
Bỡi: Vũ Ngọc Phát.
Được phát hành: (2001)

Bài giảng môn học: Lý thuyết Otomat và ngôn ngữ hình thức
Bỡi: Hồ Văn Quân

Các cấu trúc đại số trong lý thuyết ôtômat
Bỡi: Nguyễn, Thị Hồng Nhung
Được phát hành: (2014)

Lý thuyết ngôn ngữ hình thức và ôtômat /
Bỡi: Nguyễn Thanh Tùng.
Được phát hành: (1992)

Lý thuyết ngôn ngữ hình thức và Otomat
Bỡi: Đặng, Huy Ruận
Được phát hành: (2002)

Lý thuyết ngôn ngữ hình thức và ôtômat /
Bỡi: Nguyễn Thanh Tùng.
Được phát hành: (1993)

Lý thuyết ngôn ngữ hình thức và otomat /
Bỡi: Đặng Huy Ruận
Được phát hành: (2002)

Lý thuyết ngôn ngữ hình thức và otomat /
Bỡi: Đặng Huy Ruận
Được phát hành: (2002)

Nhập môn lý thuyết trò chơi
Bỡi: Carmichael, Fiona
Được phát hành: (2016)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
Bỡi: Nguyễn, Thanh Tùng
Được phát hành: (1993)

Ngân hàng đề thi môn Lý thuyết thông tin
Được phát hành: (2018)

Bài Giảng Môn học: Otomat và ngôn ngữ hình thức
Bỡi: TS. Nguyễn Văn Định

Nhập môn lý thuyết trường lượng tử
Bỡi: Đào Vọng Đức
Được phát hành: (2007)

Nhập môn lý thuyết trường lượng tử /
Bỡi: Đào Vọng Đức.
Được phát hành: (2007)

Nhập môn lý thuyết trường lượng tử /
Bỡi: Đào Vọng Đức.
Được phát hành: (2007)

Ôtômát hữu hạn hai phía/
Bỡi: Đặng Huy Ruận

Chương trình lý thuyết môn học: Kỹ thuật số
Được phát hành: (2001)

Nhập môn lý thuyết, tập hợp và lôgíc Tài liệu dùng cho các trường Cao đẳng sư phạm và các trường Sư phạm cấp hai 10+3
Bỡi: Phan, Hữu Chân
Được phát hành: (1977)

Giáo trình ngôn ngữ hình thức và ôtômát : Ngôn ngữ và ôtômát .
Bỡi: Nguyễn Xuân Dũng
Được phát hành: (1994)

Lý thuyết thông tin
Bỡi: Hồ, Văn Quân
Được phát hành: (2008)