Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
structure computational » structures computational, structure composition
programming semantics » programming mathematics, programming series, programming secrets
programming solving » programming evolving, programming solutions, programming building
basics tools » basic tools, tactics tools, based tools
structure computational » structures computational, structure composition
programming semantics » programming mathematics, programming series, programming secrets
programming solving » programming evolving, programming solutions, programming building
basics tools » basic tools, tactics tools, based tools
1
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Deformable Structures Markerless Tracking in Laparoscopic Cholecystectomy -- A Framework for Optimization...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Optimization Problems -- Solving Bin Packing Problem with a Hybridization of Hard Computing and Soft Computing...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Strategy for Ambient Intelligence -- Dialogue Manager for a NLIDB for Solving the Semantic Ellipsis Problem...”View full text
Electronic
eBook