1
出版 2008
书本目录: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
获取全文
电子 电子书
2
出版 2005
书本目录: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
获取全文
电子 电子书
3
出版 2007
书本目录: ...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...
获取全文
电子 电子书
4
Thomas, Adrian., Thomas, Adrian.
出版 2008
书本目录: ... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...
获取全文
电子 电子书
5
出版 2013
书本目录: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
获取全文
电子 电子书
6
出版 2014
书本目录: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
获取全文
电子 电子书
7
Lopez, Cesar., Lopez, Cesar.
出版 2014
主题: ...Programming languages (Electronic computers)....
获取全文
电子 电子书
8
出版 2006
书本目录: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
获取全文
电子 电子书
9
出版 2005
书本目录: ... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...
获取全文
电子 电子书
10
出版 2005
书本目录: ... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...
获取全文
电子 电子书
11
出版 2006
书本目录: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
获取全文
电子 电子书
12
出版 2010
书本目录: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
获取全文
电子 电子书
13
出版 2007
书本目录: ...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...
获取全文
电子 电子书
14
出版 2008
书本目录: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
获取全文
电子 电子书
15
出版 2007
书本目录: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
获取全文
电子 电子书
16
出版 2005
书本目录: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
获取全文
电子 电子书
17
出版 2010
书本目录: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
获取全文
电子 电子书
18
出版 2014
书本目录: ...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...
获取全文
电子 电子书
19
出版 2014
书本目录: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
获取全文
电子 电子书
20
出版 2007
书本目录: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
获取全文
电子 电子书