Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing programes » processing programs, processing programmed, processing program
integration method » integration methods, iteration method, intervention methods
generation method » generation methods, iteration method, generalized method
programes use » programs use, programes case, programs user
https » http
processing programes » processing programs, processing programmed, processing program
integration method » integration methods, iteration method, intervention methods
generation method » generation methods, iteration method, generalized method
programes use » programs use, programes case, programs user
https » http
1
Published 2005
Table of Contents:
“...Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...-CONSTRAINED SCHEDULING PROBLEMS -- PARTICLE SWARM OPTIMIZATION METHOD USED IN PIXEL-BASED TEXTURE SYNTHESIS...”View full text
Electronic
eBook
7
Table of Contents:
“...Risk Measures in Two-Stage Stochastic Programs -- Stochastic Dominance Constraints induced by Mixed...”
View full text
View full text
Electronic
eBook
8
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“...Basic R Programming -- Random Variable Generation -- Monte Carlo Integration -- Controlling...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... for Proteomics -- Meta-Analysis for High-Dimensional Data -- Statistical Methods for Integrating Multiple Types...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...The state of the art in code generation -- Extreme model-driven development and jABC -- The Genesys...”View full text
Electronic
eBook
16
Table of Contents:
“... Statements -- Root Finding -- Interpolation and Extrapolation -- Matrices -- Numerical Integration -- Solving...”
View full text
View full text
Electronic
eBook
17
18
Published 2005
Table of Contents:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- Efficiency in Performing Basic Tasks Using Word Processing Programs by the Elderly as a Measure...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Registration of Biomedical Images -- Characterization of Artificial Muscles Using Image Processing...”View full text
Electronic
eBook