Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

3.983 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Mit dem Computer philosophieren: Übertexte zu Kant, Hegel, Nietzsche, Wittgenstein, Heidegger, Habermas
    Peter Schefe
    Hamburg: Univ., Fachbereich Informatik, 2003
    Humoristische Darstellung, Monographie, Sonstiges, Gedruckte Ressource
  2. Detailansicht für Treffer 42 öffnen
    Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken
    Jürgen Sauer
    Oldenburg, 1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 43 öffnen
    Konstruktion und Bau eines Schrittmotorantriebs zur Steuerung der "Micro Mouse Speedy Gonsales": (Projektarbeit)
    Ralf Hinkel
    Kaiserslautern, 1983
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 44 öffnen
    Datenbankunterstützung für Prolog-Programmierumgebungen
    Jasper, Heinrich
    Oldenburg: Fachbereich Informatik der Univ, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 45 öffnen
    Ein verteiltes graphisches Bediensystem für konventionelle Betriebssysteme
    Thomas Kühme
    Hildesheim: Univ. Hildesheim, Inst. für Betriebssysteme & Rechnerverbund, 1991
    Monographie, Hochschulschrift, Gedruckte Ressource
  6. Detailansicht für Treffer 46 öffnen
    COLEX - ein Computerlexikon für die automatische Sprachverarbeitung
    Marion Schulz ; Hermann Helbig
    Hagen: Fernuniv., Fachbereich Informatik, 1996
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 47 öffnen
    Modular specification and verification of object oriented programs
    Peter Müller
    Hagen: FernUniversität in Hagen, Fachbereich Informatik, 2001
    Monographie, Hochschulschrift, Gedruckte Ressource
  8. Detailansicht für Treffer 48 öffnen
    Orakelabhängige Zeithierarchiesätze
    Robert Rettinger
    Hagen: FernUniversität in Hagen, Fachbereich Informatik, 2000
    Monographie, Hochschulschrift, Gedruckte Ressource
  9. Detailansicht für Treffer 49 öffnen
    DECT in the factory of the future
    Matthias Oliver Berger
    Aachen: RWTH, Fachgruppe Informatik, 1998
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 50 öffnen
    The role relationship model: supporting the generic definition of relationships
    Wolfgang Wilkes
    Hagen: Fernuniv., Fachbereich Informatik, 1996
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 51 öffnen
    Simulation von Kommunikationsprotokollen
    Wilke, Volker
    Kaiserslautern, [19]89
    Monographie, Sonstiges, Gedruckte Ressource
  12. Detailansicht für Treffer 52 öffnen
    Symbolic trajectories
    Ralf Hartmut Güting ; Fabio Valdés ; Maria Luisa Damiani
    Hagen: Fernuniv, 2013
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 53 öffnen
    Systemintegration des User-Level-Scheduling: Betriebssystemdienste zur Unterstützung der parallelen Programmierung
    Christoph Koppe
    Erlangen, 1999
    Monographie, Hochschulschrift, Gedruckte Ressource
  14. Detailansicht für Treffer 54 öffnen
    Dynamische Fehlererkennungs- und -behebungsmechanismen für verlässliche Mikroprozessoren
    Bernhard Fechner
    Hagen: FernUniversität in Hagen, Fachbereich Informatik, 2008
    Monographie, Hochschulschrift, Gedruckte Ressource
  15. Detailansicht für Treffer 55 öffnen
    Möglichkeiten und Verfahren zur schnellen Datenbank-Recovery bei einzelnen zerstörten Datenbankblöcken
    Klaus Küspert
    Kaiserslautern, 1983
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 56 öffnen
    Design methods based on nets: DEMON ; edited progress report of the Esprit basic research action 3148
    Gesellschaft für Mathematik und Datenverarbeitung mbH. Eike Best (Hrsg.)
    Sankt Augustin, 1991
    Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 57 öffnen
    Dynamics of knowledge and belief: Workshop [Dynamics of Knowledge and Belief] at the 30th Annual German Conference on Artificial Intelligence, KI-2007, Osnabrück, Germany, September 10, 2007 ; proceedings
    Christoph Beierle ... (eds.)
    Hagen: Fernuniv., Fachbereich Informatik, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 58 öffnen
    Lexical semantic and ontological resources: workshop of the GLDV Working Group on Lexicography at the biennial spring conference of the GLDV, April 13 - 14, 2007, Tübingen, Germany ; workshop proceedings
    [GLDV 2007 Workshop Lexical Semantic and Ontological Resources]. Organization: Claudia Kunze ..
    Hagen: Fernuniv., Fachbereich Informatik, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 59 öffnen
    Unwind property von Algebren endlicher Wörter und Mengen bezüglich polynomiell zeitbeschränkter Programme: [Ergebnisse d. Studienarbeit d. ersten Autors]
    M. Schmitt u. V. Sperschneider
    Karlsruhe, 1987
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 60 öffnen
    Gesellschaftsbezogene Auswirkungen des Einsatzes von Informationstechnologien im Spiegel der Literatur
    Ulrike Erb
    Kaiserslautern, 1983
    Monographie, Hochschulschrift, Gedruckte Ressource

Artikel & mehr

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