1
Gepubliceerd in 2014
Inhoudsopgave: ...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2007
Inhoudsopgave: ... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2006
Inhoudsopgave: ... -- AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems -- The Timetable Constrained...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2010
Inhoudsopgave: ... for Constrained Optimum Paths Problems -- Stochastic Constraint Programming by Neuroevolution with Filtering...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2005
Inhoudsopgave: ... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2013
Inhoudsopgave: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2010
Inhoudsopgave: ... Quasi-polyhedra -- An Integer Programming and Decomposition Approach to General Chance-Constrained...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2013
Inhoudsopgave: ...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2010
Inhoudsopgave: ... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2008
Inhoudsopgave: ... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2007
Inhoudsopgave: ... Organizations -- Integrating Trust in Virtual Organisations -- Coordinating Tasks in Agent Organizations...
Volledige tekst
Elektronisch E-boek
12
door Shao, Juping., Shao, Juping., Sun, Yanan., Noche, Bernd.
Gepubliceerd in 2015
Onderwerpen: ...Supply Chain Management. https://scigraph.springernature.com/ontologies/product-market-codes/519030...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2010
Inhoudsopgave: ... Algorithms: From Java to C -- Integrate Online Model Checking into Distributed Reconfigurable System on Chip...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2008
Inhoudsopgave: ... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2005
Inhoudsopgave: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2013
Inhoudsopgave: ... Semantics for EB3 for Verification of Temporal Properties -- Interval Soundness of Resource-Constrained...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2005
Inhoudsopgave: ...-Based Relational Data Integration -- An Effective Searching Method Using the Example-Based Query...
Volledige tekst
Elektronisch E-boek
18
Inhoudsopgave: ... Reservation and Service-Level Agreement -- Optimizing Multi-Constrained Allocations with Capacity Planning...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Inhoudsopgave: ... Evolutionary Programming -- Merging the Ranking and Selection into ITO Algorithm for Simulation Optimization...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2006
Inhoudsopgave: ... Routing Metric and Policies for WSNs -- On the Scalability of Routing Integrated Time Synchronization...
Volledige tekst
Elektronisch E-boek