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.
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 thoroughly refereed post-workshop proceedings of the 12th International Workshop on Approximation and Online Algorithms, WAOA 2014, held in Wroclaw, Poland, in September 2014 as part of ALGO 2014.
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Approximation and Online Algorithms, WAOA 2016, held in Aarhus, Denmark, in August 2016 as part of ALGO 2016.
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.
Ausführlich, klar, exakt, solide: die Anfänge der Analysis in 2 Bänden. Deutlich auf naturwissenschaftliche Fragen ausgerichtet, erläutert dieses Werk detailliert Begriffe, Inhalte und Sätze der Integral- und Differenzialrechnung.
Bemærk: Kan ikke leveres før jul.
Algorithmic composition – composing by means of formalizable methods – has a century old tradition not only in occidental music history.... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the Third International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book collects the refereed proceedingsof the Second International Conference on Algorithms and Discrete AppliedMathematics, CALDAM 2016, held in Thiruvananthapuram, India, in February 2016.
Bemærk: Kan ikke leveres før jul.
The 25 full papers together with 2 invited talks presented were carefully reviewed and... Læs mere