בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
computing program » comparing programs, computing progress, computer program
program program » programs program, programming program
intelligent » intelligence
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
computing program » comparing programs, computing progress, computer program
program program » programs program, programming program
intelligent » intelligence
1
תוכן הענינים:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
יצא לאור 2006
תוכן הענינים:
“... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2015
תוכן הענינים:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2013
תוכן הענינים:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים:
“... Operator Set in Possibility Construction Space -- The Comparison and Analysis of GP, GEP and GEP_EDA...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2013
תוכן הענינים:
“... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2012
תוכן הענינים:
“... Constituent Order -- A Formal Deconstruction of Fluid Construction Grammar -- A Logic Programming Approach...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2014
תוכן הענינים:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2013
תוכן הענינים:
“... Type System Improves a Foundational Program Verifier -- Computational Verification of Network Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2015
תוכן הענינים:
“... Learning in Large Biological Networks -- Construction of Complex Aggregates with Random Restart Hill...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים:
“... Assistant -- On Constructive Cut Admissibility in Deduction Modulo -- Fast Reflexive Arithmetic Tactics...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2012
תוכן הענינים:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני