Εμφανίζονται 2.021 - 2.040 Αποτελέσματα από 2.407 για την αναζήτηση '"data structure"', χρόνος αναζήτησης: 0,23δλ Περιορισμός αποτελεσμάτων
  1. 2021
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Efficient Parallel Analysis of Alloy Models -- Introducing Specification-Based Data Structure Repair Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2022
    Intelligent Control and Innovative Computing
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Pattern Matching Algorithms Using a Succinct Data Structure for Tree-Structured Patterns -- Network…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 2023
    Algorithms and Computation 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… to the Minimum Cost Edge Installation Problem -- Approximability of Packing Disjoint Cycles -- 4A Data Structure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 2024
    Architecture of Computing Systems – ARCS 2016 29th International Conference, Nuremberg, Germany, April 4–7, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Hardware Modules Reducing NoC and Memory Contention for Manycores -- An Efficient Data Structure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 2025
    Advances in Informatics 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Evolution -- A New Randomized Data Structure for the 1 1/2-dimensional Range Query Problem -- Acceptor…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 2026
    Geographic Information Science 4th International Conference, GIScience 2006, Münster, Germany, September 20-23, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Points? -- Voronoi Hierarchies -- Characterising Meanders Qualitatively -- Landmarks in OpenLS — A Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 2027
    Computing and Combinatorics 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… 2k Kernel for the Cluster Editing Problem -- Data Structure and Sampling Theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 2028
    Electron Crystallography Novel Approaches for Structure Determination of Nanosized Materials /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Electron Diffraction Data -- Structure Refinement by Taking Dynamical Diffraction into Account -- TrueImage…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 2029
    The European Information Society Leading the Way with Geo-information /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Integrity Constraints -- State-of-the-Art in GI Basic Research -- A Compact Topological DBMS Data Structure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 2030
    Mixed effects models and extensions in ecology with R
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 2031
    ICCS 2007 Proceedings of the 15th International Workshops on Conceptual Structures /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Transactions Framework for Effective Enterprise Knowledge Management -- Data Analyzer Prototype Using a K Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 2032
    Practical Aspects of Declarative Languages First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Software Engineering -- Automated Benchmarking of Functional Data Structures -- np-spec…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 2033
    Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Checking -- Data Structures -- Cleanness Checking of String Manipulations in C Programs via Integer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 2034
    Combinatorial Pattern Matching 14th Annual Symposium, CPM 2003, Morelia, Michoacán, Mexico, June 25-27, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- A Simpler 1.5-Approximation Algorithm for Sorting by Transpositions -- Efficient Data Structures…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 2035
    FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Language for Data Structures -- Using Nondeterminism to Design Efficient Deterministic Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 2036
    Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Complete Models of Linear Logic -- Distinguishing Data Structures and Functions: The Constructor Calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 2037
    On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops OTM Confederated Internationl Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Semantics -- Algorithms and Data Structures -- Systems and Tools -- Workshop on Ontologies, Semantics and E…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 2038
    Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Disjointness -- Modular Reasoning about Separation of Concurrent Data Structures -- Ribbon Proofs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 2039
    Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… on Trees -- Amortised Memory Analysis Using the Depth of Data Structures -- ESOP Invited Talk…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 2040
    Advances in Machine Learning II Dedicated to the Memory of Professor Ryszard S.Michalski /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Networks -- Nature Inspired Multi-Swarm Heuristics for Multi-Knowledge Extraction -- Discovering Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email