Search Results - programs using https functioning using https

1

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

Published 2010

Table of Contents: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
View full text

Electronic eBook

2

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

Published 2006

Table of Contents: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
View full text

Electronic eBook

3

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

Published 2008

Table of Contents: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
View full text

Electronic eBook

4

Drawing Programs: The Theory and Practice of Schematic Functional Programming

by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010

Table of Contents: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text

Electronic eBook

5

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

Published 2008

Table of Contents: “... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”
View full text

Electronic eBook

6

Understanding Statistics Using R

by Schumacker, Randall., Schumacker, Randall., Tomek, Sara.
Published 2013

Subjects: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

7

Using the C++ Standard Template Libraries

by Horton, Ivor., Horton, Ivor.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

8

Using Microsoft Dynamics AX 2012 Updated for Version R3 /

by Luszczak, Andreas., Luszczak, Andreas.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

9

Using Microsoft Dynamics AX 2012 Updated for Version R2 /

by Luszczak, Andreas., Luszczak, Andreas.
Published 2013

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

10

Network Performance Analysis Using the J Programming Language /

by Holt, Alan., Holt, Alan.
Published 2008

Table of Contents: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
View full text

Electronic eBook

11

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

Published 2005

Table of Contents: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
View full text

Electronic eBook

12

Modeling and Using Context 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Modals -- Understanding Context Before Using It -- Epistemological Contextualism: A Semantic Perspective...”
View full text

Electronic eBook

13

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

Published 2013

Table of Contents: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
View full text

Electronic eBook

14

Functional and Phylogenetic Ecology in R

by Swenson, Nathan G., Swenson, Nathan G.
Published 2014

Table of Contents: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
View full text

Electronic eBook

15

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

Published 2006

Table of Contents: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
View full text

Electronic eBook

16

Using Microsoft Dynamics AX 2012

by Luszczak, Andreas., Luszczak, Andreas.
Published 2012

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

17

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

Published 2007

Table of Contents: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
View full text

Electronic eBook

18

Primer to Analysis of Genomic Data Using R

by Gondro, Cedric., Gondro, Cedric.
Published 2015

Table of Contents: “... and genetic architecture -- Gene expression analysis -- Databases and functional information -- Extending R...”
View full text

Electronic eBook

19

Applied Statistics for Business and Management using Microsoft Excel

by Herkenhoff, Linda., Herkenhoff, Linda., Fogli, John.
Published 2013

Subjects: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

20

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

Published 2008

Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text

Electronic eBook

Narrow Search