Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs interactions » programs interaction, programs international, proteases interactions
functionality setting » functionality testing, functionality securing, functional setting
https functionality » its functionality, bags functionality, cross functionality
interactions https » interaction https, integration https
setting https » being https, writing https, feeding https
programs interactions » programs interaction, programs international, proteases interactions
functionality setting » functionality testing, functionality securing, functional setting
https functionality » its functionality, bags functionality, cross functionality
interactions https » interaction https, integration https
setting https » being https, writing https, feeding https
1
Udgivet 2012
Indholdsfortegnelse:
“...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2013
Indholdsfortegnelse:
“.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2014
Indholdsfortegnelse:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2005
Indholdsfortegnelse:
“...: Interacting with Locations -- Singing with Your Mobile: From DSP Arrays to Low-Cost Low-Power Chip Sets...”Få fuldtekst
Electronisk
eBog
7
Fag:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2015
Indholdsfortegnelse:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2015
Indholdsfortegnelse:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2014
Indholdsfortegnelse:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2007
Indholdsfortegnelse:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2006
Indholdsfortegnelse:
“... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2008
Indholdsfortegnelse:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2013
Indholdsfortegnelse:
“... Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2006
Indholdsfortegnelse:
“...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”Få fuldtekst
Electronisk
eBog
17
Indholdsfortegnelse:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“... Context -- Favourable Biasing of Function Sets Using Run Transferable Libraries -- Toward Automated Design...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2013
Indholdsfortegnelse:
“... -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming...”Få fuldtekst
Electronisk
eBog