Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
interactions implications » interaction applications, interactive applications
implications program » applications program, applications programs, application program
programs functional » programming functional, proteins functional, processes functional
program programs » program program, programs program, program progress
functional https » functions https, function https, functional hop
interactions implications » interaction applications, interactive applications
implications program » applications program, applications programs, application program
programs functional » programming functional, proteins functional, processes functional
program programs » program program, programs program, program progress
functional https » functions https, function https, functional hop
1
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
2
Publicado em 2014
Sumário:
“... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2013
Sumário:
“.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2013
Sumário:
“... from NCX Purification and Cloning: Milestones -- Part II Structural and Functional Aspects of NCX -- 3...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2010
Sumário:
“...-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2010
Sumário:
“... Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2010
Sumário:
“... Fuzzy Rule Tables on the Basis of Weights and Interaction Degrees -- On a New Class of Implications...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2008
Sumário:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2013
Sumário:
“..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Sumário:
“... Complexity Classes -- Interactive Proofs -- The PCP Theorem and the Complexity of Approximation Problems...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2013
Sumário:
“... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2008
Sumário:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2007
Sumário:
“... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2006
Sumário:
“...-Order Logic with Automated Parser Generation -- Session 4. Higher-Order Logic -- Extracting Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2014
Assuntos:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2005
Sumário:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2007
Sumário:
“... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2014
Sumário:
“... in Inflammatory Programming and Immune Suppression in Cancer -- Defining the Fate and Function of Effector T cells...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2014
Sumário:
“... -- Neurotrophin signalling and transcription programs interactions in the development of somatosensory neurons...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- Seguinte »
- [3]