1
Bằng Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Được phát hành 2008
Mục lục: ...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...
lấy văn bản
Điện tử eBook
2
Bằng King, Alan J., King, Alan J., Wallace, Stein W.
Được phát hành 2012
Mục lục: ...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...
lấy văn bản
Điện tử eBook
3
Được phát hành 2006
Mục lục: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
lấy văn bản
Điện tử eBook
4
Bằng Rasmussen, Svend., Rasmussen, Svend.
Được phát hành 2013
Mục lục: ... Programming in Practical Production Planning -- 21 Modelling Supply Functions Using Linear Programming...
lấy văn bản
Điện tử eBook
5
Bằng Haviv, Moshe., Haviv, Moshe.
Được phát hành 2013
Những chủ đề: ...Decision making....
lấy văn bản
Điện tử eBook