Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming technology » programming technologies, programming methodology, programme biotechnology
function function » function functional, functions functional, function dysfunction
technology https » ecology https, psychology https, sociology https
https function » its function, sites function, ups function
function https » functions https, fiction https
programming technology » programming technologies, programming methodology, programme biotechnology
function function » function functional, functions functional, function dysfunction
technology https » ecology https, psychology https, sociology https
https function » its function, sites function, ups function
function https » functions https, fiction https
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
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
View full text
Electronic
eBook
6
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...”
View full text
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
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
by Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Published 2011
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Published 2011
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
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



