Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Intelligent Computer Mathematics Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Michael Kohlhase
    Springer International Publishing, Springer International Publishing
    12.07.2016

    This book constitutes the refereed proceedings of the 9th International Conference on Intelligent...

    Taschenbuch
    44,94 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Leonardo De Moura
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    13.09.2013

    This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods,...

    Taschenbuch
    49,22 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Deduction - CADE 26 Automated Deduction - CADE 26

    Automated Deduction - CADE 26

    Leonardo De Moura
    Springer International Publishing, Springer Nature Switzerland
    11.07.2017

    This book constitutes the proceeding of the 26th International Conference on Automated Deduction,...

    Taschenbuch
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Conteúdo de marca Conteúdo de marca

    Conteúdo de marca

    Leonardo Moura
    Summus Editorial
    01.01.2021

    Na última década, o conteúdo de marca ganhou cada vez mais visibilidade no país, sobretudo com o ...

    Taschenbuch
    29,12 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Como analisar filmes e séries na era do Streaming Como analisar filmes e séries na era do Streaming

    Como analisar filmes e séries na era do Streaming

    Leonardo Moura
    Summus Editorial
    01.01.2023

    A ânsia por narrativas que expliquem o mundo, inspirem jornadas individuais, tragam contentamento...

    Taschenbuch
    29,48 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1