Rezultaty - program interaction https function based https

1

Event-Based Programming Taking Events to the Limit /

od Faison, Ted., Faison, Ted.
Wydane 2006

Spis treści: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Wydane 2005

Spis treści: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Wydane 2015

Spis treści: “... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Wydane 2014

Spis treści: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Wydane 2012

Spis treści: “... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Wydane 2013

Spis treści: “... on Smartphones -- Speech-Based Text Correction Patterns in Noisy Environment -- Multimodal Smart Interactive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Wydane 2014

Spis treści: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Wydane 2008

Spis treści: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Interactive Quantum Mechanics Quantum Experiments on the Computer /

od Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
Wydane 2011

Spis treści: “... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Genes and Cardiovascular Function

Wydane 2011

Spis treści: “... -- Gene-environment interactions: their role in hypertension development -- Phenotypic overlap of lethal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /

Wydane 2007

Spis treści: “... Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Wydane 2008

Spis treści: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Wydane 2005

Spis treści: “... Scenario -- Web Content Transformed into Humorous Dialogue-Based TV-Program-Like Content -- Content...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Wydane 2008

Spis treści: “... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Wydane 2010

Spis treści: “... Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Wydane 2008

Spis treści: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Wydane 2010

Spis treści: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Wydane 2014

Spis treści: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty