Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programs developing » projects developing, program development, process developing
developing computer » development computer, developing competent, developing complex
interval method » internal methods, integral method, integral methods
method programs » methods program, method progress, method programmed
computer https » computers https, computing https, computer arts
programs developing » projects developing, program development, process developing
developing computer » development computer, developing competent, developing complex
interval method » internal methods, integral method, integral methods
method programs » methods program, method progress, method programmed
computer https » computers https, computing https, computer arts
1
Publicat 2015
Taula de continguts:
“... in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model...”Obtenir text complet
Electrònic
eBook
4
Publicat 2012
Taula de continguts:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... regression models: using ensembles, interval arithmetic and pareto fronts to develop robust and trust-aware...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“... Methods for Ant Colony Paintings -- Evolutionary Search for Musical Parallelism -- Developing Fitness...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“...1 - Information Systems Design -- Formalization of Data Flow Computing and a Coinductive Approach...”Obtenir text complet
Electrònic
eBook
9
Publicat 2010
Taula de continguts:
“... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...”Obtenir text complet
Electrònic
eBook
10
Publicat 2007
Taula de continguts:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”Obtenir text complet
Electrònic
eBook
11
Publicat 2012
Taula de continguts:
“... Non-destructive Inspection in Cast Billet with Computerized Tomography -- Simulation in General...”Obtenir text complet
Electrònic
eBook
12
Publicat 2015
Taula de continguts:
“... Aspects in Agile Development -- On the Optimum Checkpointing Interval Selection for Variable Size...”Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...”Obtenir text complet
Electrònic
eBook
14
Publicat 2007
Taula de continguts:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”Obtenir text complet
Electrònic
eBook
15
Taula de continguts:
“... -- The Computer-Programs NUMINT and LINEAR -- The Computer-Programs SATORB and LEOKIN -- The Computer-Program...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
16
Publicat 2010
Taula de continguts:
“... Model -- An Interval-based Method for Text Clustering -- A GVT Based Algorithm for Butterfly Barrier...”Obtenir text complet
Electrònic
eBook
17
Publicat 2007
Taula de continguts:
“... -- Bounded Lattice T-Norms as an Interval Category -- Towards Systematic Analysis of Theorem Provers Search...”Obtenir text complet
Electrònic
eBook
18
Publicat 2012
Taula de continguts:
“... Selection Methods -- Multiple Contrast Test -- Confidence Intervals for the Selected Parameters -- Case...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“...Workshop on Numerical Methods and Modeling/Simulations in Computational Science and Engineering...”Obtenir text complet
Electrònic
eBook
20
per Szabó, Péter Gábor., Szabó, Péter Gábor., Markót, Mihaly Csaba., Csendes, Tibor., Specht, Eckard., Casado, Leocadio G., García, Inmaculada.
Publicat 2007
Taula de continguts:
“... Packings -- Interval Methods for Validating Optimal Solutions -- The First Fully Interval-based...”Publicat 2007
Obtenir text complet
Electrònic
eBook