Dhbw (3 Ergebnisse)
Retail Innovation Days der DHBW Heilbronn: Kernaussagen der Fachsymposien (Schriftenreihe Handelsmanagement der DHBW Heilbronn)
Oliver Janz, Stephan Rüschen, Ralph Scheubrein, Daniela Wiehenbrauk
Sprache: Deutsch
Verlag: DHBW, 2018
- Softcover
- Erstausgabe
Anbieter: Sigrun Wuertele buchgenie_de, Altenburg, DeutschlandSigrun Wuertele buchgenie_de
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 19,99
EUR 37,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: wie neu - gebraucht. 1. Aufl. Taschenbuch Sehr guter Zustand, ohne Namenseintrag, sauber, ungelessen, innen wie neu Zustand: 1, wie neu - gebraucht, Taschenbuch DHBW 1. Aufl, 2018 , Retail Innovation Days der DHBW Heilbronn: Kernaussagen der Fachsymposien (Schriftenreihe Handelsmanagement der DHBW Heilbronn), Oliver Jan…z, Stephan Rüschen, Ralph Scheubrein, Daniela Wiehenbrauk.
Weitere BilderVerlag: DHBW Verlag, 2017
Anbieter: biblion2, Obersulm, Deutschlandbiblion2
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 29,00
EUR 33,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: fine. Gebunden. Sofortversand aus Deutschland. Artikel wiegt maximal 1000g. Schutzumschlag. 96 Seiten.
Sprache: Englisch
Verlag: Springer, Berlin, Springer Nature Switzerland, DHBW Stuttgart, Springer, 2025
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 42,79
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 30th International Conference on Automated Deduction, CADE 30, which took place in Stuttgart, Germany, during July 2025.CADE is the major forum for the presentation of research…in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.The 33 full papers and 4 short papers included in these proceedings were carefully reviewed and selected from 87 submissions. They were organized in topical sections on SMT; rewriting; formalizations in Isabelle/HOL; calculi; machine learning for automated deduction; model checking and quantifier elimination; saturation; equational reasoning; non-classical logics; and SAT. 756 pp. Englisch.
