-
1981Published 2003Table of Contents: “… of Learning Efficiency -- Efficient Data Structures for Inductive Logic Programming -- Graph Kernels…”
Full Text via HEAL-Link
Electronic eBook -
1982Published 2001Table of Contents: “… Planar Cell Complexes Easy to Use -- Algorithms and Data Structures for Computer Topology -- Computer…”
Full Text via HEAL-Link
Electronic eBook -
1983Published 2002Table of Contents: “… Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures -- On the Impact of Fast Failure Detectors…”
Full Text via HEAL-Link
Electronic eBook -
1984Published 2014Table of Contents: “…Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures -- How…”
Full Text via HEAL-Link
Electronic eBook -
1985Published 2005Table of Contents: “… Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data…”
Full Text via HEAL-Link
Electronic eBook -
1986Published 2005Table of Contents: “… -- Tool Demonstrations -- Hob: A Tool for Verifying Data Structure Consistency -- Jazz: A Tool for Demand…”
Full Text via HEAL-Link
Electronic eBook -
1987Published 2007Table of Contents: “… for Garbage Collection with Application to Graph Rewriting -- Non Strict Confluent Rewrite Systems for Data…”
Full Text via HEAL-Link
Electronic eBook -
1988Published 2005Table of Contents: “… Philosophy of Mathematics Relevant -- Data Structures and Virtual Worlds -- Variables, in Particular Random…”
Full Text via HEAL-Link
Electronic eBook -
1989Published 2003Table of Contents: “…-Marriage Model -- 8A Data Structure -- Succinct Data Structures for Searchable Partial Sums -- Range Mode…”
Full Text via HEAL-Link
Electronic eBook -
1990Published 2012Table of Contents: “… Distributed Data Structures.- Brief Announcement: Semantics of Eventually Consistent Replicated Sets.- Brief…”
Full Text via HEAL-Link
Electronic eBook -
1991
-
1992Published 2013Table of Contents: “… for More Efficient Data Structure Repair -- To Run What No One Has Run Before: Executing an Intermediate…”
Full Text via HEAL-Link
Electronic eBook -
1993Published 2005Table of Contents: “… Inductive Definitions to Propositional Satisfiability -- Symbolic Support Graph: A Space Efficient Data…”
Full Text via HEAL-Link
Electronic eBook -
1994Published 2012Table of Contents: “… -- Trie Data Structure to Compare Traffic Payload in a Supervised Anomaly Detection System -- Towards…”
Full Text via HEAL-Link
Electronic eBook -
1995Published 2001Table of Contents: “… -- Equivalent Transformation by Safe Extension of Data Structures -- Semantics and Transformations in Formal…”
Full Text via HEAL-Link
Electronic eBook -
1996Published 1999Table of Contents: “… Structures -- Theory of 2-3 Heaps -- An External Memory Data Structure for Shortest Path Queries (Extended…”
Full Text via HEAL-Link
Electronic eBook -
1997Published 2013Table of Contents: “… Specification and Verification Technique or Highly Concurrent Data Structures -- A Verification-Based Approach…”
Full Text via HEAL-Link
Electronic eBook -
1998Published 2009Table of Contents: “… and the Emerging MPI 3 Standard -- MPI at Exascale: Challenges for Data Structures and Algorithms -- Model-Based…”
Full Text via HEAL-Link
Electronic eBook -
1999Published 2005Table of Contents: “… Distributed Data Structure -- On Some Weighted Satisfiability and Graph Problems -- On the Security…”
Full Text via HEAL-Link
Electronic eBook -
2000Published 1999Table of Contents: “… in Distribution Sorting -- Fast Regular Expression Search -- An Experimental Evaluation of Hybrid Data Structures…”
Full Text via HEAL-Link
Electronic eBook