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