Søgning på underkategorier- og emner:
Teaches key paradigmic algorithm design methods. This book provides an insight into randomization.
This book presents models and algorithms for complex scheduling problems. Discrete optimization methods like linear and integer programming, constraint propagation techniques,... Læs mere
The papers are organized in topical sections on geometry, 2D and 3D shapes, 3D... Læs mere
The two volumes LNCS 6553 and 6554 constitute the refereed post-proceedings of 7 workshops held in conjunction with the 11th European Conference on Computer Vision, held in Heraklion, Crete, Greece in September 2010.
This book constitutes the refereed proceedings of the 8th International... Læs mere
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed... Læs mere
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam, in June 2013.