Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
interactions implications » interaction applications, interactive applications
implications programs » applications programs, application programs, implications problems
program functions » programs functional, program foundations, programme function
programs program » programming program
functions https » foundations https
1
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... from NCX Purification and Cloning: Milestones -- Part II Structural and Functional Aspects of NCX -- 3...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “...-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Fuzzy Rule Tables on the Basis of Weights and Interaction Degrees -- On a New Class of Implications...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
von Wegener, Ingo., Wegener, Ingo.
Veröffentlicht 2005
Inhaltsangabe: “... Complexity Classes -- Interactive Proofs -- The PCP Theorem and the Complexity of Approximation Problems...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...-Order Logic with Automated Parser Generation -- Session 4. Higher-Order Logic -- Extracting Programs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2014
Schlagworte: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... in Inflammatory Programming and Immune Suppression in Cancer -- Defining the Fate and Function of Effector T cells...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Neurotrophin signalling and transcription programs interactions in the development of somatosensory neurons...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern