Arama Sonuçları - programs functions https function use https

1

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Tam Metin Erişim

Elektronik Ekitap

7

Drawing Programs: The Theory and Practice of Schematic Functional Programming

Yazar: Addis, Tom., Addis, Tom., Addis, Jan.
Baskı/Yayın Bilgisi 2010

İçindekiler: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Yazar: Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”
Tam Metin Erişim

Elektronik Ekitap

11

Functional and Phylogenetic Ecology in R

Yazar: Swenson, Nathan G., Swenson, Nathan G.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2011

Konular: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

15

Quantifying Functional Biodiversity

Yazar: Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Yazar: Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Baskı/Yayın Bilgisi 2015

İçindekiler: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
Tam Metin Erişim

Elektronik Ekitap

17

Functional Foods and Nutraceuticals

Yazar: Aluko, Rotimi E., Aluko, Rotimi E.
Baskı/Yayın Bilgisi 2012

İçindekiler: “.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
Tam Metin Erişim

Elektronik Ekitap

18

Convex Functions and their Applications A Contemporary Approach /

Yazar: Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Yazar: Hunt, John., Hunt, John.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Tam Metin Erişim

Elektronik Ekitap

20

Expert T-SQL Window Functions in SQL Server

Yazar: Kellenberger, Kathi., Kellenberger, Kathi., Groom, Clayton.
Baskı/Yayın Bilgisi 2015

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt