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

Name: Intelligent Computer Mathematics
Brand: Springer International Publishing AG
SKU: 02735005
Price: 1182 CZK
Availability: InStock
Author: Stephen M. Watt
ISBN: 9783319084336

CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02735005

Nakladatelství Springer International Publishing AG, červenec 2014

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Librari... Celý popis

Libristo kód: 02735005

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

Rätselblock in großer Schrift 122 Eberhard Krüger

Brožovaná

104 Kč

MUJERES SOCIALISTAS GUTIERREZ

Kniha

399 Kč

Die byzantinische Volkswirtschaft. Lujo Brentano

Brožovaná

405 Kč

Kebra Nagast Ethiopic Text & Manuscript Amharic Books

Brožovaná

427 Kč

Nártoun Olin vypráví Patrik Klán

Pevná

276 Kč

Kaiser Leopold II. und die Franzoesische Revolution Adalbert Schultze

Brožovaná

501 Kč

Vivid Living Colour

Audio CD

277 Kč

Culture et réaménagement touristique urbain dans la ville d'Agadir Hind Bouzarhar

Brožovaná

1 014 Kč

Every Day David Levithan

Brožovaná

271 Kč

Chagrinleder Honore De Balzac

Brožovaná

164 Kč

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.