Hakutulokset - programs computer https function based https

1

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

Julkaistu 2008

Sisällysluettelo: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2006

Sisällysluettelo: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2011

Aiheet: “...Programming languages (Electronic computers)....”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2010

Sisällysluettelo: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2015

Sisällysluettelo: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2012

Aiheet: “...Computer programming....”
Hae kokoteksti

Elektroninen E-kirja

7

Event-Based Programming Taking Events to the Limit /

Tekijä Faison, Ted., Faison, Ted.
Julkaistu 2006

Sisällysluettelo: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2015

Sisällysluettelo: “...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2015

Sisällysluettelo: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2006

Sisällysluettelo: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2005

Sisällysluettelo: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Hae kokoteksti

Elektroninen E-kirja

12

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

Julkaistu 2008

Sisällysluettelo: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
Hae kokoteksti

Elektroninen E-kirja

13

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

Julkaistu 2007

Sisällysluettelo: “... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”
Hae kokoteksti

Elektroninen E-kirja

14

Mathematical and Computer Programming Techniques for Computer Graphics

Tekijä Comninos, Peter., Comninos, Peter.
Julkaistu 2006

Sisällysluettelo: “...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2007

Sisällysluettelo: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2005

Sisällysluettelo: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2010

Sisällysluettelo: “... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”
Hae kokoteksti

Elektroninen E-kirja