-
41Published 2002Table of Contents: “… -- Constraint-Lambda Calculi -- Labelled Deduction over Algebras of Truth-Values* -- A Temporal × Modal Approach…”
Full Text via HEAL-Link
Electronic eBook -
42Published 2010Table of Contents: “… -- Introducing Exclusion Logic as a Deontic Logic -- Privacy Policies with Modal Logic: The Dynamic Turn -- Value…”
Full Text via HEAL-Link
Electronic eBook -
43Published 1999Table of Contents: “… -- The Direction of Value Flow in Connectionless Networks -- Techniques for Making IP Multicast Simple and Scalable…”
Full Text via HEAL-Link
Electronic eBook -
44Published 2012Table of Contents: “… for Heterogeneous Graphs Extracted from a Relational Database -- Exploiting Data Dependencies with Null Values…”
Full Text via HEAL-Link
Electronic eBook -
45Published 2010Table of Contents: “… Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship…”
Full Text via HEAL-Link
Electronic eBook -
46Published 2005Table of Contents: “… Boosting -- The Value of Agreement, a New Boosting Algorithm -- Unlabeled Data, Multiclass Classification…”
Full Text via HEAL-Link
Electronic eBook -
47Published 2012Table of Contents: “… Shape Analysis for Population Studies via Level-Set Based Shape Morphing -- Group-Valued Regularization…”
Full Text via HEAL-Link
Electronic eBook -
48Published 2017Table of Contents: “… Development of e-Services techniques -- Healthcare and the Co-creation of Value: Qualifying the service roles…”
Full Text via HEAL-Link
Electronic eBook -
49Published 2010Table of Contents: “… -- Session D: Work in Progress on Value Chains and Service Level Agreements -- Towards a Generic Value…”
Full Text via HEAL-Link
Electronic eBook -
50Published 2007Table of Contents: “… on Polynomial Interpretations -- Grids: A Domain for Analyzing the Distribution of Numerical Values.…”
Full Text via HEAL-Link
Electronic eBook -
51Published 2009Table of Contents: “… in Many-Valued Logics -- Algorithms for Uncertain Inference -- Inference from Multinomial Data Based on a…”
Full Text via HEAL-Link
Electronic eBook -
52Published 2006Table of Contents: “… of Cluster Editing -- Session 11 -- The Linear Arrangement Problem Parameterized Above Guaranteed Value…”
Full Text via HEAL-Link
Electronic eBook -
53Published 2003Table of Contents: “… Synchronous System Design -- Model Checking -- Generating Counterexamples for Multi-valued Model-Checking…”
Full Text via HEAL-Link
Electronic eBook -
54Published 2019Table of Contents: “… Question Answering for Question Routing -- A Pattern Language for Value Modeling in ArchiMate -- Paving…”
Full Text via HEAL-Link
Electronic eBook -
55Published 2009Table of Contents: “… on QoS in Self-healing Web Services (QSWS 2008) -- On Modeling and Maximizing Business Value…”
Full Text via HEAL-Link
Electronic eBook -
56
-
57Published 2008Table of Contents: “…: Defeating Relations and Truth Values -- Appropriate Reasoning about Data Dependencies in Fixed…”
Full Text via HEAL-Link
Electronic eBook -
58Published 2016Table of Contents: “… Value from a Stream Buffer -- Algorithmic Aspects of Upper Domination: A Parameterised Perspective…”
Full Text via HEAL-Link
Electronic eBook -
59Published 2014Table of Contents: “… and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A…”
Full Text via HEAL-Link
Electronic eBook -
60Published 2004Table of Contents: “… Communities in Physical and Logical Context Areas as Added Value of Mobile and Ubiquitous Applications…”
Full Text via HEAL-Link
Electronic eBook