1
Indholdsfortegnelse: ... of Goal Programming -- Case Study: Application of Goal Programming in Health Care -- Case Study...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Indholdsfortegnelse: ... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...
Få fuldtekst
Electronisk eBog
3
Udgivet 2012
Indholdsfortegnelse: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... -- Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain...
Få fuldtekst
Electronisk eBog
5
Udgivet 2015
Indholdsfortegnelse: ... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...
Få fuldtekst
Electronisk eBog
6
Indholdsfortegnelse: ... and Systems -- Mixed Integer Programming Algorithms -- Classification and Reformulation -- Reformulations...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...
Få fuldtekst
Electronisk eBog
8
Udgivet 2013
Indholdsfortegnelse: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...
Få fuldtekst
Electronisk eBog
10
Udgivet 2007
Indholdsfortegnelse: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Få fuldtekst
Electronisk eBog
11
Udgivet 2010
Indholdsfortegnelse: ...Physical Design Issues in 3-D Integrated Technologies -- Universal Methodology to Handle...
Få fuldtekst
Electronisk eBog
12
Udgivet 2005
Indholdsfortegnelse: ... Integration: Present and Future -- Surveying the Solitudes: An Investigation into the Relationships between...
Få fuldtekst
Electronisk eBog
13
af Hooker, John N., Hooker, John N.
Udgivet 2012
Fag: ...Operations Research/Decision Theory. https://scigraph.springernature.com/ontologies/product-market...
Få fuldtekst
Electronisk eBog
14
af Brown, Charles., Brown, Charles.
Udgivet 2008
Indholdsfortegnelse: ... -- Case Study: Part 1 -- Case Study: Part 2 -- Flex and Data -- Printing -- Charting -- Adobe Integrated...
Få fuldtekst
Electronisk eBog
15
Indholdsfortegnelse: ...OOP and ActionScript -- to OOP -- Programming Concepts -- ActionScript 2.0 Programming -- Flash OOP...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ... and Practice -- Automatic Test-Case Generation -- Testing a Software Product Line -- Parameterized Unit Testing...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ... Features at Runtime -- Metamodel-Based Information Integration at Industrial Scale -- Inferring Meta-models...
Få fuldtekst
Electronisk eBog
18
Udgivet 2010
Indholdsfortegnelse: ... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...
Få fuldtekst
Electronisk eBog
19
Udgivet 2007
Indholdsfortegnelse: ...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...
Få fuldtekst
Electronisk eBog
20
Udgivet 2008
Indholdsfortegnelse: ...Scientific and Technological Cooperation in the Agri-Food Sector: The Case of the CYTED Program...
Få fuldtekst
Electronisk eBog