LIBROS DEL AUTOR: rudiger valk

4 resultados para LIBROS DEL AUTOR: rudiger valk

rudiger valk Eliminar filtro Quitar filtros
  • Petri Nets for Systems Engineering
    Claude Girault / Rüdiger Valk
    Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in co...
    Disponible

    120,05 €

  • GI - 18. Jahrestagung
    Rüdiger Valk
    Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr das Leitthema 'Vernetzte und kom­ plexe Informatik-Systeme' entschieden. Aufgrund der rapide fortschreitenden Technologie und dadurch erschlossener neuer Anwendungsbereiche werden komplexe Systeme in te...
    Disponible

    82,34 €

  • GI - 18. Jahrestagung II
    Rüdiger Valk
    Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr das Leitthema 'Vernetzte und kom­ plexe Informatik-Systeme' entschieden. Aufgrund der rapide fortschreitenden Technologie und dadurch erschlossener neuer Anwendungsbereiche werden komplexe Systeme in te...
    Disponible

    82,68 €

  • Rechensysteme
    Eike Jessen / Rüdiger Valk
    Das Buch ist hervorgegangen aus Vorlesungen, die wir an der Universität Hamburg gehalten haben. Der Umstand, daß die übliche getrennte Darstellung der Gebiete 'Betriebssysteme', 'Rechnerorganisation' und 'Verteilte Systeme' jede der Veran­ staltungen mit der Präsentation eines Instrumentariums von Verfahren belastet und dabei den Lernenden die Einheit...
    Disponible

    83,34 €