1
Faison, Ted., Faison, Ted.
出版 2006
書本目錄: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
獲取全文
電子 電子書
3
出版 2007
書本目錄: ... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...
獲取全文
電子 電子書
4
出版 2008
書本目錄: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
獲取全文
電子 電子書
5
出版 2005
書本目錄: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
獲取全文
電子 電子書
6
出版 2008
書本目錄: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
獲取全文
電子 電子書
7
出版 2014
書本目錄: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
獲取全文
電子 電子書
8
出版 2010
書本目錄: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
獲取全文
電子 電子書
9
出版 2007
書本目錄: ... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...
獲取全文
電子 電子書
10
出版 2015
書本目錄: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
獲取全文
電子 電子書
11
出版 2008
書本目錄: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
獲取全文
電子 電子書
12
出版 2013
書本目錄: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
獲取全文
電子 電子書
13
出版 2014
書本目錄: ... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...
獲取全文
電子 電子書
14
出版 2006
書本目錄: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
獲取全文
電子 電子書
15
出版 2007
書本目錄: ... for Differential Interaction Nets -- Complexity of Planning in Action Formalisms Based on Description Logics...
獲取全文
電子 電子書
16
出版 2005
書本目錄: ... Building -- Population Sizing for Genetic Programming Based on Decision-Making -- Considering the Roles...
獲取全文
電子 電子書
17
出版 2013
書本目錄: ... Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based...
獲取全文
電子 電子書
18
出版 2005
書本目錄: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
獲取全文
電子 電子書
19
出版 2006
書本目錄: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
獲取全文
電子 電子書
20
Clark, Dan., Clark, Dan.
出版 2013
書本目錄: ...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...
獲取全文
電子 電子書