Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
programming solving » programming evolving, programming solutions, programming building
based tools » based tool, basic tools
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
programming solving » programming evolving, programming solutions, programming building
based tools » based tool, basic tools
1
Publicado 2005
Tabla de Contenidos:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Enlace del recurso
Electrónico
eBook
2
Publicado 2010
Tabla de Contenidos:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Enlace del recurso
Electrónico
eBook
3
Publicado 2014
Tabla de Contenidos:
“...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...”Enlace del recurso
Electrónico
eBook
4
Publicado 2005
Tabla de Contenidos:
“... -- Parallel Implementation of a Fuzzy Rule Based Classifier -- 3: Grid Computing Infrastructure -- The EGEE...”Enlace del recurso
Electrónico
eBook
5
Publicado 2008
Tabla de Contenidos:
“... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...”Enlace del recurso
Electrónico
eBook
6
Publicado 2005
Tabla de Contenidos:
“... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”Enlace del recurso
Electrónico
eBook
7
Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference...
Publicado 2010
Tabla de Contenidos:
“... Inspired Genetic Programming for Classification -- Solving Industrial Based Job-Shop Scheduling Problem...”Enlace del recurso
Electrónico
eBook
8
Publicado 2010
Tabla de Contenidos:
“...: Transactions Based on Security Questions and Image -- CloneManager: A Tool for Detection of Type1 and Type2...”Enlace del recurso
Electrónico
eBook