Arama Sonuçları - program applications https functionality computing https

1

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Tam Metin Erişim

Elektronik Ekitap

4

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Tam Metin Erişim

Elektronik Ekitap

5

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009...

Baskı/Yayın Bilgisi 2010

Konular: “...Computer programming....”
Tam Metin Erişim

Elektronik Ekitap

6

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

7

Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010...

Baskı/Yayın Bilgisi 2011

Konular: “...Programming languages (Electronic computers)....”
Tam Metin Erişim

Elektronik Ekitap

8

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”
Tam Metin Erişim

Elektronik Ekitap

9

Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /

Baskı/Yayın Bilgisi 2011

Konular: “...Programming languages (Electronic computers)....”
Tam Metin Erişim

Elektronik Ekitap

10

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Baskı/Yayın Bilgisi 2011

Konular: “...Programming languages (Electronic computers)....”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”
Tam Metin Erişim

Elektronik Ekitap

12

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /

Baskı/Yayın Bilgisi 2011

Konular: “...Programming languages (Electronic computers)....”
Tam Metin Erişim

Elektronik Ekitap

13

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Baskı/Yayın Bilgisi 2011

Konular: “...Programming languages (Electronic computers)....”
Tam Metin Erişim

Elektronik Ekitap

14

Mathematical and Computer Programming Techniques for Computer Graphics

Yazar: Comninos, Peter., Comninos, Peter.
Baskı/Yayın Bilgisi 2006

Konular: “...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...”
Tam Metin Erişim

Elektronik Ekitap

15

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...”
Tam Metin Erişim

Elektronik Ekitap

16

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”
Tam Metin Erişim

Elektronik Ekitap

17

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Automatic Invention of Fitness Functions with Application to Scene Generation -- Manipulating Artificial...”
Tam Metin Erişim

Elektronik Ekitap

18

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Tam Metin Erişim

Elektronik Ekitap

19

Convex Functions and their Applications A Contemporary Approach /

Yazar: Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Tam Metin Erişim

Elektronik Ekitap

20

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt