Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
program testing » programs testing, progeny testing, program trading
function change » function changes, functional change, functional changes
https function » its function, sites function, ups function
testing https » teaching https, being https, writing https
program testing » programs testing, progeny testing, program trading
function change » function changes, functional change, functional changes
https function » its function, sites function, ups function
testing https » teaching https, being https, writing https
1
Argitaratua 2014
Aurkibidea:
“... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2014
Aurkibidea:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2007
Aurkibidea:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2011
Aurkibidea:
“...) -- An Empirical Example of Change Analysis by Linking Longitudinal Item Response Data From Multiple Tests (John J...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2007
Aurkibidea:
“...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2013
Aurkibidea:
“... .-Characterizing neural circuitry with programmed human neurons.- Direct conversion of fibroblasts to neuronal...”Testu osoa
Baliabide elektronikoa
eBook
11
Gaiak:
“...Cancer Research. https://scigraph.springernature.com/ontologies/product-market-codes/B11001...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2008
Aurkibidea:
“... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2007
Aurkibidea:
“...Component-Based Architectures and Change -- Data Encapsulation in Software Components -- Binary...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2007
Aurkibidea:
“... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”Testu osoa
Baliabide elektronikoa
eBook
15
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2006
Aurkibidea:
“... Authorization System for Maintainability and Reusability of Components – A Case Study -- Odyssey-CCS: A Change...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“... Change Dependencies -- Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2014
Aurkibidea:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2007
Aurkibidea:
“... Equating Issues -- Tests in Transition -- Score Linking Issues Related to Test Content Changes -- Linking...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- 4
- Hurrengoa »
- [4]