Canlyniadau Chwilio - programming based https function functional https

1

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Cael y testun llawn

Electronig eLyfr

3

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2011

Pynciau: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Cael y testun llawn

Electronig eLyfr

5

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
Cael y testun llawn

Electronig eLyfr

6

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

Cyhoeddwyd 2012

Pynciau: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Cael y testun llawn

Electronig eLyfr

9

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2011

Pynciau: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”
Cael y testun llawn

Electronig eLyfr

13

Functional and Phylogenetic Ecology in R

gan Swenson, Nathan G., Swenson, Nathan G.
Cyhoeddwyd 2014

Tabl Cynhwysion: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Cael y testun llawn

Electronig eLyfr

14

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /

gan Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Cyhoeddwyd 2015

Tabl Cynhwysion: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
Cael y testun llawn

Electronig eLyfr

15

Genes and Cardiovascular Function

Cyhoeddwyd 2011

Tabl Cynhwysion: “... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”
Cael y testun llawn

Electronig eLyfr

16

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Cael y testun llawn

Electronig eLyfr

17

Functional Magnetic Resonance Imaging Processing

gan Li, Xingfeng., Li, Xingfeng.
Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Cael y testun llawn

Electronig eLyfr

18

Thinking in LINQ Harnessing the Power of Functional Programming in .NET Applications /

gan Mukherjee, Sudipta., Mukherjee, Sudipta.
Cyhoeddwyd 2014

Pynciau: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Cael y testun llawn

Electronig eLyfr

19

Event-Based Programming Taking Events to the Limit /

gan Faison, Ted., Faison, Ted.
Cyhoeddwyd 2006

Tabl Cynhwysion: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Cael y testun llawn

Electronig eLyfr

20

Defining fitness function for search based assessment of grammar reachability

gan Umar, Kabir, Md Sultan, Abu Bakar, Zulzalil, Hazura, Admodisastro, Novia Indriaty, Abdullah @ Selimun, Mohd Taufik
Cyhoeddwyd 2018

“... Based CFG reachability problems, addressable using search algorithms, such as Evolutionary Programming...”
Cael y testun llawn

Erthygl

Manylu'r Chwiliad