Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Literaturtyp

Schlagwort

Sprache

Person

283 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Eine verifizierte Implementierung funktional-logischer Programmiersprachen
    Andy Mück
    Als Ms. gedr.. - Aachen: Shaker, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  2. Detailansicht für Treffer 62 öffnen
    Logic programming over polymorphically order-sorted types
    Smolka, Gert
    1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 63 öffnen
    Hoares communicating sequential processes: Erweiterung d. Spurenmodells
    Reinecke, Rüdiger
    1985
    Monographie, Hochschulschrift, Gedruckte Ressource
  4. Detailansicht für Treffer 64 öffnen
    Heterogene konzeptuelle Modelle und Interoperabilität im elektronischen CAD
    Gerhard Scholz
    Düsseldorf: VDI-Verlag, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 65 öffnen
    Internet webcasting: generating and matching profiles
    Matthias Eichstädt
    Wiesbaden: DUV, Deutscher Universitätsverlag, 1999
    Monographie, Hochschulschrift, Gedruckte Ressource
  6. Detailansicht für Treffer 66 öffnen
    Completeness, confluence, and related properties of clause graph resolution
    Eisinger, Norbert
    1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 67 öffnen
    Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung
    vorgelegt von Michael Röbbecke
    1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  8. Detailansicht für Treffer 68 öffnen
    Synchronisation in zentralisierten Datenbanksystemen: Algorithmen, Realisierungsmöglichkeiten u. quantitative Bewertung
    Peinl, Peter
    1986
    Monographie, Hochschulschrift, Gedruckte Ressource
  9. Detailansicht für Treffer 69 öffnen
    Effizienter Entwurf grosser RISC-Prozessoren
    von Michael Schäfers
    1. Aufl.. - Göttingen: Cuvillier, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 70 öffnen
    Rechnerunterstützung für Autoren bei der Erstellung von Lernprogrammen für "Intelligente" Tutorielle Systeme
    vorgelegt von Andreas Zekl
    1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  11. Detailansicht für Treffer 71 öffnen
    Ein dynamisch fehlertolerantes, echtzeitfähiges und verteiltes Rechensystem: Mehrrechnersystem zur Tolerierung von transienten, intermittierenden und permanenten Fehlern
    Holger Küfner
    Aachen: Shaker, 1999
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 72 öffnen
    Rekonfiguration und Restauration von verteilten Prozesssystemen in fehlertoleranten verteilten Rechensystemen
    von Manfred Seifert
    1981
    Monographie, Hochschulschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 73 öffnen
    Equality reasoning based on graphs
    von Karl Hans Bläsius
    1986
    Monographie, Hochschulschrift, Gedruckte Ressource
  14. Detailansicht für Treffer 74 öffnen
    From equationally defined functions to parallel processes
    Thomas Pinegger
    1987
    Monographie, Hochschulschrift, Gedruckte Ressource
  15. Detailansicht für Treffer 75 öffnen
    On the pagination of complex, book like documents
    Stefan Wohlfeil
    Aachen: Shaker, 1998
    Monographie, Hochschulschrift, Gedruckte Ressource
  16. Detailansicht für Treffer 76 öffnen
    Entwurf, Bewertung und Optimierung eines Kommunikationssystems für Parallelrechner
    Kern, Axel
    1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 77 öffnen
    The connection between applicative and procedural languages in an integrated software development and verification system
    Olthoff, Walter
    1987
    Monographie, Hochschulschrift, Gedruckte Ressource
  18. Detailansicht für Treffer 78 öffnen
    Einsatz genetischer Algorithmen als Optimierungsmethode bei der Synthese elektronischer Schaltungen
    von Andreas Falkenberg
    Düsseldorf: VDI-Verlag, 1999
    Monographie, Hochschulschrift, Gedruckte Ressource
  19. Detailansicht für Treffer 79 öffnen
    Design and analysis of strategies for autonomous systems in motion planning
    Elmar Langetepe
    Aachen: Shaker, 2000
    Monographie, Hochschulschrift, Gedruckte Ressource
  20. Detailansicht für Treffer 80 öffnen
    Requirements engineering für GIS-Applikationen
    Georg Kösters
    Aachen: Shaker, 1997
    Monographie, Hochschulschrift, Gedruckte Ressource

Artikel & mehr

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