Bilaketaren emaitzak - programs service https function using https

1

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

Argitaratua 2010

Aurkibidea: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Testu osoa

Baliabide elektronikoa eBook

2

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

Argitaratua 2006

Aurkibidea: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Testu osoa

Baliabide elektronikoa eBook

3

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

Argitaratua 2008

Aurkibidea: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Testu osoa

Baliabide elektronikoa eBook

4

Drawing Programs: The Theory and Practice of Schematic Functional Programming

nork Addis, Tom., Addis, Tom., Addis, Jan.
Argitaratua 2010

Aurkibidea: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Testu osoa

Baliabide elektronikoa eBook

5

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

Argitaratua 2008

Aurkibidea: “... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”
Testu osoa

Baliabide elektronikoa eBook

6

Towards the Internet of Services: The THESEUS Research Program

Argitaratua 2014

Aurkibidea: “... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”
Testu osoa

Baliabide elektronikoa eBook

7

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

Argitaratua 2005

Aurkibidea: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Testu osoa

Baliabide elektronikoa eBook

8

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

Argitaratua 2013

Aurkibidea: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Testu osoa

Baliabide elektronikoa eBook

9

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

Argitaratua 2006

Aurkibidea: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Testu osoa

Baliabide elektronikoa eBook

10

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

Argitaratua 2007

Aurkibidea: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Testu osoa

Baliabide elektronikoa eBook

11

Functional and Phylogenetic Ecology in R

nork Swenson, Nathan G., Swenson, Nathan G.
Argitaratua 2014

Aurkibidea: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Testu osoa

Baliabide elektronikoa eBook

12

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

Argitaratua 2008

Aurkibidea: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Testu osoa

Baliabide elektronikoa eBook

13

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

Argitaratua 2012

Aurkibidea: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Testu osoa

Baliabide elektronikoa eBook

14

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

Argitaratua 2011

Gaiak: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Testu osoa

Baliabide elektronikoa eBook

15

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

nork Hunt, John., Hunt, John.
Argitaratua 2014

Aurkibidea: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Testu osoa

Baliabide elektronikoa eBook

16

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

nork Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Argitaratua 2005

Aurkibidea: “...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”
Testu osoa

Baliabide elektronikoa eBook

17

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

Argitaratua 2010

Aurkibidea: “... Heterogeneous Team Collaboration through Flexible Software Processes -- Improving IT Service Management...”
Testu osoa

Baliabide elektronikoa eBook

18

Expert T-SQL Window Functions in SQL Server

nork Kellenberger, Kathi., Kellenberger, Kathi., Groom, Clayton.
Argitaratua 2015

Gaiak: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testu osoa

Baliabide elektronikoa eBook

19

Implementing Semantic Web Services The SESA Framework /

Argitaratua 2008

Aurkibidea: “...Foundations -- From Web to Semantic Web -- Semantic Web Services -- WSMO and WSML -- SESA...”
Testu osoa

Baliabide elektronikoa eBook

20

Quantifying Functional Biodiversity

nork Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Argitaratua 2012

Aurkibidea: “... to Ecosystem Service -- 1.5. Functional Diversity Quantification -- 2. Functional Groups -- 2.1 Selecting Trait...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu