Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
170 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

Erscheinungszeitraum

Zugang

Literaturtyp

Sprache

Form

Person

170 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Towards a conceptual model for the environment of the algebraic specification language ACT ONE
    Ingo Claßen ; Martin Gogolla
    Berlin, 1991
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM
    Rainer Glas ; Andreas Knoche
    Berlin, 1991
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Orderings on graphs and computations of CLIQUE
    Bleicke Eggers
    Berlin, 1991
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    People's bearings on computers and Turn towards imagination
    Dirk Siefkes
    Berlin, 1991
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Parallel and distributed derivations in the single-pushout-approach
    Hartmut Ehring ; Michael Löwe
    Berlin, 1991
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Structural theory of algebraic specifications in a specification logic, 1. Functorial parameterized specifications
    Hartmut Ehrig ; Martin Große-Rhode
    Berlin, 1991
    Monographie, Teil eines Werkes, keine Angabe
  7. Detailansicht für Treffer 7 öffnen
    Lamda *, ein Kalkül zur Integration von Applikation und asynchroner Kommunikation
    Rainer Glas
    Berlin, 1991
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Ansätze für eine Theorie zur Animation von algebraischen Spezifikationen
    Catharina Rieckhoff
    Berlin: Leiter d. Fachbibl. Informatik, Sekretariat FR 5-4, 1991
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Algebraic specification of action trees and recursive processes
    Martin Große-Rhode ; Cristian Dimitrovici
    Berlin, [19]91
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    DAO-Projekt: Spezifikation verteilter Systeme und asynchron operationale Semantik ; Abschlußbericht September 1991
    M. Baldamus ..
    Berlin, 1991
    Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    The nML machine description formalism
    Markus Freericks
    Berlin, 1991
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    A comparison of some autocovariance based methods of ARMA model selection
    Efstathios Paparoditis
    Berlin, 1991
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Nonequivalence of categories for equational algebraic specifications in view of high level replacement systems
    Hartmut Ehrig ; Francesco Parisi-Presicce
    Berlin, 1991
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Modeling sequential consistency in a distributed shared memory system
    Christoph Lindemann ; Friedrich Schön
    Berlin, 1991
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    An improved numerical algorithm for calculating steady state solutions of deterministic and stochastic Petri net models
    Christoph Lindemann
    Berlin, 1991
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Ein analytisches Lösungsverfahren für DSPN-Modelle
    Reinhard German ; Christoph Lindemann
    Berlin, 1991
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    New concepts for amalgamation and extension in the framework of specification logics
    Hartmut Ehrig ; Michael Baldamus ; Fernando Orejas
    Berlin, 1991
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Eine Methodenbank zur Evaluierung von Stereo-Vision-Verfahren
    Andreas Koschan
    Berlin, 1991
    Monographie, Hochschulschrift, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Aspekte des Datenschutzes im X.500-Verzeichnisdienst
    Ursula Meyer zu Natrup
    Berlin, 1991
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Sinn im Formalen?: wie wir mit Maschinen und Formalismen umgehen
    Dirk Siefkes
    Berlin, 1991
    Monographie, Gedruckte Ressource

Artikel & mehr

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