Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
processing programes » processing programs, processing programmed, processing program
generation method » generation methods, iteration method, generalized method
method processing » metal processing, method process, methods preprocessing
programes use » programs use, programes case, programs user
https » http
processing programes » processing programs, processing programmed, processing program
generation method » generation methods, iteration method, generalized method
method processing » metal processing, method process, methods preprocessing
programes use » programs use, programes case, programs user
https » http
1
Taula de continguts:
“...Risk Measures in Two-Stage Stochastic Programs -- Stochastic Dominance Constraints induced by Mixed...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
2
Publicat 2013
Taula de continguts:
“...The state of the art in code generation -- Extreme model-driven development and jABC -- The Genesys...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“...Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... Bore -- Recognition of Hits in a Target -- Disparity Estimation Method Based on Reliability Space Using...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... -- Multi-dimensional Graph Configuration for Natural Language Processing -- An Intuitive Tool...”Obtenir text complet
Electrònic
eBook
8
Publicat 2007
Taula de continguts:
“...Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“... -- Verifying Statemate Statecharts Using CSP and FDR -- A Reasoning Method for Timed CSP Based on Constraint...”Obtenir text complet
Electrònic
eBook
10
Publicat 2014
Taula de continguts:
“... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“...: An Experiment of Formal Methods -- Correct Channel Passing by Construction -- Semantics -- A Process Semantics...”Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“... of the Next Generation of Information Technology in Educational Management -- The Use of Data across Countries...”Obtenir text complet
Electrònic
eBook
13
Publicat 2014
Taula de continguts:
“....- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods...”Obtenir text complet
Electrònic
eBook
14
Publicat 2008
Taula de continguts:
“...The MOBIUS Project -- The MOBIUS Proof Carrying Code Infrastructure -- Certification Using...”Obtenir text complet
Electrònic
eBook
15
Publicat 2013
Taula de continguts:
“... -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using...”Obtenir text complet
Electrònic
eBook
16
Publicat 2012
Taula de continguts:
“...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”Obtenir text complet
Electrònic
eBook
17
Publicat 2014
Taula de continguts:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”Obtenir text complet
Electrònic
eBook
18
Publicat 2015
Taula de continguts:
“...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... Combined with Simple Iterations Method -- SVM-Based Face Recognition Using Genetic Search for Frequency...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“... Process Improvement: A Discussion and Strengthening Using the SPI Manifesto -- Integrated Design – A Set...”Obtenir text complet
Electrònic
eBook