Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
programs session » problems session
session https » sedation https, vision https, design https
based https » based http
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
programs session » problems session
session https » sedation https, vision https, design https
based https » based http
1
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...”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:
“... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...”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:
“... Extensions -- Analysis of Asynchronous Programs with Event-Based Synchronization -- A Semantics...”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:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”View full text
Electronic
eBook
10
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...-Consistent Graph Matching -- Edit Distance Based Kernel Functions for Attributed Graph Matching -- Graphs...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...: IFCS Session: New Developments in Two or Highermode Clustering; Model Based Clustering and Reduction...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves -- The Safe Lambda Calculus...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Functional Unit Row Classifier Architecture -- Session 7: Reconfigurable Hardware Platforms -- A Self...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”View full text
Electronic
eBook