Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integrating functions » integrating functional, integrating nations, integration functional
programming animation » programming validation, programming negation, programming application
based tools » based tool, basic tools
integrating functions » integrating functional, integrating nations, integration functional
programming animation » programming validation, programming negation, programming application
based tools » based tool, basic tools
1
Publicado 2007
Table of Contents:
“... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2008
Table of Contents:
“... Toolkit -- Formal Use of Design Patterns and Refactoring -- A Component-Based Access Control Monitor...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... -- Parallelization of Edge Detection Algorithm using MPI on Beowulf Cluster -- Teaching Physical Based Animation via...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2007
Table of Contents:
“... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2010
Table of Contents:
“... -- Do Changes in Movements after Tool Use Depend on Body Schema or Motor Learning? -- A Motion-Based...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2005
Table of Contents:
“... Modification of Planning Scheduler and Fuzzy Logic Control Law Response -- Integrated Tool for Testing Timed...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... Robots -- Protein Classification Based on 3D Structures and Fractal Features -- Protein Function...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2007
Table of Contents:
“... Agents -- Using Semantic Causality Graphs to Validate MAS Models -- A Multiagent Framework to Animate...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2008
Table of Contents:
“... for Animal Research -- General Considerations -- The Ethical Basis for Animal Use in Research...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2005
Table of Contents:
“... Retrieval Using Belief Functions -- A Fast Full Search Algorithm for Variable Block-Based Motion Estimation...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2005
Table of Contents:
“... Interactive 3D Models via Vertex Shader Programming -- An Optimized Soft 3D Mobile Graphics Library Based...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2014
Table of Contents:
“... -- Exclusive Region based Scheduling for MB-OFDM UWB using Hidden Pilot Sequences; B.W.Kim, B.-G. Kim...”Ligazón do recurso
Electrónico
eBook