Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 25th International Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings... Læs mere
Bemærk: Kan ikke leveres før jul.
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings... Læs mere
Bemærk: Kan ikke leveres før jul.
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed... Læs mere
Bemærk: Kan ikke leveres før jul.
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014.
Bemærk: Kan ikke leveres før jul.
This book features a selection of best papers from 11 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, in Singapore in May 2016.The 11 full papers were carefully reviewed and selected for inclusion in this volume.
Bemærk: Kan ikke leveres før jul.
This book features a selection of best papers from 13 workshops held at... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 10th International Workshop on Augmented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2015, in Munich, Germany in October 2015.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 11th International Conference on Artificial Evolution, EA 2013, held in Bordeaux, France, in October 2013.