Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
43 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Schlagwort

Sprache

Form

Person

43 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Verfahren der schnellen Fourier-Transformation: die allgemeine diskrete Fourier-Transformation - ihre algebraische Beschreibung, Komplexität und Implementierung
    von Thomas Beth
    Stuttgart: Teubner, 1984
    Monographie, Hochschulschrift, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Objekt-orientierte Modellierung offener verteilter Systeme: eine mathematisch untermauerte Pragmatik
    Klaus-Peter Eckert
    München [u.a.]: Oldenbourg, 1994
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Combinatorics on traces
    Volker Diekert
    Berlin [u.a.]: Springer, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Modular construction and partial order semantics of Petri nets
    W. Vogler
    Berlin [u.a.]: Springer, 1992
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Zur Semantik graphbasierter Modellierungsmethoden
    Veronika Strack
    München [u.a.]: Oldenbourg, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Realisierungsformen für den hierarchischen, modularen Entwurf von digitalen Systemen mit gesteuerten Netzen
    Raul Camposano
    Freiburg: Hochschulverl, 1982
    Monographie, Hochschulschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Finite representations of CCS and TCSP programs by automata and Petri nets
    Dirk Taubner
    Berlin [u.a.]: Springer, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Bounded incremental computation
    G. Ramalingam
    Berlin [u.a.]: Springer, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Synthesizing synchronous systems by static scheduling in space time
    Björn Lisper
    Berlin [u.a.]: Springer, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Über die Darstellung von CCS-Programmen durch Petrinetze
    Goltz, Ursula
    München [u.a.]: Oldenbourg, 1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Randomness and completeness in computational complexity
    Dieter van Melkebeek
    Berlin [u.a.]: Springer, 2000
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets
    Heinz Wilhelm Schmidt
    München [u.a.]: Oldenbourg, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Grundbegriffe für eine Logik über Ereignisse und Normen: ein semantischer Ansatz auf der Basis von Petrinetzen
    Reinhard Linz
    München [u.a.]: Oldenbourg, 1992
    Monographie, Hochschulschrift, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    On Deadlocks in concurrent systems: a Petri net based approach for Deadlock prediction and avoidance
    Ndombe Cacutalua
    München [u.a.]: Oldenbourg, 1994
    Monographie, Hochschulschrift, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Interactive Markov chains: and the quest for quantified quality
    Holger Hermanns
    Berlin [u.a.]: Springer, 2002
    Monographie, Hochschulschrift, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Partial order methods for the verification of concurrent systems: an approach to the state explosion problem
    Patrice Godefroid
    Berlin [u.a.]: Springer, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Hierarchical neural networks for image interpretation
    Sven Behnke
    Berlin [u.a.]: Springer, 2003
    Monographie, Hochschulschrift, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Verkehrsanalyse in endlichen Zeiträumen: Grundlagen und Erweiterungen der operationalen Analyse
    Wolfgang Kowalk
    Berlin [u.a.]: Springer, 1982
    Monographie, Hochschulschrift, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    THE FLOW GRAPH SCHEMATA MODEL OF PARALLEL COMPUTION
    BY DONALD RAY SLUTZ
    1968
    Monographie, Hochschulschrift, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    List decoding of error correcting codes: winning thesis of the 2002 ACM doctoral dissertation competition
    Venkatesan Guruswami
    Berlin [u.a.]: Springer, 2004
    Monographie, Hochschulschrift, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -