Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing computing » processing computer, processing computational, processing conditions
https function » its function, sites function, ups function
function aid » function a, function aat, function a.g
aid https » mind https
processing computing » processing computer, processing computational, processing conditions
https function » its function, sites function, ups function
function aid » function a, function aat, function a.g
aid https » mind https
1
Published 2007
Table of Contents:
“... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... with computer support -- A Text-Mining-based Patent Analysis in Product Innovative Process -- Technology...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... and Relaxed Orderings -- A Hybrid Type System for Lock-Freedom of Mobile Processes -- Session 2: Memory...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”View full text
Electronic
eBook
5
by Bærentzen, J. Andreas., Bærentzen, J. Andreas., Gravesen, Jens., Anton, François., Aanæs, Henrik.
Published 2012
Table of Contents:
“... -- Differential Geometry -- Finite Difference Methods for Partial Differential Equations -- Part II: Computational...”Published 2012
View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Platform for Computer Aided Innovation -- A Conceptual Framework of the Cooperative Analyses in Computer...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Local Navigation Can Reveal Implicit Relations -- Computer-Aided Design Tools that Adapt -- Integrating...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- Chemokine Proteolytic Processing in HIV Infection: Neurotoxic and Neuroimmune Consequences -- Chemokines...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”View full text
Electronic
eBook
10
Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from...
Published 2007
Table of Contents:
“... Tolerancing Process -- Tolerance-Maps Applied to the Straightness and Orientation of an Axis -- Information...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... for Computer Aided Driving -- A Monocular Solution to Vision-Based ACC in Road Vehicles -- Multi-objective...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Prostate Cancer MR Imaging -- Computer Aided Detection of Prostate Cancer Using T2, DWI and DCE MRI...”View full text
Electronic
eBook
13
Table of Contents:
“...The Language of Coverage -- Functional Verification -- Measuring Verification Coverage...”
View full text
View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“...Introduction -- Physical and Mathematical Fundamentals -- Examination of Process Parameter...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... -- Computer Aided Reconstruction and Motion Analysis of 3D Mitral Annulus -- Volumetric Analysis of the Heart...”View full text
Electronic
eBook
16
Table of Contents:
“...Introduction -- Lexical Functions and their Applications -- Identification of Lexical Functions...”
View full text
View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... of the Virtual Manufacturing Planning -- A Comprehensive Framework for the Computer-Aided Planning...”View full text
Electronic
eBook
18
Table of Contents:
“...Introduction -- Design of Image Processing Applications -- Fundamentals and Related Work...”
View full text
View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Effect of Loads on the Transfer Function of Power Line -- On-Line and Off-Line Handwriting Recognition...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... -- Computer Aided Design: An ESOP based Reversible Circuit Synthesis Flow using Simulated Annealing...”View full text
Electronic
eBook