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