Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration function » integration functions, integration functional, integration dysfunction
program programming » programs programming, programmer programming, pram programming
function program » functional program, functions programs, functional programs
using http » nursing http, aging http, using html
integration function » integration functions, integration functional, integration dysfunction
program programming » programs programming, programmer programming, pram programming
function program » functional program, functions programs, functional programs
using http » nursing http, aging http, using html
1
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
6
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text
View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”View full text
Electronic
eBook
8
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
10
by Bakhsh, Hamid Khoda
Published 2005
“... program (IAAS) was adopted to improve managing and develop technical operation in an artificial integrated...”Published 2005
View full text
Thesis
11
by Bakhsh, Hamid Khoda
Published 2005
“... program (IAAS) was adopted to improve managing and develop technical operation in an artificial integrated...”Published 2005
View full text
Thesis
12
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... -- Session 6 -- Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy...”View full text
Electronic
eBook
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
17
18
by Houshyar, Afsaneh Nouri
Published 2014
Subjects:
“...Machine parts - Computer program...”Published 2014
View full text
Thesis
19
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
20
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook