Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactions implications » interaction applications, interactive applications
implications program » applications program, applications programs, application program
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
interactions implications » interaction applications, interactive applications
implications program » applications program, applications programs, application program
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... from NCX Purification and Cloning: Milestones -- Part II Structural and Functional Aspects of NCX -- 3...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Fuzzy Rule Tables on the Basis of Weights and Interaction Degrees -- On a New Class of Implications...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...”View full text
Electronic
eBook
11
Table of Contents:
“... Complexity Classes -- Interactive Proofs -- The PCP Theorem and the Complexity of Approximation Problems...”
View full text
View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...”View full text
Electronic
eBook
15
Published 2014
Subjects:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...-Order Logic with Automated Parser Generation -- Session 4. Higher-Order Logic -- Extracting Programs...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... in Inflammatory Programming and Immune Suppression in Cancer -- Defining the Fate and Function of Effector T cells...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... -- Neurotrophin signalling and transcription programs interactions in the development of somatosensory neurons...”View full text
Electronic
eBook