Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Schlagwort

Sprache

Form

Person

292 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A completion procedure for generating ground confluent term rewriting systems
    von Richard Göbel
    1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Die virtuelle Universität: Konzept und Architektur am Beispiel der FernUniversität Hagen
    vorgelegt von Peter Buhrmann
    [1997]
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Erweiterungen von Programmiersprachen für wissenschaftliches Rechnen und Erörterung einer Implementierung
    von Michael Neaga
    1984
    Monographie, Hochschulschrift, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Software engineering in der Anwendungsprogrammierung
    Wallmüller, Ernest
    Wien: VERB. D. WISS. GES. OESTERREICHS, 1984
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    A framework for supporting fault diagnosis in integrated network and systems management: methodologies for the correlation of trouble tickets and acess to problem solving expertise
    Gabrijela Dreo
    Als Ms. gedr.. - Aachen: Shaker, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Analyse und Transformation von Hornklausel-Programmen unter Verwendung von Templateketten
    Schmücker, Astrid
    1986
    Monographie, Hochschulschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Methoden für den Entwurf logischer Datenbankstrukturen
    vorgelegt von Astrid Merkle
    1982
    Monographie, Hochschulschrift, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Zur Verifikation von modular zerlegten Programmen
    Hohlfeld, Bernhard
    1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Virtual reality und Streaming-Technologien in der web-basierten multimedialen Lehre und für ubiquitous computing
    von Andreas Bischoff
    Norderstedt: Books on Demand, 2006
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Analyse und Optimierung von Indexstrukturen in Geo-Datenbanksystemen
    Bernd-Uwe Pagel
    Sankt Augustin: Infix, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Algebraic specification of semantic domain constructions
    Nickl, Friederike
    1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Ein Fehlerbehandlungsalgorithmus für LR-attributierte Grammatiken
    Cosima Schmauch
    1982
    Monographie, Hochschulschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Formale Spezifikation nebenläufiger Konstrukte von ADA mit Graphgrammatiken
    Jackel, Manfred
    1986
    Monographie, Hochschulschrift, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Übersetzermethoden zur automatischen Hardware-Synthese
    Pfahler, Peter
    1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Hybrid disambiguation in natural language analysis
    von Sven Hartrumpf
    Osnabrück: Der Andere Verlag, 2003
    Monographie, Hochschulschrift, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Gipsy: e. Generator für interaktive Programmiersysteme
    Todtenhöfer, Rainer
    1986
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Beobachtungsorientierte Spezifikationen
    Hennicker, Rolf
    1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Dialogical system design across cultural boundaries: system design out of Africa
    vorgelegt von Heike Winschiers
    Hamburg, 2001
    Monographie, Hochschulschrift, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Dezimale Gleitpunktsysteme zur effizienten Implementierung der optimalen Rechnerarithmetik
    Allendörfer, Ulrich
    1986
    Monographie, Hochschulschrift, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Eine allgemeine Theorie der Stetigkeit und Berechenbarkeit für natürliche Halbordnungen
    Konrad Richard Theobald
    1984
    Monographie, Hochschulschrift, Gedruckte Ressource

Artikel & mehr

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