227 search results - page 46 / 46 » Quantitative verification: models techniques and tools |
SOFSEM
2000
Springer
13 years 8 months ago
2000
Springer
For half a century since computers came into existence, the goal of finding elegant and efficient algorithms to solve "simple" (welldefined and well-structured) problems ...
BMCBI
2008
13 years 4 months ago
2008
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...