Sökresultat - interactive computing programs program functions https

1

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

Publicerad 2005

Innehållsförteckning: “... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”
Hämta fulltext

Elektronisk E-bok

2

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

Publicerad 2008

Innehållsförteckning: “... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”
Hämta fulltext

Elektronisk E-bok

3

Programming Languages An Active Learning Approach /

av Lee, Kent D., Lee, Kent D.
Publicerad 2008

Innehållsförteckning: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2008

Innehållsförteckning: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2007

Innehållsförteckning: “... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2005

Innehållsförteckning: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2008

Innehållsförteckning: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2010

Innehållsförteckning: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2014

Innehållsförteckning: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2007

Innehållsförteckning: “... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2015

Innehållsförteckning: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2015

Innehållsförteckning: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2006

Innehållsförteckning: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2005

Innehållsförteckning: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Hämta fulltext

Elektronisk E-bok

15

Beginning Android Tablet Games Programming

av Kerfs, Jeremy., Kerfs, Jeremy.
Publicerad 2011

Ämnen: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Hämta fulltext

Elektronisk E-bok

16

Python Programming Fundamentals

av Lee, Kent D., Lee, Kent D.
Publicerad 2014

Innehållsförteckning: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Hämta fulltext

Elektronisk E-bok

17

Python Programming Fundamentals

av Lee, Kent D., Lee, Kent D.
Publicerad 2011

Innehållsförteckning: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Hämta fulltext

Elektronisk E-bok

18

Foundations of Programming Languages

av Lee, Kent D., Lee, Kent D.
Publicerad 2014

Ämnen: “...Programming languages (Electronic computers)....”
Hämta fulltext

Elektronisk E-bok

19

Programming Finite Elements in Java™

av Nikishkov, Gennadiy P., Nikishkov, Gennadiy P.
Publicerad 2010

Innehållsförteckning: “... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2013

Innehållsförteckning: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen