cool hit counter

Invariants: A Generative Approach to Programming: A Generative Appraoch to …


Algorithms are central to all areas of computer science, from compiler construction to numerical analysis to artificial intelligence. Throughout your academic and professional careers, you may be required to construct new algorithms, analyze existing algorithms, or modify algorithms to suit new purposes. How do we know that such algorithms are…

Digital Heritage: Progress in Cultural Heritage. Documentation, Preservatio…


This book constitutes the refereed proceedings of the 5th International Conference on Digital Heritage, EuroMed 2014, held in Limassol, Cyprus, in November 2014. The 84 full and 51 short papers presented were carefully reviewed and selected from 438 submissions. They focus on the interdisciplinary and multi-disciplinary research concerning cutting edge…