Search Results - program between https function using https

1

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

2

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

3

Informatics Education - The Bridge between Using and Understanding Computers International...

Published 2006

Table of Contents: “... Informatics -- Bridging the Gap Between School Computing and the “Real World” -- Programming Versus...”
View full text

Electronic eBook

4

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

by Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Published 2015

Table of Contents: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text

Electronic eBook

5

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text

Electronic eBook

6

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”
View full text

Electronic eBook

7

Convex Functions and their Applications A Contemporary Approach /

by Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Published 2006

Table of Contents: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
View full text

Electronic eBook

8

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

9

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Published 2005

Table of Contents: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
View full text

Electronic eBook

10

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

Published 2008

Table of Contents: “...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”
View full text

Electronic eBook

11

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Published 2007

Table of Contents: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
View full text

Electronic eBook

12

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

13

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text

Electronic eBook

14

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
View full text

Electronic eBook

15

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
View full text

Electronic eBook

16

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Published 2014

Table of Contents: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
View full text

Electronic eBook

17

New Aspects of Axonal Structure and Function

Published 2010

Table of Contents: “... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”
View full text

Electronic eBook

18

Thinking in LINQ Harnessing the Power of Functional Programming in .NET Applications /

by Mukherjee, Sudipta., Mukherjee, Sudipta.
Published 2014

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

Electronic eBook

19

Event-Based Programming Taking Events to the Limit /

by Faison, Ted., Faison, Ted.
Published 2006

Table of Contents: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
View full text

Electronic eBook

20

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...”
View full text

Electronic eBook

Narrow Search