Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
Feb-2006 | A Propositional Proof System with Permutation Quantifiers | Paterson, Tim |
Apr-2006 | Towards Automated Construction of Tabular Expressions | Wang, Yazhi |
Sep-2006 | Queueing Networks with Limited Flexibility | Liuxing, Kan |
2006 | Multi-view Software Architecture Reconstruction | Dezhkam, Nima |
May-2006 | Polyhedra Computation Under Symmetry | Indik, Gabriel |
May-2006 | An Analysis of Program by Symbolic Computation | Zhai, Yun |
22-Sep-2006 | A Proof-of-Concept for Using PVS and Maxima to Support Relational Calculus | Nguyen, Huong Thi Thu |
1-Sep-2006 | Requirements Documentation for Manufacturing Systems: Template and Management Tool | Ahmadi, Mahnaz |
2006 | Dynamic Analysis of Software Systems Based on Sequential Pattern Mining | Safyallah, Hossein |
25-Jul-2006 | Reverse Engineering of Scientific Computation FORTRAN Code | Dragon, Olivier Étienne |
Discover
Author
Subject
- 1 automatic index analysis, differe...
- 1 computing
- 1 manufacturing systems, template, ...
- 1 optimal software
- 1 partial evaluation, maple program...
- 1 pipeline schedule
- 1 propositional, proof, system, per...
- 1 PVS, maxima, relational calculus,...
- 1 reverse engineering, scientific c...
- 1 software pipelining
- . next >