בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
functionality computing » functionality combining, function computing, functionality using
programs extraction » program extraction, programs abstraction, programs interaction
https functionality » its functionality, bags functionality, cross functionality
extraction https » interaction https, exertion https, interactions https
functionality computing » functionality combining, function computing, functionality using
programs extraction » program extraction, programs abstraction, programs interaction
https functionality » its functionality, bags functionality, cross functionality
extraction https » interaction https, exertion https, interactions https
1
יצא לאור 2008
תוכן הענינים:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים:
“... Pseudorandom Functions in Minicrypt -- On Black-Box Ring Extraction and Integer Factorization -- Extractable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים:
“... Model -- On the Impossibility of Extracting Classical Randomness Using a Quantum Computer -- Quantum...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2015
תוכן הענינים:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2005
תוכן הענינים:
“...Modeling of the Heart - Anatomy Extraction and Description -- Multi-surface Cardiac Modelling...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
תוכן הענינים:
“... Neighborhood Functions. Convolution. Morphology. Feature Extraction. Automatic Target Recognition. Image...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2006
תוכן הענינים:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2006
תוכן הענינים:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים:
“... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2010
תוכן הענינים:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
יצא לאור 2013
תוכן הענינים:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2014
תוכן הענינים:
“... Relation Extraction for the Semantic Web -- Ask like an Egyptian – Question Answering in the ALEXANDRIA Use...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים:
“... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני