Resultats de la cerca - programs functions https function using https*

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Publicat 2010

Taula de continguts: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Obtenir text complet

Electrònic eBook

2

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

Publicat 2006

Taula de continguts: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Obtenir text complet

Electrònic eBook

3

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

Publicat 2008

Taula de continguts: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Obtenir text complet

Electrònic eBook

4

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

Publicat 2008

Taula de continguts: “... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”
Obtenir text complet

Electrònic eBook

5

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Publicat 2005

Taula de continguts: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Obtenir text complet

Electrònic eBook

6

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Publicat 2013

Taula de continguts: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Obtenir text complet

Electrònic eBook

7

Drawing Programs: The Theory and Practice of Schematic Functional Programming

per Addis, Tom., Addis, Tom., Addis, Jan.
Publicat 2010

Taula de continguts: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Obtenir text complet

Electrònic eBook

8

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

Publicat 2006

Taula de continguts: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Obtenir text complet

Electrònic eBook

9

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

Publicat 2007

Taula de continguts: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Obtenir text complet

Electrònic eBook

10

S+Functional Data Analysis User's Manual for Windows ® /

per Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Publicat 2005

Taula de continguts: “...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”
Obtenir text complet

Electrònic eBook

11

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

Publicat 2008

Taula de continguts: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Obtenir text complet

Electrònic eBook

12

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

Publicat 2012

Taula de continguts: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Obtenir text complet

Electrònic eBook

13

Functional and Phylogenetic Ecology in R

per Swenson, Nathan G., Swenson, Nathan G.
Publicat 2014

Taula de continguts: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Obtenir text complet

Electrònic eBook

14

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

Publicat 2011

Matèries: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obtenir text complet

Electrònic eBook

15

Quantifying Functional Biodiversity

per Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Publicat 2012

Taula de continguts: “...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Obtenir text complet

Electrònic eBook

16

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

per Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Publicat 2015

Taula de continguts: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
Obtenir text complet

Electrònic eBook

17

Functional Foods and Nutraceuticals

per Aluko, Rotimi E., Aluko, Rotimi E.
Publicat 2012

Taula de continguts: “.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
Obtenir text complet

Electrònic eBook

18

Convex Functions and their Applications A Contemporary Approach /

per Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Publicat 2006

Taula de continguts: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Obtenir text complet

Electrònic eBook

19

A Beginner's Guide to Scala, Object Orientation and Functional Programming

per Hunt, John., Hunt, John.
Publicat 2014

Taula de continguts: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Obtenir text complet

Electrònic eBook

20

Expert T-SQL Window Functions in SQL Server

per Kellenberger, Kathi., Kellenberger, Kathi., Groom, Clayton.
Publicat 2015

Matèries: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet

Electrònic eBook

Refinar cerca