1
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
4
Subjects: ...Functional programming (Computer science) Periodicals....
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago
Electronic Journal
5
Table of Contents: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
View full text
Electronic eBook
6
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
7
Table of Contents: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
View full text
Electronic eBook
8
Table of Contents: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...
View full text
Electronic eBook
10
Subjects: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Schema Subtraction -- XML Modeling -- Fast Detection of Functional Dependencies in XML Data -- TP+Output...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
14
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
15
... mosque's function and the current perception of the mosque programs. The paper adopts the qualitative...
Article
16
Published 2005
Table of Contents: ... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... for Real Time Multi-Agent System Functional Requirements -- Do You Get It? User-Evaluated Explainable BDI...
View full text
Electronic eBook
18
Table of Contents: ...Data Formats XML and JSON -- Web Technologies, Getting Data from the Web -- General XML Application...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... to Finance -- Discrete Orthogonality of Zernike Functions and Its Application to Corneal Measurements -- A...
View full text
Electronic eBook