Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing computers » developing computer, developing competent, developing competence
programs developing » projects developing, program development, process developing
function method » detection method, selection method
method programs » methods program, method progress, method programmed
computers https » computing https, computers gtt, computers help
developing computers » developing computer, developing competent, developing competence
programs developing » projects developing, program development, process developing
function method » detection method, selection method
method programs » methods program, method progress, method programmed
computers https » computing https, computers gtt, computers help
1
Table of Contents:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”View full text
Electronic
eBook
3
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
5
Table of Contents:
“... for variance estimation in ?PS sampling -- Fast Bayesian functional data analysis of basal body temperature...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”View full text
Electronic
eBook
8
Published 2010
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”View full text
Electronic
eBook
13
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Reconstruction of 3D Curves for Quality Control -- 3D Computation of Gray Level Co-occurrence in Hyperspectral...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Resynchronization Therapy -- Methods for Identifying and Tracking Phase Singularities in Computational Models of Re...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”View full text
Electronic
eBook
20
Table of Contents:
“... -- The Nearest Neighbor Regression Function Estimate -- The 1-nearest Neighbor Regression Function Estimate -- LP...”
View full text
View full text
Electronic
eBook