Søgning på underkategorier- og emner:
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 book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
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 13 workshops held at... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 24th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This easy-to-follow textbook/reference presents a concise introduction to mathematical analysis from an algorithmic point of view, with a particular focus on applications of analysis and aspects of mathematical modelling.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 23rd International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutesthe proceedings of the 12th International Workshop on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 8th International Symposium on... Læs mere