الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programs interactions » programs interaction, programs international, proteases interactions
interactions https » interaction https, integration https
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
programs interactions » programs interaction, programs international, proteases interactions
interactions https » interaction https, integration https
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
1
منشور في 2008
جدول المحتويات:
“... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2006
جدول المحتويات:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2012
جدول المحتويات:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2014
جدول المحتويات:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2013
جدول المحتويات:
“.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2014
جدول المحتويات:
“...: From Grasping to Using -- Model-Based Multi-touch Gesture Interaction for Diagram Editors -- Multi...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2015
جدول المحتويات:
“... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2007
جدول المحتويات:
“... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
جدول المحتويات:
“... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2007
جدول المحتويات:
“... Streams Using Fractal GP Ensembles -- Multi-objective Genetic Programming for Improving the Performance...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2005
جدول المحتويات:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2005
جدول المحتويات:
“...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2008
جدول المحتويات:
“... Tool for Interactive Systems -- Systematic Analysis of Control Panel Interfaces Using Formal Tools...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
جدول المحتويات:
“...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
16
الموضوعات:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
17
جدول المحتويات:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2008
جدول المحتويات:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2010
جدول المحتويات:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني