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