Search Results - interactions application ((programs programme) OR (programs program)) function https

1

Beginning Android Tablet Games Programming

by Kerfs, Jeremy., Kerfs, Jeremy.
Published 2011

Subjects: “...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...”
View full text

Electronic eBook

2

Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /

Published 2005

Table of Contents: “... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”
View full text

Electronic eBook

3

Python Programming Fundamentals

by Lee, Kent D., Lee, Kent D.
Published 2011

Table of Contents: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text

Electronic eBook

4

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
View full text

Electronic eBook

5

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

Published 2005

Table of Contents: “... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”
View full text

Electronic eBook

6

Beginning C# Object-Oriented Programming

by Clark, Dan., Clark, Dan.
Published 2013

Table of Contents: “...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...”
View full text

Electronic eBook

7

Applications of Declarative Programming and Knowledge Management 19th International Conference...

Published 2013

Table of Contents: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
View full text

Electronic eBook

8

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

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

9

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text

Electronic eBook

10

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
View full text

Electronic eBook

11

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

Published 2008

Table of Contents: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
View full text

Electronic eBook

12

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

Published 2005

Table of Contents: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
View full text

Electronic eBook

13

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “...-Pi-Calculus Modulo -- Completing Herbelin’s Programme -- Continuation-Passing Style and Strong...”
View full text

Electronic eBook

14

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

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

15

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Families of Perfect Hash Functions and Their Applications -- An Exponential Improvement on the MST...”
View full text

Electronic eBook

16

Convex Functions and their Applications A Contemporary Approach /

by Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Published 2006

Table of Contents: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
View full text

Electronic eBook

17

Python Programming Fundamentals

by Lee, Kent D., Lee, Kent D.
Published 2014

Table of Contents: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text

Electronic eBook

18

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

19

Xamarin Mobile Application Development Cross-Platform C# and Xamarin.Forms Fundamentals /

by Hermes, Dan., Hermes, Dan.
Published 2015

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

20

Towards the Internet of Services: The THESEUS Research Program

Published 2014

Table of Contents: “... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...”
View full text

Electronic eBook

Narrow Search