Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs combining » problems combining
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
combining https » computing https, combining hst, combining bottom
using https » using http, nursing https, aging https
programs combining » problems combining
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
combining https » computing https, combining hst, combining bottom
using https » using http, nursing https, aging 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 2006
Table of Contents:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”View full text
Electronic
eBook
8
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
9
Published 2007
Table of Contents:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”View full text
Electronic
eBook
10
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
12
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Perfectly One-Way Functions -- Error-Tolerant Combiners for Oblivious Primitives -- Asynchronous Multi-Party...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
15
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”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
Published 2007
Table of Contents:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... programming -- Using piecewise linear functions for solving MINLPs -- An algorithmic framework for MINLP...”View full text
Electronic
eBook
19
Table of Contents:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
View full text
View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...”View full text
Electronic
eBook