Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Intelligent Computer Mathematics

Sprache

Englisch

Buch Broschur

Libristo-Code: 16402386

Verlag Springer International Publishing AG, Juni 2017

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent C... Vollständige Beschreibung

Libristo-Code: 16402386

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Grund- und Aufbauwortschatz Französisch Thér

Broschur

21.69 €

Mécanique mort SEBASTIEN RAIZER

Broschur

24.79 €

Brumi Mackóvárosban Bodó Béla

Hardcover

11.49 €

Autodesk Inventor 2022 - Grundlagen in Theorie und Praxis Christian Schlieder

Broschur

26.95 €

Ekhö - Spiegelwelt. Band 13 Christophe Arleston

Hardcover

18.00 €

Gruselkabinett - Folge 154 William Hope Hodgson

Audio CD

11.79 €

Vergissmeinnicht Pia Mester

Broschur

12.99 €

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

Spiel

35.79 €

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

Broschur

33.39 €

Pfarrer Braun (12)-Braun unter Verdach Ottfried Fischer

DVD

14.29 €

Rhetorik Michael Henrich

Broschur

11.39 €

James Bond Retro (Puzzle)

Spiel

12.99 €

Historia de Dios, Tu Historia Lucado

Broschur

12.99 €

Mesures de Conductivit Thermique Haute Temp rature Vincent Scoarnec

Broschur

45.79 €

Datenbanksysteme Theo Härder

Broschur

54.99 €

Malaiische Marchen Paul Hambruch

Hardcover

29.90 €

Protokoll Konstantin Putschli

Broschur

17.95 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Intelligent Computer Mathematics

Autor Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2017

Anzahl der Seiten 375

EAN 9783319620749

ISBN 3319620746

Libristo-Code 16402386

Verlag Springer International Publishing AG

Gewicht 5971

Abmessungen 155 x 235 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Computermodellierung und -simulation

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert