Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
programs session » problems session
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
function structures » functions structures, function structure, functional structures
programs session » problems session
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
1
Published 2007
Table of Contents:
“... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Structure of Multipartite Quantum Entanglement -- Compositionality in Graph Transformation -- Session 6...”View full text
Electronic
eBook
7
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
8
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
9
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Elliptic Curve Cryptography -- Cryptographic Hash Functions -- Block Cipher Cryptanalysis -- Chaos-Based...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Function of Frame Rate and Resolution Changes -- How to Build an Objective Model for Packet Loss Effect...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... -- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic -- The Omega Rule...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- Fundamental Concepts for the Structuring of Functionality into Modular Parts....”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Integration -- On Operations to Conform Object-Oriented Schemas -- ERP Implementation, Cross-Functionality...”View full text
Electronic
eBook