-
201Έκδοση 2005Πίνακας περιεχομένων: “… to Robust Nonlinear Control -- Optimal Control of Piecewise Affine Systems: A Dynamic Programming Approach…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
202
-
203
-
204Έκδοση 2013Πίνακας περιεχομένων: “… Differential Games -- 2 OPTGAME3: A Dynamic Game Solver and an Economic Example -- 3 Dynamic Programming…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
205Έκδοση 1999Πίνακας περιεχομένων: “… Structural Properties as Language Constructs? -- Polytypic Compact Printing and Parsing -- Dynamic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
206Έκδοση 2015Πίνακας περιεχομένων: “… -- Stochastic Dual Dynamic Programming Solution of a Short-Term Disaster Management Problem -- Optimal Stock…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
207Έκδοση 2001Πίνακας περιεχομένων: “… System -- YACS: Combining Dynamic Programming with Generalization in Classifier Systems -- A Self…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
208Έκδοση 2014Πίνακας περιεχομένων: “…, models and code -- Static and dynamic program analysis and verification -- Software specification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
209
-
210
-
211
-
212
-
213
-
214Έκδοση 2012Πίνακας περιεχομένων: “… Algorithm for TSP in Degree-4 Graphs -- Dynamic Programming for H-minor-free Graphs -- Restricted Max-Min…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
215Έκδοση 2013Πίνακας περιεχομένων: “… Knowledge Discovery Approach Applied to Hydrological Forecasting -- A Dynamic Programming Algorithm…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
216
-
217Έκδοση 2003Πίνακας περιεχομένων: “… Planning -- From Dynamic Programming to RRTs: Algorithmic Design of Feasible Trajectories -- Control…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
218Έκδοση 2003Πίνακας περιεχομένων: “… Auctions by Dynamic Programming with Polynomial Secret Sharing -- A Second-Price Sealed-Bid Auction…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
219Έκδοση 2004Πίνακας περιεχομένων: “… -- Simplifying Dynamic Programming via Tabling -- Symbolic Execution of Behavioral Requirements -- Observing…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
220Έκδοση 2014Πίνακας περιεχομένων: “… for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο