Arama Sonuçları - program services https function using 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

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

5

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

6

Towards the Internet of Services: The THESEUS Research Program

Baskı/Yayın Bilgisi 2014

İçindekiler: “... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”
Tam Metin Erişim

Elektronik Ekitap

7

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

8

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

9

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

10

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

11

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

12

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

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

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

15

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

16

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

17

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Heterogeneous Team Collaboration through Flexible Software Processes -- Improving IT Service Management...”
Tam Metin Erişim

Elektronik Ekitap

18

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

19

Implementing Semantic Web Services The SESA Framework /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Foundations -- From Web to Semantic Web -- Semantic Web Services -- WSMO and WSML -- SESA...”
Tam Metin Erişim

Elektronik Ekitap

20

Quantifying Functional Biodiversity

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

İçindekiler: “... to Ecosystem Service -- 1.5. Functional Diversity Quantification -- 2. Functional Groups -- 2.1 Selecting Trait...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt