在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion based » recursion case, reception based, recursion focused
based tools » based tool, basic tools
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion based » recursion case, reception based, recursion focused
based tools » based tool, basic tools
1
出版 2008
书本目录:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”获取全文
电子
电子书
2
出版 2010
书本目录:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”获取全文
电子
电子书
3
出版 2010
书本目录:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”获取全文
电子
电子书
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
出版 2013
书本目录:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”获取全文
电子
电子书
5
出版 2006
书本目录:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”获取全文
电子
电子书
6
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
出版 2005
书本目录:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”获取全文
电子
电子书
7
出版 2010
书本目录:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”获取全文
电子
电子书
8
出版 2007
书本目录:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”获取全文
电子
电子书
9
出版 2005
书本目录:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”获取全文
电子
电子书
10
出版 2013
书本目录:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”获取全文
电子
电子书
11
出版 2005
书本目录:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”获取全文
电子
电子书
12
出版 2008
书本目录:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”获取全文
电子
电子书
13
出版 2010
书本目录:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”获取全文
电子
电子书
14
出版 2008
书本目录:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”获取全文
电子
电子书
15
出版 2015
书本目录:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”获取全文
电子
电子书
16
出版 2006
书本目录:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”获取全文
电子
电子书
17
出版 2010
书本目录:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”获取全文
电子
电子书
18
书本目录:
“... -- Tendering and Vendor Selection -- Functional Specifications -- Design, Development, Testing and Acceptance...”
获取全文
获取全文
电子
电子书
19
出版 2005
书本目录:
“... Preferences Aggregation -- Ranked Modelling with Feature Selection Based on the CPL Criterion Functions -- A...”获取全文
电子
电子书
20
出版 2010
书本目录:
“... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...”获取全文
电子
电子书