Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Possible World Semantics for General Storage in Call-By-Value -- A Fully Abstract Relational Model...”
Cover Image
Read Now

2
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...-One Laws -- Open Least Element Principle and Bounded Query Computation -- A Universal Innocent Game...”
Cover Image
Read Now

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Supporting High Quality Education in Computational Science -- Computing, Ethics and Social Responsibility...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Containers -- Verification of Probabilistic Systems with Faulty Communication -- Generalized Iteration...”
Cover Image
Read Now

5
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Lemma Generalization and Non-unit Lemma Matching for Model Elimination -- On Automating Inductive...”
Cover Image
Read Now

6
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... and Heterogeneous Borrowing -- Notions of Computation Determine Monads -- A Calculus of Circular Proofs and Its...”
Cover Image
Read Now

7
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Polynomial Time Algorithm in Worst Case for Simon’s Problem.-Generalized Graph Colorability...”
Cover Image
Read Now

8
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...On-line Estimation of Hidden Markov Model Parameters -- Computationally Efficient Heuristics...”
Cover Image
Read Now

9
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Fast and Dependable Communication in Hyper-rings -- Computational Geometry I -- The On-Line Heilbronn’s...”
Cover Image
Read Now

10
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... communications -- On relative loss bounds in generalized linear regression -- Generalized P-systems -- Optimal...”
Cover Image
Read Now

11
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Generalized Balanced Partitions of Two Sets of Points in the Plane -- On Paths in a Complete Bipartite...”
Cover Image
Read Now

12
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Based on Negative Cycle Detection -- Computability and Complexity Results for a Spatial Assertion...”
Cover Image
Read Now

13
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... of Distance-Bound Smoothing for the Molecular Conformation Problem -- Distributed Computing -- Concurrent...”
Cover Image
Read Now

14
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Models: Refinement via Model-Checking -- Automatic Abstraction Using Generalized Model Checking...”
Cover Image
Read Now

15
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Hierarchies of Regular Star—Free Languages -- Regular Languages Defined by Generalized First-Order Formulas...”
Cover Image
Read Now

16
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Logic as a Query Language: From Frege to XML -- How Does Computer Science Change...”
Cover Image
Read Now

17
Published 2024
Springer Nature Singapore
Table of Contents: “...RECALL: Towards Generalized Representations in Unsupervised Federated Learning under Non-IID...”
Cover Image
Read Now

18
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Signatures -- Distributed “Magic Ink” Signatures -- Efficient and Generalized Group Signatures -- Collision...”
Cover Image
Read Now

19
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks and Tutorials -- Phase Transitions in Computer Science -- The Internet, the Web...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... with Rough Sets -- Database Mining on Derived Attributes Granular and Rough Computing Approach -- A Proposed...”