在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
programs functionality » program functionality, programs functional, properties functionality
functionality setting » functionality testing, functionality securing, functional setting
code programs » code program, core programs, model programs
setting https » being https, writing https, feeding https
program code » program model, program models, program c
programs functionality » program functionality, programs functional, properties functionality
functionality setting » functionality testing, functionality securing, functional setting
code programs » code program, core programs, model programs
setting https » being https, writing https, feeding https
program code » program model, program models, program c
1
出版 2008
書本目錄:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”獲取全文
電子
電子書
2
出版 2006
書本目錄:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”獲取全文
電子
電子書
3
書本目錄:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
獲取全文
獲取全文
電子
電子書
4
出版 2006
書本目錄:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”獲取全文
電子
電子書
5
出版 2008
書本目錄:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”獲取全文
電子
電子書
6
出版 2007
書本目錄:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”獲取全文
電子
電子書
7
出版 2006
書本目錄:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”獲取全文
電子
電子書
8
出版 2005
書本目錄:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”獲取全文
電子
電子書
9
由 Janssen, Jeroen., Janssen, Jeroen., Schockaert, Steven., Vermeir, Dirk., De Cock, Martine.
出版 2012
書本目錄:
“...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...”出版 2012
獲取全文
電子
電子書
10
出版 2010
書本目錄:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”獲取全文
電子
電子書
11
書本目錄:
“...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...”
獲取全文
獲取全文
電子
電子書
12
出版 2008
書本目錄:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”獲取全文
電子
電子書
13
出版 2006
書本目錄:
“... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”獲取全文
電子
電子書
14
出版 2015
書本目錄:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”獲取全文
電子
電子書
15
出版 2015
書本目錄:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”獲取全文
電子
電子書
16
出版 2008
書本目錄:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”獲取全文
電子
電子書
17
出版 2007
書本目錄:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”獲取全文
電子
電子書
18
出版 2010
書本目錄:
“... Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How...”獲取全文
電子
電子書
19
出版 2007
書本目錄:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”獲取全文
電子
電子書
20
書本目錄:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
獲取全文
獲取全文
電子
電子書