for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 10th International Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 18th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 8th International Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 9th International Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 19th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2017, held in Waterloo, IN, Canada, in June 2017.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The papers are organized in topical sections on connectivity, groupwise registration, neuro segmentation, statistical analysis, dynamic imaging, cortical surface registration, diffusion MRI, functional imaging, torso image analysis, and tract analysis.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 19th International Conference on Information Security, ISC 2016, held in Honolulu, HI, USA, in September 2016.