在您的搜尋 主題建議
搜索替代詞:
program construction » programmed instruction
construction https » instruction https, conservation https, construction history
interval computer » interface computer, interval computing, internet computer
program program » programs program, programming program
1
封面圖片
出版 2014
書本目錄: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2010
書本目錄: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2010
書本目錄: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2005
書本目錄: “... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2013
書本目錄: “...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2007
書本目錄: “... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2005
書本目錄: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2007
書本目錄: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2008
書本目錄: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2006
書本目錄: “... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2006
書本目錄: “...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2008
書本目錄: “... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2005
書本目錄: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2008
書本目錄: “... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2012
書本目錄: “... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2008
書本目錄: “...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2007
書本目錄: “... of Propositional Interval Neighborhood Logics -- Reasoning About Sequences of Memory States -- Cut Elimination...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2010
書本目錄: “... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2007
書本目錄: “... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2010
書本目錄: “... Techniques -- Economic Path Scheduling for Mobile Agent System on Computer Network -- A Database-Based...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索