5269 search results - page 1009 / 1054 » order 2007 |
163
click to vote
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
112
click to vote
DEXA
2007
Springer
15 years 8 months ago
2007
Springer
XML has become the standard format for data representation and exchange in domains ranging from Web to desktop applications. However, wide adoption of XML is hindered by inefficien...
123
click to vote
DILS
2007
Springer
15 years 8 months ago
2007
Springer
2D-Nuclear magnetic resonance (NMR) spectroscopy is a powerful analytical method to elucidate the chemical structure of molecules. In contrast to 1D-NMR spectra, 2D-NMR spectra cor...
108
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
104
click to vote
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
The changing nature of e-Learning, the Web, and its users that can be observed in the last years results in a need for new approaches and technologies to fully exploit the existing...