Sökresultat - program function https functioning some https

1

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Publicerad 2010

Innehållsförteckning: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Hämta fulltext

Elektronisk E-bok

2

Drawing Programs: The Theory and Practice of Schematic Functional Programming

av Addis, Tom., Addis, Tom., Addis, Jan.
Publicerad 2010

Innehållsförteckning: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Hämta fulltext

Elektronisk E-bok

3

Quantifying Functional Biodiversity

av Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Publicerad 2012

Innehållsförteckning: “... and Estimation -- 3.5 Ability of Indices to Detect Some Ecological Processes -- 4. How To Estimate Functional...”
Hämta fulltext

Elektronisk E-bok

4

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

av Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Publicerad 2015

Innehållsförteckning: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
Hämta fulltext

Elektronisk E-bok

5

Convex Functions and their Applications A Contemporary Approach /

av Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Publicerad 2006

Innehållsförteckning: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Hämta fulltext

Elektronisk E-bok

6

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

av Hunt, John., Hunt, John.
Publicerad 2014

Innehållsförteckning: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Hämta fulltext

Elektronisk E-bok

7

Introductory Statistical Inference with the Likelihood Function

av Rohde, Charles A., Rohde, Charles A.
Publicerad 2014

Ämnen: “...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
Hämta fulltext

Elektronisk E-bok

8

V-Invex Functions and Vector Optimization

av Mishra, Shashi K., Mishra, Shashi K., Wang, Shouyang., Lai, Kin Keung.
Publicerad 2008

Innehållsförteckning: “...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...”
Hämta fulltext

Elektronisk E-bok

9

Asymptotic Geometric Analysis Proceedings of the Fall 2010 Fields Institute Thematic Program /

Publicerad 2013

Innehållsförteckning: “...Preface -- The Variance Conjecture on Some Polytopes (D. Alonso Gutirrez, J. Bastero) -- More...”
Hämta fulltext

Elektronisk E-bok

10

Generalized preinvex functions and their applications

av Kilicman, Adem, Saleh, Wedad
Publicerad 2018

“... and b-preinvex functions, and some of its basic properties are presented here. The sufficient conditions...”
Hämta fulltext

Artikel

11

Topics in Operator Theory Volume 1: Operators, Matrices and Analytic functions /

Publicerad 2010

Innehållsförteckning: “... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”
Hämta fulltext

Elektronisk E-bok

12

On properties of geodesic semilocal E-preinvex functions

av Kilicman, Adem, Saleh, Wedad
Publicerad 2018

“... functions, and some of its properties areestablished. Furthermore, a nonlinear fractional multiobjective...”
Hämta fulltext

Artikel

13

Partitions, q-Series, and Modular Forms

Publicerad 2012

Innehållsförteckning: “... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...”
Hämta fulltext

Elektronisk E-bok

14

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence /

av Ferreira, Candida., Ferreira, Candida.
Publicerad 2006

Innehållsförteckning: “...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
Hämta fulltext

Elektronisk E-bok

15

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Hämta fulltext

Elektronisk E-bok

16

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /

Publicerad 2008

Innehållsförteckning: “... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2010

Innehållsförteckning: “.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2014

Innehållsförteckning: “... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...”
Hämta fulltext

Elektronisk E-bok

19

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “...Invited Lectures -- Ushering in a New Era of Algorithm Design -- A “proof-reading” of Some Issues...”
Hämta fulltext

Elektronisk E-bok

20

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Publicerad 2006

Innehållsförteckning: “... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen