Descriptional Complexity of Formal Systems

Mã QR

Descriptional Complexity of Formal Systems

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Konstantinidis, Stavros, Pighizzini, Giovanni
Đị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 Discrete Mathematics in Computer Science
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87761
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ự

Descriptional Complexity of Formal Systems. 1st ed. 2017
Bỡi: Pighizzini, Giovanni, et al.
Được phát hành: (2020)

Formal Methods in Software and Systems Modeling
Được phát hành: (2020)

Modelling Computing Systems
Bỡi: Moller, Faron, 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)

Formal Modeling and Analysis of Timed Systems
Bỡi: Raskin, Jean-Francois, et al.
Được phát hành: (2020)

Formal Modeling and Analysis of Timed Systems
Bỡi: Pettersson, Paul, et al.
Được phát hành: (2020)

Formal Techniques for Safety-Critical Systems
Bỡi: Artho, Cyrille, et al.
Được phát hành: (2020)

Guide to Discrete Mathematics. 1st ed.
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Davies, Jim, 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)

Formal Techniques for Distributed Objects, Components, and Systems
Bỡi: Bouajjani, Ahmed, et al.
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Medina, Raoul, et al.
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Kuznetsov, Sergei O., et al.
Được phát hành: (2020)

Formal Concept Analysis
Được phát hành: (2020)

Critical Systems: Formal Methods and Automated Verification
Bỡi: Petrucci, Laure, et al.
Được phát hành: (2020)

Integrated Formal Methods
Được phát hành: (2020)

FM 2005: Formal Methods
Được phát hành: (2020)

Formal Grammar
Bỡi: Bernardi, Raffaella, 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)

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

Small Dynamic Complexity Classes
Được phát hành: (2020)

Frontiers of Combining Systems
Bỡi: Dixon, Clare, et al.
Được phát hành: (2020)

Software Engineering and Formal Methods
Bỡi: Cerone, Antonio, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Vojnar, Tomáš, et al.
Được phát hành: (2020)

PRIMA 2017: Principles and Practice of Multi-Agent Systems
Bỡi: An, Bo, et al.
Được phát hành: (2020)

Description Logics in Multimedia Reasoning. 1st ed. 2017
Bỡi: Sikos, Leslie F.
Được phát hành: (2020)

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

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

Quantitative Evaluation of Systems
Bỡi: McIver, Annabelle, et al.
Được phát hành: (2020)

Perspectives of System Informatics
Bỡi: Petrenko, Alexander K., et al.
Được phát hành: (2020)

Software Engineering for Resilient Systems
Bỡi: Romanovsky, Alexander, et al.
Được phát hành: (2020)

Model-Based Testing of Reactive Systems
Được phát hành: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Bỡi: Antonucci, Alessandro, et al.
Được phát hành: (2020)

Algebraic Biology
Bỡi: Anai, Hirokazu, et al.
Được phát hành: (2020)

Rewriting, Computation and Proof
Bỡi: Comon-Lundh, Hubert, et al.
Được phát hành: (2020)

Interactive Theorem Proving
Bỡi: Ayala-Rincón, Mauricio, et al.
Được phát hành: (2020)

Automated Deduction - CADE-21
Bỡi: Pfenning, Frank
Được phát hành: (2020)

Verification of Object-Oriented Software. The KeY Approach
Bỡi: Beckert, Bernhard, et al.
Được phát hành: (2020)

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

Scalable Uncertainty Management
Bỡi: Moral, Serafín, et al.
Được phát hành: (2020)