Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programmed » processing programmed
recursive programming » recursive programs
programmed constructs » programming constructs, programme contract, programmed instructions
integrated recursive » integrated security, integrated receiver, integrated reverse
constructs https » construction https, constructs loops, constructs arti
programming programmed » processing programmed
recursive programming » recursive programs
programmed constructs » programming constructs, programme contract, programmed instructions
integrated recursive » integrated security, integrated receiver, integrated reverse
constructs https » construction https, constructs loops, constructs arti
1
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”View full text
Electronic
eBook
3
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... for Nominal Isabelle -- (Nominal) Unification by Recursive Descent with Triangular Substitutions -- A Formal...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Scheduling of Arbitrary-Deadline Sporadic Task Systems -- Scalable and Distributed Mechanisms for Integrated...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Software Product Maintainability Based on Class-Level Structural Measures -- Integrating Reuse Measurement...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...: Calibrating a Camera Using Multi-rectangle Constructed by Mark Lines in Traffic Road -- A Multi-instance Multi...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Elicitation and Incorporation into Class Diagrams -- Case-Based Reasoning -- Architectures Integrating Case...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Awarded Papers -- Overview of Awarded Papers: The 19th Annual Conference of JSAI -- On Constructing...”View full text
Electronic
eBook