1
Publicat 2008
Taula de continguts: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Obtenir text complet
Electrònic eBook
3
Publicat 2011
Taula de continguts: ..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...
Obtenir text complet
Electrònic eBook
4
Publicat 2014
Taula de continguts: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Obtenir text complet
Electrònic eBook
5
Publicat 2006
Taula de continguts: ... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...
Obtenir text complet
Electrònic eBook
6
Publicat 2013
Taula de continguts: ... P.A.T.H.S.:An integration of findings based on program implementers -- 11 Qualitative evaluation...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ...Invited Talks -- Provenance Management for Data Exploration -- High-Performance Systems...
Obtenir text complet
Electrònic eBook
8
per Thomas, Adrian., Thomas, Adrian.
Publicat 2008
Taula de continguts: ...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...
Obtenir text complet
Electrònic eBook
9
per Brown, Charles., Brown, Charles.
Publicat 2008
Taula de continguts: ... -- Case Study: Part 1 -- Case Study: Part 2 -- Flex and Data -- Printing -- Charting -- Adobe Integrated...
Obtenir text complet
Electrònic eBook
10
per Alameda, Eldon., Alameda, Eldon.
Publicat 2007
Taula de continguts: ... of the Legacy PHP Site -- Converting Game Records -- Supporting News -- Enhancing the Gaming Site -- Integrating...
Obtenir text complet
Electrònic eBook
11
Taula de continguts: ... Tier Design Patterns -- Exploring Integration Tier Design Patterns -- Exploring Crosscutting Design...
Obtenir text complet
Electrònic eBook
12
Publicat 2006
Taula de continguts: ...Keynotes -- A Value-Based Software Process Framework -- Exploring the Business Process-Software...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... -- A Suitable Software Process Improvement Model for the UK Healthcare Industry -- Exploring User...
Obtenir text complet
Electrònic eBook
14
per Freeman, Adam., Freeman, Adam.
Publicat 2010
Taula de continguts: ... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...
Obtenir text complet
Electrònic eBook
15
Publicat 2007
Taula de continguts: ...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ... Network Encryption Protocol in the OTS/CafeOBJ Method -- Model-Driven Design-Space Exploration...
Obtenir text complet
Electrònic eBook
17
Publicat 2010
Taula de continguts: ... Operator Set in Possibility Construction Space -- The Comparison and Analysis of GP, GEP and GEP_EDA...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
Obtenir text complet
Electrònic eBook
19
Publicat 2010
Taula de continguts: ... Integration to a Microsoft Robotics Studio Simulation -- A Proposed Framework for Collaborative Design in a...
Obtenir text complet
Electrònic eBook
20
Publicat 2005
Taula de continguts: ... Evolutionary Approaches to Terminal Assignment in Communications Networks -- Effective Exploration...
Obtenir text complet
Electrònic eBook