Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
interactive computing » interactive computer
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding programs » processing programs, proceedings program, breeding programs
programs policy » programs policies, programs proving
policy https » politics https
interactive computing » interactive computer
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding programs » processing programs, proceedings program, breeding programs
programs policy » programs policies, programs proving
policy https » politics https
1
Publicado em 2008
Sumário:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2008
Sumário:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2006
Sumário:
“... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2007
Sumário:
“...Invited Lectures -- Full Completeness: Interactive and Geometric Characterizations of the Space...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2010
Sumário:
“... Assessment of Probabilistic Fingerprinting Codes over AWGN Channel -- Validating Security Policy Conformance...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2006
Sumário:
“... to Monoprocess Servers -- Delegating Secure Logging in Pervasive Computing Systems -- Implementing Minimized...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2010
Sumário:
“... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2013
Sumário:
“...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2014
Sumário:
“... Firewalls Policies Computations -- Color Image Quantization Scheme Using DBSCAN with K-Means Algorithm -- A...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2010
Sumário:
“...Autonomic and Organic Computing -- Self-organizing Computer Vision for Robust Object Tracking...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2006
Sumário:
“...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2007
Sumário:
“... -- Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization -- Parameterization...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2007
Sumário:
“... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2007
Sumário:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2006
Sumário:
“... Cluster Job Execution -- Glue Code Synthesis for Distributed Software Programming -- Interactive...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2010
Sumário:
“...Intelligent Computing for Image Analysis (I) -- Feature Analysis and Classification of Lymph Nodes...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“... of Genetic Programming Classification in an Industrial Process Resulting in Greenhouse Gas Emission...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2005
Sumário:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2008
Sumário:
“...Web Scale Computing: The Power of Infrastructure as a Service -- Services in the Long Tail World...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2006
Sumário:
“... Middleware Policy to Support QoS -- Adaptive Web Processes Using Value of Changed Information -- SCENE: A...”Obter o texto integral
Recurso Electrónico
livro electrónico