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