Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
18-Mar-2010 | Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs | Alturki, Fadil |
Oct-2009 | Rpen: A New 3D Pointing Device | Alam, Badrul Mohammad |
Oct-2013 | A Proof of Concept for Homomorphically Evaluating an Encrypted Assembly Language | Rakas, Dragan |
7-May-2010 | Adding Nested Headers and a Proper Gtk-Based GUI to The Haskell Table Tools | Sepehr, Sepandar |
Aug-2009 | Documentation Driven Testing of Scientific Computing Software | Zheng, Bingzhou |
Sep-2010 | Automated Message Triage - A Proposal for Supervised Semantic Classification of Messages | Tavasoli, Amir |
2012 | Oligonucleotide Probe Design for Large Genomes using Multiple Spaced Seeds | Mohamadi, Hamid |
Oct-2012 | Symbolic Generation of Parallel Solvers for Unconstrained Optimization | Pavlin, Jessica L. |
Oct-2011 | Verifying Permutation Rewritable Hazard Free Loops | Dobrogost, Michal |
23-Aug-2010 | Assignment Calculus: A Pure Imperative Reasoning Language | Bender, Marc |
Discover
Author
Subject
Date issued