Theory and Applications of Satisfiability Testing - SAT 2007

Mã QR

Theory and Applications of Satisfiability Testing - SAT 2007

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Marques-Silva, Joao, Sakallah, Karem A.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81846
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ự

Theory and Applications of Satisfiability Testing - SAT 2009
Đượ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)

Theory and Applications of Satisfiability Testing
Đượ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)

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

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

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Bỡi: Butler, Michael, et al.
Đượ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)

Natural Language Processing – IJCNLP 2005
Bỡi: Dale, Robert, 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, 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)

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

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

Computer Science - Theory and Applications
Bỡi: Hirsch, Edward A., et al.
Được phát hành: (2020)

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

Computer Science - Theory and Applications
Bỡi: Diekert, Volker, et al.
Được phát hành: (2020)

Progress in Cryptology – INDOCRYPT 2007
Bỡi: Srinathan, K., et al.
Được phát hành: (2020)

SOFSEM 2020: Theory and Practice of Computer Science
Bỡi: Chatzigeorgiou, Alexander, et al.
Được phát hành: (2020)

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

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)

Applications and Techniques in Information Security. 1st ed. 2017
Bỡi: Batten, Lynn, et al.
Được phát hành: (2020)

Guide to Computational Modelling for Decision Processes. 1st ed. 2017
Bỡi: Berry, Stuart, et al.
Được phát hành: (2020)

Intelligent Computing Theories and Application
Bỡi: Huang, De-Shuang, et al.
Được phát hành: (2020)

Intelligent Computing Theories and Application
Bỡi: Huang, De-Shuang, et al.
Được phát hành: (2020)

Advanced Intelligent Computing Theories and Applications - With Aspects of Theoretical and Methodological Issues
Bỡi: Huang, De-Shuang, et al.
Được phát hành: (2020)

Advances in Cryptology – EUROCRYPT 2007
Bỡi: Naor, Moni
Được phát hành: (2020)

Advances in Cryptology – ASIACRYPT 2007
Bỡi: Kurosawa, Kaoru
Được phát hành: (2020)

Combinatorial Optimization and Applications
Bỡi: Gao, Xiaofeng, et al.
Được phát hành: (2020)

Combinatorial Optimization and Applications
Bỡi: Gao, Xiaofeng, et al.
Được phát hành: (2020)

Genetic Programming Theory and Practice XIV
Bỡi: Riolo, Rick, et al.
Được phát hành: (2020)

Genetic Programming Theory and Practice XV
Bỡi: Banzhaf, Wolfgang, et al.
Được phát hành: (2020)

Practice and Theory of Automated Timetabling V
Bỡi: Burke, Edmund, et al.
Được phát hành: (2020)