Language and Automata Theory and Applications

Mã QR

Language and Automata Theory and Applications

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Leporati, Alberto, Martín-Vide, Carlos, Shapira, Dana, Zandron, Claudio
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Logics and Meanings of Programs Database Management Computer System Implementation
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89984
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ữ:	Thư viện Trường Đại học Đà Lạt

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

Language and Automata Theory and Applications
Bỡi: Martín-Vide, Carlos, et al.
Được phát hành: (2020)

Language and Automata Theory and Applications
Bỡi: Drewes, Frank, et al.
Được phát hành: (2020)

Implementation and Application of Automata
Bỡi: Câmpeanu, Cezar
Được phát hành: (2020)

Developments in Language Theory
Bỡi: Hofman, Piotrek, et al.
Được phát hành: (2020)

Dynamic Logic. New Trends and Applications
Bỡi: Barbosa, Luís Soares, et al.
Được phát hành: (2020)

Implementation and Application of Automata. 1st ed. 2017
Bỡi: Carayol, Arnaud, et al.
Được phát hành: (2020)

Inconsistency Tolerance
Được phát hành: (2020)

Developments in Language Theory
Bỡi: Hoshi, Mizuho, et al.
Được phát hành: (2020)

Application and Theory of Petri Nets and Concurrency
Bỡi: Khomenko, Victor, et al.
Được phát hành: (2020)

Application and Theory of Petri Nets and Concurrency
Bỡi: Aalst, Wil van der, et al.
Được phát hành: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
Bỡi: Larsen, Kim Guldstrand, et al.
Được phát hành: (2020)

Computer Science – Theory and Applications
Bỡi: Fomin, Fedor V., et al.
Được phát hành: (2020)

Theory and Applications of Formal Argumentation
Bỡi: Black, Elizabeth, et al.
Được phát hành: (2020)

A Theory of Distributed Objects
Được phát hành: (2020)

A Practical Theory of Reactive Systems
Được phát hành: (2020)

Applications and Theory of Petri Nets
Bỡi: Hee, Kees van, et al.
Được phát hành: (2020)

Logic and Its Applications
Được phát hành: (2020)

Principles of Programming Languages
Bỡi: Dowek, Gilles
Được phát hành: (2020)

Programming Languages and Systems
Được phát hành: (2020)

Practical Aspects of Declarative Languages
Bỡi: Calimeri, Francesco, et al.
Được phát hành: (2020)

Unifying Theories of Programming
Bỡi: Bowen, Jonathan P., et al.
Được phát hành: (2020)

Program Analysis and Compilation, Theory and Practice
Bỡi: Reps, Thomas, et al.
Được phát hành: (2020)

Rewriting Logic and Its Applications
Bỡi: Rusu, Vlad
Được phát hành: (2020)

Coordination Models and Languages
Bỡi: Murphy, Amy L., et al.
Được phát hành: (2020)

Languages and Compilers for Parallel Computing
Bỡi: Ding, Chen, et al.
Được phát hành: (2020)

Implementation and Application of Automata
Được phát hành: (2020)

Computer Science – Theory and Applications. 1st ed. 2017
Bỡi: Weil, Pascal
Được phát hành: (2020)

Abstraction, Reformulation and Approximation
Bỡi: Zucker, Jean-Daniel, et al.
Được phát hành: (2020)

Concurrency, Graphs and Models
Bỡi: Degano, Pierpaolo, et al.
Được phát hành: (2020)

Advances in Computer Science - ASIAN 2007. Computer and Network Security
Bỡi: Cervesato, Iliano
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Davies, Jim, et al.
Được phát hành: (2020)

Algebra and Coalgebra in Computer Science
Bỡi: Mossakowski, Till, et al.
Được phát hành: (2020)

Perspectives of Systems Informatics
Bỡi: Voronkov, Andrei, et al.
Được phát hành: (2020)

A First Introduction to Quantum Computing and Information
Bỡi: Zygelman, Bernard
Được phát hành: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
Bỡi: Okada, Mitsu, et al.
Được phát hành: (2020)

Algebra and Coalgebra in Computer Science
Bỡi: Fiadeiro, José Luis, et al.
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Romijn, Judi M.T., et al.
Được phát hành: (2020)

Foundations of Software Science and Computational Structures
Bỡi: Amadio, Roberto
Được phát hành: (2020)

Computer Aided Verification
Bỡi: Damm, Werner, et al.
Được phát hành: (2020)

Fundamentals of Computation Theory
Được phát hành: (2020)