Moura leonardo (22 Ergebnisse)

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Softcover. Zustand: Très bon. Edition 2013. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Edition 2013. Ammareal gives back up to 15% of this item's net price to charity organizations.

Paperback. Zustand: Brand New. 244 pages. 9.00x6.00x0.58 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 2013 edition. 256 pages. 9.20x6.10x0.70 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th InternationalConference on Intelligent Computer Mathematics, CICM 2016, held inBialystok, Poland, in July 2016.The 10 full papers and 2 short papers presentedwere carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topicalsections according to the five tracks of the conference:Calculemus; Digital Mathematics Libraries; Mathematical KnowledgeManagement; Surveys and Projects; and Systems and Data.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.…

Paperback. Zustand: Brand New. 180 pages. 9.25x6.10x0.41 inches. In Stock.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Intelligent Computer Mathematics | 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings | Michael Kohlhase (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2016 | Springer | EAN 9783319425467 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Broschiert Broschiert. Zustand: Sehr gut. XI, 582 Seiten Lecture Notes in Artificial Intelligence, Band 10395. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1020. …

Taschenbuch. Zustand: Neu. Formal Methods: Foundations and Applications | 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings | Juliano Iyoda (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642410703 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New. In English.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.…

Paperback. Zustand: Brand New. 572 pages. 9.25x6.10x1.26 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Automated Deduction - CADE 26 | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings | Leonardo De Moura | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2017 | Springer | EAN 9783319630458 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: gut. 2017. Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings (Lecture Notes in Artificial Intelligence, Band 10395) In deutscher Sprache. pages.

Softcover. Zustand: gut. 2013. Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceed In deutscher Sprache. pages.

paperback. Dados do mercado de streaming e das redes sociais revelam uma ameaça para o futuro do longform ao constatarem que o consumo de vídeo está sendo profundamente transformado pelas preferências das novas gerações e pelos algoritmos que moldam o tempo e o formato dos conteúdos. Em um ambiente dominado por vídeos curtos, dopaminérgicos e de rolagem infinita, a TV tradicional perde força, o streaming desacelera com exceção de Netflix e YouTube e os criadores se voltam para o vertical, o breve e o viral. É nesse contexto que a presente obra se insere. Com base em dados de Kantar Ibope Media, Nielsen, pesquisas de mercado e plataformas digitais, Leonardo Moura propõe uma leitura crítica do audiovisual contemporâneo, ancorada na tese de que o impacto do consumo é mais forte do que as tentativas de ajustar o setor por meio de regulações ou novas representações. Uma obra essencial para quem quer compreender o novo ecossistema de conteúdo, mídia e marcas. Prefácio de João Anzanello Carrascoza.…