Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
international computer » international center
computer method » computer methods, computed methods, computing method
method decision » methods decision, method precision, method design
decision get » decisions get, decision agent, decision gate
international computer » international center
computer method » computer methods, computed methods, computing method
method decision » methods decision, method precision, method design
decision get » decisions get, decision agent, decision gate
1
Được phát hành 2005
Mục lục:
“... of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic -- A Tableau-Based Decision Procedure...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2010
Mục lục:
“...Research on Group Decision-Making Mechanism of Internet Emergency Management -- The Challenges...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2008
Mục lục:
“... Metatheory -- Methods and Tools for Formal Software Engineering -- Guaranteeing Correctness -- The Verified...”lấy văn bản
Điện tử
eBook
4
Mục lục:
“...Rationale of the book -- About the Authors -- 1. Metaphor in Medicine. The Metaphorical Method...”
lấy văn bản
lấy văn bản
Điện tử
eBook