Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
constructive communications » constructive communication, construction communication, cooperative communications
communications programming » communication programmed, applications programming, communications proceedings
programming constraints » programming constraint, programming constrained, programming constructs
constraints functions » constraint functional, constraint equations, constraints solution
constructive communications » constructive communication, construction communication, cooperative communications
communications programming » communication programmed, applications programming, communications proceedings
programming constraints » programming constraint, programming constrained, programming constructs
constraints functions » constraint functional, constraint equations, constraints solution
1
Argitaratua 2008
Aurkibidea:
“... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2014
Aurkibidea:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“... Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability -- Session 1-Track A. Combinatorial...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2007
Aurkibidea:
“... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”Testu osoa
Baliabide elektronikoa
eBook
6
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Argitaratua 2007
Aurkibidea:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“...) -- Access Control and Systems Security -- A Construction for General and Efficient Oblivious Commitment...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2008
Aurkibidea:
“... Genetic Programming -- Selecting Local Region Descriptors with a Genetic Algorithm for Real-World Place...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“... Decisions -- BeeEye: A Framework for Constructing Architectural Views -- Facilitating the Selection...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2014
Aurkibidea:
“... Constructed Automata Programs: A Case Study -- A Framework to Synergize Partial Order Reduction with State...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2005
Aurkibidea:
“... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2005
Aurkibidea:
“... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2005
Aurkibidea:
“... View Maintenance Under a Response-Time Constraint -- Online Primal-Dual Algorithms for Covering...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2006
Aurkibidea:
“... for Parameterized Verification -- Error Control for Probabilistic Model Checking -- Field Constraint Analysis -- A...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2007
Aurkibidea:
“... for Clothing Thermal Functional Performance -- A Question Understanding Model Based on Knowledge Points...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“...: Efficient Constructions and Applications -- Estimating the Average of a Lipschitz-Continuous Function from...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2010
Aurkibidea:
“... -- Semantics for the Asynchronous Communication in LIPS, a Language for Implementing Parallel/distributed...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2006
Aurkibidea:
“... -- An Improved Construction for Counting Bloom Filters -- An MINLP Solution Method for a Water Network Problem...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]