Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Intelligent Computer Mathematics

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 16402386

Nakladatelství Springer International Publishing AG, červen 2017

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent C... Celý popis

Libristo kód: 16402386

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Grund- und Aufbauwortschatz Französisch Thér

Brožovaná

504 Kč

Mécanique mort SEBASTIEN RAIZER

Brožovaná

583 Kč

Brumi Mackóvárosban Bodó Béla

Pevná

266 Kč

Autodesk Inventor 2022 - Grundlagen in Theorie und Praxis Christian Schlieder

Brožovaná

551 Kč

Ekhö - Spiegelwelt. Band 13 Christophe Arleston

Pevná

347 Kč

Gruselkabinett - Folge 154 William Hope Hodgson

Audio CD

273 Kč

Vergissmeinnicht Pia Mester

Brožovaná

269 Kč

Mercedes-Benz 200 E in Havanna - Ein Motiv aus dem Kalender "STERN-STUNDEN IN HAVANNA - MERCEDES-BENZ AUF KUBA" (Puzzle) Henning von Löwis of Menar

Hra

831 Kč

Gastronomía y nutrición Javier Martínez Monzó

Brožovaná

781 Kč

Pfarrer Braun (12)-Braun unter Verdach Ottfried Fischer

DVD

316 Kč

Rhetorik Michael Henrich

Brožovaná

266 Kč

James Bond Retro (Puzzle)

Hra

283 Kč

Historia de Dios, Tu Historia Lucado

Brožovaná

286 Kč

Mesures de Conductivit Thermique Haute Temp rature Vincent Scoarnec

Brožovaná

997 Kč

Datenbanksysteme Theo Härder

Brožovaná

1 187 Kč

Malaiische Marchen Paul Hambruch

Pevná

610 Kč

Protokoll Konstantin Putschli

Brožovaná

369 Kč

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.