Iradokizunak:
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
computer programming » computer program, computer programs
genetic computer » genetics computer, zenetic computer, geometric computer
https » http
1
Argitaratua 2014
Aurkibidea: ... System for the Genome-Wide Genetic Analysis of Alzheimer's Disease -- Optimizing a Cloud Contract...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ... Checking and Genetic Programming -- ECDAR: An Environment for Compositional Design and Analysis of Real...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2005
Aurkibidea: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2011
Aurkibidea: ... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2013
Aurkibidea: ... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2010
Aurkibidea: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2008
Aurkibidea: ... -- Performance and Scalability of Genetic Algorithms on NK-Landscapes -- Engineering Stochastic Local Search...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2005
Aurkibidea: ... Decomposition -- Computing the Arrow-Debreu Competitive Market Equilibrium and Its Extensions -- Contributed...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2008
Aurkibidea: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2010
Aurkibidea: ...Invited Papers -- Experimental Study of Resilient Algorithms and Data Structures -- Computational...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2010
Aurkibidea: ... Constructive Models for Set Contraction -- Semantic Awareness in Automated Web Service Composition through...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2013
Aurkibidea: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2015
Aurkibidea: ... Media Matter? -- Computerizing Exams: The Michigan Tech Testing Center -- Gravitation search training...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2015
Aurkibidea: ... Strategy of Genetic Programming -- Nature-inspired Chemical Reaction Optimisation Algorithm for Handling...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2010
Aurkibidea: ... Computation -- Improving Efficiency of a Genetic Algorithm Applied to Multi-robot Tactic Operation -- VarMOPSO...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2006
Aurkibidea: ...Grid Computing, High Performance and Distributed Applications (GADA) 2006 International Conference...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2006
Aurkibidea: ... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2015
Aurkibidea: ... and Visually Impaired students can perform computer-aided molecular design with an assistive molecular...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2015
Aurkibidea: ... Reliability Analysis Considering the Fault Detection Trends for Big Data on Cloud Computing; Yoshinobu Tamura...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2005
Aurkibidea: ... Programming -- A Dynamic Migration Model for Self-adaptive Genetic Algorithms -- Financial Engineering -- A...
Testu osoa
Baliabide elektronikoa eBook