Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality capture » functionality centered, functionally mature, functionality maps
https functionality » its functionality, bags functionality, cross functionality
program computing » program comparing, programs compiling, problem computing
capture https » culture https, care https
functionality capture » functionality centered, functionally mature, functionality maps
https functionality » its functionality, bags functionality, cross functionality
program computing » program comparing, programs compiling, problem computing
capture https » culture https, care https
1
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook
2
Table of Contents:
“...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...”
View full text
View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...”View full text
Electronic
eBook
5
“... learning
management system (LMS) and assessment records from a higher education computer science program...”
View full text
View full text
Article
6
Published 2005
Table of Contents:
“... View Optimization for Viewing Objects in Motion -- Adding Hand Motion to the Motion Capture Based...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... with Automatic Transition -- MIP-Guided Vascular Image Visualization with Multi-Dimensional Transfer Function...”View full text
Electronic
eBook
8
Table of Contents:
“... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...”
View full text
View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... .-Characterizing neural circuitry with programmed human neurons.- Direct conversion of fibroblasts to neuronal...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...-Dependent Interpolation Algorithm -- Fuzzy Image Segmentation Based on Triangular Function and Its n...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Model Composition -- Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”View full text
Electronic
eBook