waldmann uwe (12 résultats)

Broschiert. Etat : Gut. 235 Seiten; Schnitt und Einband staubschmutzig; Einbandkanten bestossen; Rückensignatur, ordnungsgemäß vorne ausgestempelt, ansonsten ein recht gut erhaltenes Buch aus teilaufgelöster Bibliothek einer großen deutschen Medienanstalt. Sprache: Deutsch Gewicht in Gramm: 300.

Etat : New.

Taschenbuch. Etat : Neu. Automated Deduction - CADE 30 | 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings | Clark Barrett (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9783031999833 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

weicher Einband. 207 S., 49 s/w Abb. Br. *neuwertig* In Nähe auf Distanz wird der Bedeutungswandel von Fotografien und Videos im Zeitalter des Internets untersucht. Die Beiträge widmen sich exemplarisch u.a. den Selfie-Protesten, Bildern des Arabischen Frühlings, des Israelisch-Palästinensischen Konflikts, der Gezi-Park-Proteste, des Syrienkriegs sowie der Bildpolitik des "Islamischen Staats". Deren Potenziale, auch über weite Distanzen hinweg affektiv und kommunikativ wirksam zu werden und politische Handlungen auszulösen, werden kritisch analysiert. Der hier reflektierte Bildbegriff basiert auf digitaler Übertragung und ist von permanenten Bildmodifikationen durch Datentransfers und Postproduktionen geprägt. Sprache: Deutsch.

Taschenbuch. Etat : Neu. Neuware - The Nähe auf Distanz (Proximity at a Distance) project examines the semantic change of photographs and videos in the age of the internet. The contributions are dedicated to examples of selfie protests, images of the Arab Spring, of the Israeli-Palestinian conflict, of the Gezi Park protests, of the Syrian war, and the image politics of the 'Islamic State.' The project critically analyzes their potential, even across great distances, to exert and emotional and communicative impact, and to trigger political actions. The concept of image reflected here is based on digital transmission; it is marked by the permanent modifications of images through data transfers and postproduction. ; In Nähe auf Distanz wird der Bedeutungswandel von Fotografien und Videos im Zeitalter des Internets untersucht. Die Beiträge widmen sich exemplarisch u.a. den Selfie-Protesten, Bildern des Arabischen Frühlings, des Israelisch-Palästinensischen Konflikts, der Gezi-Park-Proteste, des Syrienkriegs sowie der Bildpolitik des 'Islamischen Staats'. Deren Potenziale, auch über weite Distanzen hinweg affektiv und kommunikativ wirksam zu werden und politische Handlungen auszulösen, werden kritisch analysiert. Der hier reflektierte Bildbegriff basiert auf digitaler Übertragung und ist von permanenten Bildmodifikationen durch Datentransfers und Postproduktionen geprägt.

Taschenbuch. Etat : Neu. Nähe auf Distanz | Eigendynamik und mobilisierende Kraft politischer Bilder im Internet | Isabelle Busch (u. a.) | Taschenbuch | Großformatiges Paperback. Klappenbroschur | IX | Deutsch | 2020 | De Gruyter | EAN 9783110622416 | Verantwortliche Person für die EU: Walter de Gruyter GmbH, De Gruyter GmbH, Genthiner Str. 13, 10785 Berlin, productsafety[at]degruyterbrill[dot]com | Anbieter: preigu.

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.

Etat : New. Print on Demand.

Etat : New. PRINT ON DEMAND.

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 780 pp. Englisch.