1
יצא לאור 2007
תוכן הענינים: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
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
תוכן הענינים: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
נושאים: ...Computer programming....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2012
תוכן הענינים: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2011
נושאים: ...Programming languages (Electronic computers)....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2013
תוכן הענינים: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2011
נושאים: ...Programming languages (Electronic computers)....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2011
נושאים: ...Programming languages (Electronic computers)....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים: ... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2011
נושאים: ...Programming languages (Electronic computers)....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים: ... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
מאת Comninos, Peter., Comninos, Peter.
יצא לאור 2006
נושאים: ...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2011
נושאים: ...Programming languages (Electronic computers)....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים: ... -- Automatic Invention of Fitness Functions with Application to Scene Generation -- Manipulating Artificial...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים: ... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
תוכן הענינים: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
מאת Hermes, Dan., Hermes, Dan.
יצא לאור 2015
נושאים: ...Computer programming....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני