Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Engineering & Technology
  2. Computer Science
  3. Data Structures
Automated Verification of the Deutsch-Schorr-Waite Tree
Automated Verification of the Deutsch-Schorr-Waite Tree
Automated Verification of Shape and Size Properties via Separation Logic
Automated Verification of Shape and Size Properties via Separation Logic
AUTOMATED TREE DETECTION AND MEASUREMENT IN TEMPERATE FORESTS
AUTOMATED TREE DETECTION AND MEASUREMENT IN TEMPERATE FORESTS
AUTOMATED TREE AND BUILDING DETECTION IN RESIDENTIAL AREAS FROM
AUTOMATED TREE AND BUILDING DETECTION IN RESIDENTIAL AREAS FROM
Automated Software Test Data Generation
Automated Software Test Data Generation
Automated Non-Content Word List Generation Using hLDA
Automated Non-Content Word List Generation Using hLDA
Automated Detection of Terrorist Activities through Link Discovery within Massive Datasets
Automated Detection of Terrorist Activities through Link Discovery within Massive Datasets
AUTOMATED RIVER LINE AND CATCHMENT AREA ... by Wolfgang Rieger
AUTOMATED RIVER LINE AND CATCHMENT AREA ... by Wolfgang Rieger
Automata-based Verification of Programs with Tree Updates
Automata-based Verification of Programs with Tree Updates
Autodesk Map Object Data Tutorial For Digital Record
Autodesk Map Object Data Tutorial For Digital Record
Author's Guide for Preparing a Proceedings Paper
Author's Guide for Preparing a Proceedings Paper
Authentication of Freshness for Outsourced Multi-Version Key-Value Stores Regular paper Yuzhe Tang
Authentication of Freshness for Outsourced Multi-Version Key-Value Stores Regular paper Yuzhe Tang
Authenticated Index Structures for Aggregation Queries in Outsourced Databases
Authenticated Index Structures for Aggregation Queries in Outsourced Databases
Authenticated Index Structures for Aggregation Queries
Authenticated Index Structures for Aggregation Queries
augustine-lockfree
augustine-lockfree
Augmenting AVL trees
Augmenting AVL trees
Augmenting AVL trees
Augmenting AVL trees
AUGMENTED QUAD-EDGE – 3D DATA STRUCTURE FOR MODELLING OF BUILDING INTERIORS
AUGMENTED QUAD-EDGE – 3D DATA STRUCTURE FOR MODELLING OF BUILDING INTERIORS
Attribute Value
Attribute Value
Attended Named User 2020.10
Attended Named User 2020.10
Atomic Radius
Atomic Radius
Atomic Data Access in Content Addressable Networks A Position
Atomic Data Access in Content Addressable Networks A Position
Atlas-Based Under-Segmentation Please share
Atlas-Based Under-Segmentation Please share
Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev
Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev