Rezultati - program interactions https function based https

1

Event-Based Programming Taking Events to the Limit /

od Faison, Ted., Faison, Ted.
Izdano 2006

Kazalo: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2005

Kazalo: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Polni tekst

Elektronski eKnjiga

3

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

Izdano 2015

Kazalo: “... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”
Polni tekst

Elektronski eKnjiga

4

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

Izdano 2014

Kazalo: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2012

Kazalo: “... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2013

Kazalo: “... on Smartphones -- Speech-Based Text Correction Patterns in Noisy Environment -- Multimodal Smart Interactive...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2014

Kazalo: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
Polni tekst

Elektronski eKnjiga

8

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

Izdano 2008

Kazalo: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Polni tekst

Elektronski eKnjiga

9

Interactive Quantum Mechanics Quantum Experiments on the Computer /

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

Kazalo: “... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
Polni tekst

Elektronski eKnjiga

10

Genes and Cardiovascular Function

Izdano 2011

Kazalo: “... -- Gene-environment interactions: their role in hypertension development -- Phenotypic overlap of lethal...”
Polni tekst

Elektronski eKnjiga

11

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

Izdano 2007

Kazalo: “... Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative...”
Polni tekst

Elektronski eKnjiga

12

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

Izdano 2007

Kazalo: “... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”
Polni tekst

Elektronski eKnjiga

13

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

Izdano 2008

Kazalo: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Polni tekst

Elektronski eKnjiga

14

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

Izdano 2005

Kazalo: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Polni tekst

Elektronski eKnjiga

15

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

Izdano 2005

Kazalo: “... Scenario -- Web Content Transformed into Humorous Dialogue-Based TV-Program-Like Content -- Content...”
Polni tekst

Elektronski eKnjiga

16

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

Izdano 2008

Kazalo: “... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...”
Polni tekst

Elektronski eKnjiga

17

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

Izdano 2010

Kazalo: “... Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach...”
Polni tekst

Elektronski eKnjiga

18

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

Izdano 2008

Kazalo: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Polni tekst

Elektronski eKnjiga

19

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

Izdano 2010

Kazalo: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Polni tekst

Elektronski eKnjiga

20

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

Izdano 2014

Kazalo: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje