Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
interactive application » interactive applications, interaction applications, interactions application
application program » application programming, application protocol
programs functional » programming functional, proteins functional, processes functional
program programs » program program, programs program, program progress
functional https » functions https, function https, functional hop
1
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
von Kerfs, Jeremy., Kerfs, Jeremy.
Veröffentlicht 2011
Schlagworte: “...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
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:
12
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Families of Perfect Hash Functions and Their Applications -- An Exponential Improvement on the MST...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Inhaltsangabe: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
von Lee, Kent D., Lee, Kent D.
Veröffentlicht 2014
Inhaltsangabe: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
von Lee, Kent D., Lee, Kent D.
Veröffentlicht 2011
Inhaltsangabe: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
von Hermes, Dan., Hermes, Dan.
Veröffentlicht 2015
Schlagworte: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern