Εμφανίζονται 2.061 - 2.080 Αποτελέσματα από 2.407 για την αναζήτηση '"data structure"', χρόνος αναζήτησης: 0,17δλ Περιορισμός αποτελεσμάτων
  1. 2061
    Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Data Structures -- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2062
    Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 2063
    Data Integration in the Life Sciences Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Package for the Integration and Pipelining of Bioinformatics Services -- Data Structures for Genome…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 2064
    String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Matching in Strings, Trees and Graphs -- Adaptive Data Structures for Permutations and Binary Relations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 2065
    Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Performance (PROPER 2008) -- Workshop on Productivity and Performance (PROPER 2008) -- Enabling Data Structure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 2066
    Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Detection Methods for RNA-Seq Data -- Structural and functional features of glutathione reductase…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 2067
    Information and Communication Technology International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “….- Image Watermarking Using Psychovisual Threshold over the Edge.- A Data Structure for Efficient Biometric…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 2068
    Topics in Cryptology -- CT-RSA 2003 The Cryptographers' Track at the RSA Conference 2003, San Francisco, CA, USA April 13-17, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… with Cumulative Maps -- Authentication Structures -- Authenticated Data Structures for Graph and Geometric…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 2069
    CONCUR 2002 - Concurrency Theory 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Data Structures -- Petri Nets -- Causality Semantics of Petri Nets with Weighted Inhibitor Arcs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 2070
    Distributed Computing 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Randomization -- Nonblocking Concurrent Data Structures with Condition Synchronization -- Dynamic Memory ABP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 2071
    Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Relations, and Spi -- Nonuniform Alias Analysis of Recursive Data Structures and Arrays -- Representing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 2072
    Fundamental Approaches to Software Engineering 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Approach to Specification and Verification of Pointer Data-Structures -- A Program Logic for Handling Java…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 2073
    Cryptology and Network Security 5th International Conference, CANS 2006, Suzhou, China, December 8-10, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…) -- Steganalysis and Watermarking -- Steganalysis Based on Differential Statistics -- Watermarking Essential Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 2074
    Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Satisfaction -- Ordered Sets in the Calculus of Data Structures -- Abductive, Inductive and Deductive Reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 2075
    CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…-Based Framework for Reasoning about Composite Data Structures -- Measuring Permissivity in Finite Games…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 2076
    CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… on Multi-attributed Data Words -- Verification for Timed Automata Extended with Unbounded Discrete Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 2077
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Instantiation of Parameterized Data Structures for Model-Based Testing -- Verification of LTL on B Event Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 2078
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 2079
    Assembly Language Programming : ARM Cortex-M3.
    ανά Mahout, Vincent
    Έκδοση 2013
    Πίνακας περιεχομένων: “…5.8. "System" instructions and othersChapter 6. Algorithmic and Data Structures; 6.1. Flowchart…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  20. 2080
    Επεξεργασία και βελτιστοποίηση ερωτήσεων σε NoSQL βάσεις δεδομένων με χρήση έξυπνων ευρετηρίων
    ανά Σαμολαδάς, Δημήτριος
    Έκδοση 2020
    Λήψη πλήρους κειμένου
    Thesis
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email