الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion a » recursion _, recursions g, recursions m
a circuits » _ circuits, a circuit, 1 circuits
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion a » recursion _, recursions g, recursions m
a circuits » _ circuits, a circuit, 1 circuits
1
منشور في 2015
جدول المحتويات:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2008
جدول المحتويات:
“... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2008
جدول المحتويات:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
جدول المحتويات:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2007
جدول المحتويات:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2006
جدول المحتويات:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
جدول المحتويات:
“... Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2005
جدول المحتويات:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2006
جدول المحتويات:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2005
جدول المحتويات:
“... Analysis of Algorithms -- Path Coupling Using Stopping Times -- Circuits -- On the Incompressibility...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2013
جدول المحتويات:
“... -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2005
جدول المحتويات:
“... in Games with a Large Number of Actions -- On the Complexity of Depth-2 Circuits with Threshold Gates...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2007
جدول المحتويات:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2012
جدول المحتويات:
“... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2010
جدول المحتويات:
“... and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2006
جدول المحتويات:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“... Model -- Formal Verification of a SHA-1 Circuit Core Using ACL2 -- From PSL to LTL: A Formal Validation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
جدول المحتويات:
“.../Q Modulator Errors -- 4. Direct Digital Synthesizers -- 5. Recursive Oscillators -- 6. Cordic...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني