在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
integrated computing » integrated computer, internet computing, interactive computing
computing problems » compounding problems, routing problems, computers problems
program constructs » program construction, program constructing, programming constructs
problems program » problems programs, problem program, problems progress
constructs https » construction https, constructs loops, constructs arti
integrated computing » integrated computer, internet computing, interactive computing
computing problems » compounding problems, routing problems, computers problems
program constructs » program construction, program constructing, programming constructs
problems program » problems programs, problem program, problems progress
constructs https » construction https, constructs loops, constructs arti
1
出版 2005
書本目錄:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”獲取全文
電子
電子書
2
出版 2008
書本目錄:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”獲取全文
電子
電子書
3
出版 2007
書本目錄:
“...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...”獲取全文
電子
電子書
4
書本目錄:
“... 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
出版 2006
書本目錄:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”獲取全文
電子
電子書
8
出版 2005
書本目錄:
“... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”獲取全文
電子
電子書
9
出版 2005
書本目錄:
“... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...”獲取全文
電子
電子書
10
出版 2006
書本目錄:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”獲取全文
電子
電子書
11
出版 2010
書本目錄:
“... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”獲取全文
電子
電子書
12
出版 2007
書本目錄:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”獲取全文
電子
電子書
13
出版 2008
書本目錄:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”獲取全文
電子
電子書
14
出版 2014
書本目錄:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”獲取全文
電子
電子書
15
出版 2007
書本目錄:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”獲取全文
電子
電子書
16
出版 2014
書本目錄:
“...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...”獲取全文
電子
電子書
17
出版 2010
書本目錄:
“...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”獲取全文
電子
電子書
18
出版 2008
書本目錄:
“... with Unstable Links -- Sensor Networks Continue to Puzzle: Selected Open Problems -- Distributed Coordination...”獲取全文
電子
電子書
19
出版 2010
書本目錄:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”獲取全文
電子
電子書
20
出版 2007
書本目錄:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”獲取全文
電子
電子書