LIBROS DEL AUTOR: markus wenzel

3 resultados para LIBROS DEL AUTOR: markus wenzel

markus wenzel Eliminar filtro Quitar filtros
  • Der Weg in die Cloud
    Dominic Lindner / Markus Wenzel / Paul Niebler
    Grundlagen zu Cloud-Technologien.- Chancen und Risiken der Nutzung von Cloud-Technologien.- Liefer- und Servicemodelle der Cloud.- Empfehlungen für Entscheider und Unternehmer. ...
    Disponible

    20,98 €

  • Verifikation und Validierung für die Simulation in Produktion und Logistik
    Markus Rabe / Sigrid Wenzel / Sven Spieckermann
    ...
    Disponible

    97,24 €

  • Isabelle/HOL
    Lawrence C. Paulson / Markus Wenzel / Tobias Nipkow
    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is writte...
    Disponible

    72,68 €