Udvidet returret til d. 31. januar 2025

Bøger af Wolfgang Thomas

Filter
Filter
Sorter efterSorter Populære
  • - Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    af Wolfgang Thomas
    574,95 kr.

  • af Mogens Nielsen & Wolfgang Thomas
    590,95 kr.

  • - A Guide to Current Research
    af Erich Gradel
    820,95 kr.

    A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.

  • af Wolfgang Thomas, Heinz-Dieter Ebbinghaus & Joerg Flum
    426,95 kr.

    Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen?Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben: Im vorliegenden Werk werden die Ergebnisse systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik erster Stufe.Die Lektüre setzt - außer einer gewissen Vertrautheit mit der mathematischen Denkweise - keine spezifischen Kenntnisse voraus. In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.

  • - Strategien und Konzepte
    af Wolfgang Thomas & Ludger Stammermann
    465,95 kr.

    Werbung in Computerspielen - In-Game Advertising genannt - ist ein viel versprechender Ansatz fur die gebeutelte Werbebranche. Die Autoren zeigen, wie dieses neue Werbemedium funktioniert. Sie erfahren, welche Zielgruppen bereits heute in relevanten Groenordnungen erreicht werden konnen, wie Sie In-Game Advertising in Ihre Mediaplanung einbeziehen und wie Sie es in den Media-Mix integrieren. Beispiele von ersten Kampagnen internationaler Markenartikler - unter anderem von H&M, Burger King und Volkswagen - illustrieren, wie diese neue Werbeform in der Praxis eingesetzt wird.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.