Dhbw (3 résultats)
Retail Innovation Days der DHBW Heilbronn: Kernaussagen der Fachsymposien (Schriftenreihe Handelsmanagement der DHBW Heilbronn)
Oliver Janz, Stephan Rüschen, Ralph Scheubrein, Daniela Wiehenbrauk
Langue : allemand
Edité par DHBW, 2018
- Couverture souple
- Édition originale
Vendeur : Sigrun Wuertele buchgenie_de, Altenburg, AllemagneSigrun Wuertele buchgenie_de
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 19,99
EUR 37,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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 Janz,… Stephan Rüschen, Ralph Scheubrein, Daniela Wiehenbrauk.
- Autres images
Edité par DHBW Verlag, 2017
Vendeur : biblion2, Obersulm, Allemagnebiblion2
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 29,00
EUR 33,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : fine. Gebunden. Sofortversand aus Deutschland. Artikel wiegt maximal 1000g. Schutzumschlag. 96 Seiten.
- Autres images
Langue : anglais
Edité par Springer, Berlin, Springer Nature Switzerland, DHBW Stuttgart, Springer, 2025
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 42,79
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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.


