Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
This volume contains selected papers presented by students atURC* 2010 (Undergraduate Research in Computer Science - Theory andApplications).The papers cover a wide range of topics, including algorithm design (inparticular, the design of heuristic algorithms for the maximum-leaf spanning tree problem, and the analysis of speed scaling algorithms), programming language design (in particular, language based security, the use of effect systems for automating model extraction, and results on adaptation languages using visual environments) and applications to ray tracing optical phenomena and pattern matching in MIDI files.The URC* 2010 conference took place at King’s College London, 24-26 March2010, in association with a Spring School on Information and Software Security.URC*2010 brought together undergraduate students, postgraduate students andleading scientists, with the goal of promoting research in computer science andinterdisciplinary topics amongst undergraduate students. By introducing students to new research results and techniques, it encouraged them to startconducting research and producing research results already during theirundergraduate studies.
