Rezultaty - programs computing https functional based https

1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Wydane 2008

Spis treści: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Wydane 2006

Spis treści: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2011

Hasła przedmiotowe: “...Programming languages (Electronic computers)....”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2010

Spis treści: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /

Wydane 2015

Spis treści: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers /

Wydane 2012

Hasła przedmiotowe: “...Computer programming....”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Event-Based Programming Taking Events to the Limit /

od Faison, Ted., Faison, Ted.
Wydane 2006

Spis treści: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

Wydane 2015

Spis treści: “...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Wydane 2015

Spis treści: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Wydane 2005

Spis treści: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Mathematical and Computer Programming Techniques for Computer Graphics

od Comninos, Peter., Comninos, Peter.
Wydane 2006

Spis treści: “...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2007

Spis treści: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2005

Spis treści: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Wydane 2008

Spis treści: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Wydane 2007

Spis treści: “... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Wydane 2013

Spis treści: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Wydane 2010

Spis treści: “... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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

Wydane 2008

Spis treści: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Functional and Phylogenetic Ecology in R

od Swenson, Nathan G., Swenson, Nathan G.
Wydane 2014

Spis treści: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty