الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
generation computing » generation computer, generation computers, education computing
programs functional » programming functional, proteins functional, processes functional
functional https » functions https, function https, functional hop
https generation » status generation, its generation, arts generation
generation computing » generation computer, generation computers, education computing
programs functional » programming functional, proteins functional, processes functional
functional https » functions https, function https, functional hop
https generation » status generation, its generation, arts generation
1
منشور في 2010
جدول المحتويات:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
جدول المحتويات:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
3
جدول المحتويات:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2012
جدول المحتويات:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2013
جدول المحتويات:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2013
جدول المحتويات:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2006
جدول المحتويات:
“... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2007
جدول المحتويات:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2015
جدول المحتويات:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2006
جدول المحتويات:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2005
جدول المحتويات:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
منشور في 2010
جدول المحتويات:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
منشور في 2014
جدول المحتويات:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2014
جدول المحتويات:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
منشور في 2010
جدول المحتويات:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2010
جدول المحتويات:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
جدول المحتويات:
“... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2010
جدول المحتويات:
“... Handheld Haptic Interface -- A Multi-functional Rehabilitation Device to Assist Forearm/Wrist and Grasp...”احصل على النص الكامل
الكتروني
كتاب الكتروني