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