Search Results - programs using https functionality based https

1

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

2

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

Published 2006

Table of Contents: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
View full text

Electronic eBook

3

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

4

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Partial Evaluation of Logic Programs Using Online Techniques -- Improving Offline Narrowing-Driven Partial...”
View full text

Electronic eBook

5

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
View full text

Electronic eBook

6

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Published 2008

Table of Contents: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
View full text

Electronic eBook

7

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”
View full text

Electronic eBook

8

Linear Programming and Generalizations A Problem-based Introduction with Spreadsheets /

by Denardo, Eric V., Denardo, Eric V.
Published 2011

Table of Contents: “.... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....”
View full text

Electronic eBook

9

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

10

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

11

Enhancing Cognitive Fitness in Adults A Guide to the Use and Development of Community-Based Programs /

Published 2011

Table of Contents: “...-stage dementia -- Lessons learned from training interventions -- Part II: Community-Based Programs...”
View full text

Electronic eBook

12

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

Published 2012

Table of Contents: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
View full text

Electronic eBook

13

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

14

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

Published 2011

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

15

Gröbner Bases Statistics and Software Systems /

Published 2013

Table of Contents: “...A Quick Introduction to Gröbner Bases -- Warm-up Drills and Tips for Mathematical Software...”
View full text

Electronic eBook

16

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Published 2005

Table of Contents: “... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”
View full text

Electronic eBook

17

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”
View full text

Electronic eBook

18

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
View full text

Electronic eBook

19

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

20

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

Narrow Search