Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
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 methods » objectives methods, objective methods, projects methods
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 methods » objectives methods, objective methods, projects methods
1
Gepubliceerd in 2012
Inhoudsopgave:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2010
Inhoudsopgave:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2007
Inhoudsopgave:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2005
Inhoudsopgave:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2008
Inhoudsopgave:
“... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2013
Inhoudsopgave:
“... Interest Model -- Research on Computer Vision-Based Object Detection and Classification -- Automatic...”Volledige tekst
Elektronisch
E-boek
7
door Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Gepubliceerd in 2005
Inhoudsopgave:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Gepubliceerd in 2005
Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2007
Inhoudsopgave:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2008
Inhoudsopgave:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2010
Inhoudsopgave:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2010
Inhoudsopgave:
“... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2010
Inhoudsopgave:
“... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2010
Inhoudsopgave:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2005
Inhoudsopgave:
“... of Designs -- The Application of an Object-Oriented Method in Information System Security Evaluation...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2007
Inhoudsopgave:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2015
Inhoudsopgave:
“... Test Cases Minimization for Object Oriented Programs....”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2007
Inhoudsopgave:
“...Resolving Occlusion Method of Virtual Object in Simulation Using Snake and Picking Algorithm...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2008
Inhoudsopgave:
“...Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2014
Inhoudsopgave:
“... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2008
Inhoudsopgave:
“...-Computing Methods on Abnormalities in Audio Data -- Bioinformatics -- Shadowed Clustering for Speech Data...”Volledige tekst
Elektronisch
E-boek