1
יצא לאור 2008
תוכן הענינים: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2008
תוכן הענינים: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2015
תוכן הענינים: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
מאת Lee, Kent D., Lee, Kent D.
יצא לאור 2014
תוכן הענינים: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2013
תוכן הענינים: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2013
תוכן הענינים: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2006
תוכן הענינים: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2013
תוכן הענינים: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2012
תוכן הענינים: ... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2015
תוכן הענינים: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2014
תוכן הענינים: ... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2013
תוכן הענינים: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
... interaction effect for depression (p = 0.045) in the control group. Conclusions The buddy program training...
קבל טקסט מלא
Article
20
יצא לאור 2014
תוכן הענינים: ...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני