-
2001Έκδοση 2001Πίνακας περιεχομένων: “… Constraint Processes -- ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2002Έκδοση 1999Πίνακας περιεχομένων: “… (S)SA -- Dependency Analysis of Recursive Data Structures Using Automatic Groups -- The I+ Test.…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2003Έκδοση 2002Πίνακας περιεχομένων: “… -- Data Compression Transformations for Dynamically Allocated Data Structures -- Evaluating a Demand…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2004Έκδοση 2001Πίνακας περιεχομένων: “…Presented Papers -- Accurate Shape Analysis for Recursive Data Structures -- Cost Hierarchies…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2005Έκδοση 2004Πίνακας περιεχομένων: “… to Interprocedural Shape Analysis -- Partially Disjunctive Heap Abstraction -- Abstract Domain and Data Structures…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2006Έκδοση 2004Πίνακας περιεχομένων: “… -- Data Structures and Query Processing -- AmbientDB: Relational Query Processing in a P2P Network…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2007Έκδοση 2008Πίνακας περιεχομένων: “… Data Structures with OpenMP -- Implementation of OpenMP Work-Sharing on the Cell Broadband Engine…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2008Έκδοση 2008Πίνακας περιεχομένων: “… of Recombination in Populations -- Lower Bounds for Succinct Data Structures -- The Changing Face of Web Search…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2009Έκδοση 2006Πίνακας περιεχομένων: “… Logic of Reachable Patterns in Linked Data-Structures -- Distributed Computation -- Dynamic Policy…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2010Έκδοση 2006Πίνακας περιεχομένων: “… Dynamic Data Structures -- Structural Invariants -- Existential Label Flow Inference Via CFL Reachability…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2011Έκδοση 2005Πίνακας περιεχομένων: “… and Self-Organizing Data Structures for Multi-dimensional Querying and Content Routing in P2P Networks…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2012Έκδοση 2006Πίνακας περιεχομένων: “… Matrices -- Session IV: Proving -- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2013Έκδοση 2008Πίνακας περιεχομένων: “… -- Program Verification -- Verification of Equivalent-Results Methods -- Semi-persistent Data Structures -- A…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2014Έκδοση 2018Πίνακας περιεχομένων: “… Reality supported by a data structure for giving tracing to chronic diseases treatments. Case: DM2…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2015ανά Grimaldi, Ralph P.Πίνακας περιεχομένων: “… for the Second Time -- Rooted Ordered Binary Trees, Pattern Avoidance, and Data Structures -- Staircases…”
Έκδοση 2012
Full Text via HEAL-Link
Ηλ. βιβλίο -
2016Έκδοση 2014Πίνακας περιεχομένων: “… Applications (Short Paper) -- Part: Value-Based Software Engineering -- Value-Based Migration of Legacy Data…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
2017
-
2018ανά Bodmer, E. (Edward)Πίνακας περιεχομένων: “… AnalysisUse of the INDEX Function in Corporate Models; Easing the Pain of Acquiring PDF Data; Structure of a…”
Έκδοση 2014
Full Text via HEAL-Link
Ηλ. βιβλίο -
2019
-
2020Έκδοση 2009Πίνακας περιεχομένων: “… and Transfer Efficient Data Structure for Variable Scale Vector Data -- Line Decomposition Based on Critical…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο