Rekommenderade teman
Rekommenderade teman
Menade du:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming objects » programming object, programming arcobjects, programming projects
objects method » objects methods, objective method, objectives methods
method case » methods case, method based
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming objects » programming object, programming arcobjects, programming projects
objects method » objects methods, objective method, objectives methods
method case » methods case, method based
1
Publicerad 2012
Innehållsförteckning:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2010
Innehållsförteckning:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2007
Innehållsförteckning:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2005
Innehållsförteckning:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2008
Innehållsförteckning:
“... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2013
Innehållsförteckning:
“... Interest Model -- Research on Computer Vision-Based Object Detection and Classification -- Automatic...”Hämta fulltext
Elektronisk
E-bok
7
av Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Publicerad 2005
Innehållsförteckning:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Publicerad 2005
Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2007
Innehållsförteckning:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2008
Innehållsförteckning:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2010
Innehållsförteckning:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2010
Innehållsförteckning:
“... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2010
Innehållsförteckning:
“... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2005
Innehållsförteckning:
“... of Designs -- The Application of an Object-Oriented Method in Information System Security Evaluation...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2010
Innehållsförteckning:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2007
Innehållsförteckning:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2007
Innehållsförteckning:
“...Resolving Occlusion Method of Virtual Object in Simulation Using Snake and Picking Algorithm...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2015
Innehållsförteckning:
“... Test Cases Minimization for Object Oriented Programs....”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2014
Innehållsförteckning:
“... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2008
Innehållsförteckning:
“...-Computing Methods on Abnormalities in Audio Data -- Bioinformatics -- Shadowed Clustering for Speech Data...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2010
Innehållsförteckning:
“... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...”Hämta fulltext
Elektronisk
E-bok