Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program description » problem description, process description, profile description
https functionality » its functionality, bags functionality, cross functionality
functionality needs » functionality design
description https » description atoms, description mtt, description graphs
needs https » feeds http, trends https
program description » problem description, process description, profile description
https functionality » its functionality, bags functionality, cross functionality
functionality needs » functionality design
description https » description atoms, description mtt, description graphs
needs https » feeds http, trends 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 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
3
“... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...”
Article
4
Published 2014
Table of Contents:
“... in the Manufacturing Industry -- Integrated Service Engineering (ISE) -- A Unified Description Language...”View full text
Electronic
eBook
5
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Designs Written in SystemC -- Reusing Requirements: The Need for Extended Variability Models -- Test...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Invited Paper -- Stereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... regarding Evolvability -- Functional Architecture Modeling for the Software Product Industry -- Experiences...”View full text
Electronic
eBook
10
Table of Contents:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text
View full text
Electronic
eBook
11
“... mosque's function and the current perception of the mosque programs. The paper adopts the qualitative...”
Article
12
Table of Contents:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
View full text
View full text
Electronic
eBook
13
Table of Contents:
“... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
View full text
View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... on Next-Generation Platforms: A Survey on the Need for Control, Adaptation and Inter-Mediation...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... on Meta-Synthesis Approach -- ICT and Special Educational Needs: Using Meta-synthesis for Bridging...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... -- Address Coverage Improvement and Evaluation Program – 2005 National Estimate of Coverage of the Master...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns...”View full text
Electronic
eBook
20
Table of Contents:
“....- STARTING OPENSTAT.- FILES.- CREATING A FILE.- ENTERING DATA.- SAVING A FILE.- DISTRIBUTIONS.- DESCRIPTIVE...”
View full text
View full text
Electronic
eBook