Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Engineering & Technology
  2. Computer Science
  3. Computer Programming
A Visual Programming Language for Drawing and Executing
A Visual Programming Language for Drawing and Executing
A Visual Language for Programming Reality-Based Interaction
A Visual Language for Programming Reality-Based Interaction
A Unified Approach to Modeling and Programming Ole Lehrmann Madsen Birger Møller-Pedersen
A Unified Approach to Modeling and Programming Ole Lehrmann Madsen Birger Møller-Pedersen
A Type System for Expressive Security Policies David Walker
A Type System for Expressive Security Policies David Walker
A Tutorial Introduction to the Lambda Calculus Raul Rojas Freie Universit¨
A Tutorial Introduction to the Lambda Calculus Raul Rojas Freie Universit¨
A Trustworthy Proof Checker Andrew W. Appel Aaron Stump Neophytos G. Michael
A Trustworthy Proof Checker Andrew W. Appel Aaron Stump Neophytos G. Michael
A Transformation-Based Foundation for Semantics
A Transformation-Based Foundation for Semantics
A Tour of C++
A Tour of C++
A Third Look At Java Chapter Seventeen Modern Programming Languages, 2nd ed. 1
A Third Look At Java Chapter Seventeen Modern Programming Languages, 2nd ed. 1
A Theoretical Analysis of Feature Pooling in Visual Recognition
A Theoretical Analysis of Feature Pooling in Visual Recognition
A Theater Model of the Computer
A Theater Model of the Computer
A Test for Multiple Signaling Frames and B8ZS Mismatch
A Test for Multiple Signaling Frames and B8ZS Mismatch
A Temporal Fixpoint Calculus Extended Abstract Moshe Y. Vardi IBM Almaden Research Center
A Temporal Fixpoint Calculus Extended Abstract Moshe Y. Vardi IBM Almaden Research Center
A TAXONOMY OF PLAGIARISM IN COMPUTER SCIENCE Mike Joy , Georgina Cosma
A TAXONOMY OF PLAGIARISM IN COMPUTER SCIENCE Mike Joy , Georgina Cosma
A Taxonomy of Algorithms used in the ACM Programming Competition
A Taxonomy of Algorithms used in the ACM Programming Competition
A Systematic, Reliable Approach to Play Assessment in Preschoolers
A Systematic, Reliable Approach to Play Assessment in Preschoolers
A Synchronous Mode MPI Implementation on the Cell BE™ Architecture
A Synchronous Mode MPI Implementation on the Cell BE™ Architecture
A Survey on Various Compression Artifact Removal Techniques
A Survey on Various Compression Artifact Removal Techniques
A Survey of Systems for Detecting Serial Run-Time Errors
A Survey of Systems for Detecting Serial Run-Time Errors
A Support-Based Algorithm for the Bi-Objective Pareto Constraint Renaud Hartert and Pierre Schaus
A Support-Based Algorithm for the Bi-Objective Pareto Constraint Renaud Hartert and Pierre Schaus
A submission regarding accuracy and security of
A submission regarding accuracy and security of
A Study to Evaluate a Natural Language
A Study to Evaluate a Natural Language
A Study on the Efficiency Aspect of Data Race Detection:
A Study on the Efficiency Aspect of Data Race Detection:
A Study on Features and Limitations of On
A Study on Features and Limitations of On