Abstract State Machines, Alloy, B, TLA, VDM, and Z

Mã QR

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Butler, Michael, Raschke, Alexander, Hoang, Thai Son, Reichl, Klaus
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87372
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ự

Abstract State Machines, B and Z
Được phát hành: (2020)

Machine Learning: ECML 2007
Bỡi: Kok, Joost N., et al.
Được phát hành: (2020)

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

Graph Theory, Computational Intelligence and Thought
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing
Bỡi: Hoos, Holger H., et al.
Được phát hành: (2020)

Natural Language Processing – IJCNLP 2005
Bỡi: Dale, Robert, et al.
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing
Được phát hành: (2020)

KI 2017: Advances in Artificial Intelligence
Bỡi: Kern-Isberner, Gabriele, et al.
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
Bỡi: Marques-Silva, Joao, et al.
Được phát hành: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Bỡi: Sichman, Jaime Simao, et al.
Được phát hành: (2020)

Logic and Its Applications
Bỡi: Khan, Md. Aquil, et al.
Được phát hành: (2020)

Theory and Applications of Models of Computation. 1st ed. 2017
Bỡi: Gopal, T.V., et al.
Được phát hành: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
Bỡi: Kennedy, Juliette, et al.
Được phát hành: (2020)

AI 2015: Advances in Artificial Intelligence
Bỡi: Pfahringer, Bernhard, et al.
Được phát hành: (2020)

KI 2019: Advances in Artificial Intelligence
Bỡi: Benzmüller, Christoph, et al.
Được phát hành: (2020)

Machine Learning and Data Mining in Pattern Recognition
Bỡi: Perner, Petra
Được phát hành: (2020)

Machine Learning and Data Mining in Pattern Recognition
Được phát hành: (2020)

Elements of the theory of computation /
Bỡi: Lewis, Harry R.
Được phát hành: (1998)

Practical TLA+
Bỡi: Wayne, Hillel
Được phát hành: (2020)

Optimization in Machine Learning and Applications
Bỡi: Kulkarni, Anand J., et al.
Được phát hành: (2020)

Machine Learning for Decision Makers
Bỡi: Kashyap, Patanjali
Được phát hành: (2020)

Machine Learning and Cognition in Enterprises
Bỡi: Kumar, Rohit
Được phát hành: (2020)

Machines, Computations, and Universality
Bỡi: Durand-Lose, Jérôme, et al.
Được phát hành: (2020)

Temporal Logic and State Systems
Bỡi: Kröger, Fred, et al.
Được phát hành: (2020)

Understanding and Interpreting Machine Learning in Medical Image Computing Applications
Bỡi: Stoyanov, Danail, et al.
Được phát hành: (2020)

Practical Problems in VLSI Physical Design Automation
Bỡi: Lim, Sung Kyu
Được phát hành: (2020)

Genetic Programming
Bỡi: Castelli, Mauro, et al.
Được phát hành: (2020)

Learning and Intelligent Optimization
Bỡi: Battiti, Roberto, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

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

Complexity and Approximation
Bỡi: Du, Ding-Zhu, et al.
Được phát hành: (2020)

Theorem Proving in Higher Order Logics
Bỡi: Schneider, Klaus, et al.
Được phát hành: (2020)

Logical Foundations of Computer Science
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Deontic Logic in Computer Science
Bỡi: Meyden, Ron van der, et al.
Được phát hành: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Bỡi: Aguzzoli, S., et al.
Được phát hành: (2020)

Conditionals, Information, and Inference
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)