LIBROS DEL AUTOR: martin hofmann

13 resultados para LIBROS DEL AUTOR: martin hofmann

martin hofmann Eliminar filtro Quitar filtros
  • Automata Theory and Logic
    Martin Hofmann / Martin Lange
    This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and presents their applications for logics used in program verification. The presentation of such concepts – some of which are 50 years old or more – is given in a modern style and is acc...
    Disponible

    89,41 €

  • A Holistic Approach to Process Optimisation
    Martin Hofmann
    This book provides an overview of the various methods for creating and implementing efficient work processes. The author presents the most important tools for working on improvement projects such as process mapping, Ishikawa diagram, burn-down chart, or Pareto chart. Using successfully realized improvement projects from practice, the concrete implementation of process optimizat...
    Disponible

    66,71 €

  • Prozessoptimierung als ganzheitlicher Ansatz
    Martin Hofmann
    Dieses Buch zeigt Wege zur effizienteren Gestaltung der Arbeitsabläufe in Unternehmen und Verwaltungen auf. Zunächst werden die theoretischen Grundlagen und die notwendigen Rahmenbedingungen für eine erfolgreiche Prozessoptimierung erläutert. Im zweiten Teil wird anhand konkreter Beispiele aus der Praxis erklärt, wie Abläufe im Unternehmensalltag erfolgreich verbessert werden k...
    Disponible

    48,15 €

  • Performance Measurement and Incentive Systems in Purchasing
    Daniel Maucher / Erik Hofmann / Martin Kotula
    In recent years, purchasing performance measurement have steadily gained in importance in theory and practice. Yet, in many cases, the focus still remains on cost items, especially savings. Moreover, reported performance ratios in purchasing are frequently called into question in terms of their amount and efficacy. Most of the time, there is no tie-in at all with staff compensa...
    Disponible

    66,71 €

  • Graphics of Large Datasets
    Antony Unwin / Heike Hofmann / Martin Theus
    This book shows how to look at ways of visualizing large datasets, whether large in numbers of cases, or large in numbers of variables, or large in both. All ideas are illustrated with displays from analyses of real datasets and the importance of interpreting displays effectively is emphasized. Graphics should be drawn to convey information and the book includes many insightful...
    Disponible

    160,85 €

  • Programmierung von verteilten Systemen und Webanwendungen mit Java EE
    Frank Müller-Hofmann / Gerhard Wanner / Martin Hiller
    Dieses Buch führt Sie in die Programmierung verteilter Systeme in Java ein. Besonderer Wert wird auf die Realisierung serverseitiger Anwendungen im Rahmen der Java EE-Architektur gelegt. Schritt für Schritt lernen Sie alle wichtigen Technologien und Bestandteile von Enterprise Java sowie deren Zusammenspiel kennen.Jedes Kapitel enthält zahlreiche Beispiele und Übungsaufgaben, s...
    Disponible

    34,96 €

  • Extensional Constructs in Intensional Type Theory
    Martin Hofmann
    Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest partic...
    Disponible

    195,67 €

  • Foundations of Software Science and Computational Structures
    Martin Hofmann
    This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together...
    Disponible

    65,33 €

  • Automatentheorie und Logik
    Martin Hofmann / Martin Lange
    Das Buch beschäftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Sätzen von Richard Büchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Wörter, Bäume, endliche und unendliche Bäume. Jeder Teil endet mit Übungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterführende Literatur. Sow...
    Disponible

    41,87 €

  • Resource Diplomacy in Southern Africa
    Martin E. Hofmann
    Regional integration and cooperation of Southern African states was initiated and is furthered with the goal to promote and establish peace, security and stability in the region. Securing scarce water and energy resources are amongst the biggest challenges facing regional and countries’ national security today. Socio-economic dynamics as well as climate change impact the...
    Disponible

    72,95 €

  • Automated Construction of XSL-Templates
    Martin Hofmann
    ...
    Disponible

    60,48 €

  • Typed Lambda Calculi and Applications
    Martin Hofmann
    The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretic...
    Disponible

    66,09 €

  • Konzeption eines Prozeßinformations- und -managementsystems
    Martin Hofmann
    Der Autor stellt ein System vor, in dem technologische Prozesse definiert, graphisch modelliert und intelligente Informationsabfragen erstellt werden können. Er stellt detailliert ein Software-Tool unter MS-Windows vor. ...
    Disponible

    73,16 €