Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration functions » integration functional, integrating functions, interactions functions
functions programming » functional programming, foundations programming, functions programmed
programming program » programming programmed, programming problem, programming problems
program data » program dan, program desa, program dbase
data https » java https
integration functions » integration functional, integrating functions, interactions functions
functions programming » functional programming, foundations programming, functions programmed
programming program » programming programmed, programming problem, programming problems
program data » program dan, program desa, program dbase
data https » java https
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 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”View full text
Electronic
eBook
5
Table of Contents:
“... -- Chap. 5, I/O -- Chap. 6, Memory: The Heap -- Chap. 7, Abstract Data Types -- Chap. 8, Linked Lists...”
View full text
View full text
Electronic
eBook
6
by Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Published 2005
Table of Contents:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Published 2005
View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... -- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters -- Modelling...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
13
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”View full text
Electronic
eBook
15
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”View full text
Electronic
eBook
17
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
19
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
20
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook