Результаты поиска - program computer https function based https

1

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

Опубликовано 2008

Оглавление: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2006

Оглавление: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Полный текст

Электронный ресурс eКнига

3

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

Опубликовано 2011

Предметы: “...Programming languages (Electronic computers)....”
Полный текст

Электронный ресурс eКнига

4

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

Опубликовано 2010

Оглавление: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2015

Оглавление: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
Полный текст

Электронный ресурс eКнига

6

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

Опубликовано 2012

Предметы: “...Computer programming....”
Полный текст

Электронный ресурс eКнига

7

Event-Based Programming Taking Events to the Limit /

по Faison, Ted., Faison, Ted.
Опубликовано 2006

Оглавление: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Полный текст

Электронный ресурс eКнига

8

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

Опубликовано 2015

Оглавление: “...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”
Полный текст

Электронный ресурс eКнига

9

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

Опубликовано 2015

Оглавление: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2006

Оглавление: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Полный текст

Электронный ресурс eКнига

11

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

Опубликовано 2005

Оглавление: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Полный текст

Электронный ресурс eКнига

12

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

Опубликовано 2008

Оглавление: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
Полный текст

Электронный ресурс eКнига

13

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

Опубликовано 2007

Оглавление: “... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”
Полный текст

Электронный ресурс eКнига

14

Mathematical and Computer Programming Techniques for Computer Graphics

по Comninos, Peter., Comninos, Peter.
Опубликовано 2006

Оглавление: “...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...”
Полный текст

Электронный ресурс eКнига

15

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

Опубликовано 2007

Оглавление: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Полный текст

Электронный ресурс eКнига

16

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

Опубликовано 2005

Оглавление: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
Полный текст

Электронный ресурс eКнига

17

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

Опубликовано 2010

Оглавление: “... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”
Полный текст

Электронный ресурс eКнига

18

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

Опубликовано 2013

Оглавление: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Полный текст

Электронный ресурс eКнига

19

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

Опубликовано 2008

Оглавление: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Полный текст

Электронный ресурс eКнига

20

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

Опубликовано 2012

Оглавление: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска