Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Form

Person

196 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Kurven- und Flächen-Verschneidungsmethoden
    Lasser
    Kaiserslautern, 1989
    Monographie, Sonstiges, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Konzeption und Implementierung einer Entwicklungsumgebung für objektorientierte Programmiersprachen
    Rainer Hoch ; Rainer Todtenhöfer
    Kaiserslautern, 1989
    Monographie, Sonstiges, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Zur Problematik der Fehlerbehandlung in Compilern: e. Diskussionsbeitr
    Mattern, Friedemann (1955-)
    Kaiserslautern, 1987
    Monographie, Sonstiges, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free
    Paliath Narendran ; Friedrich Otto
    Kaiserslautern, 1987
    Monographie, Sonstiges, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Autonome mobile Roboter: Einführung u. Überblick
    Georgi Jerkov ; Thomas Knieriemen
    Kaiserslautern, 1987
    Monographie, Sonstiges, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Das Projekt Bücherschatz
    Ute Külper u. Gabriela Will
    Hamburg: Fachbereich Informatik d. Univ. Hamburg, 1996
    Monographie, Sonstiges, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Konzeption und Implementierung eines Window-Handlers für CADMUS PCS
    Frank Bomarius ; Olaf Kaltz
    Kaiserslautern, 1987
    Monographie, Sonstiges, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    HL-View: Programmierumgebung für eine Benutzerschnittstelle
    Gerten, Rainer
    Kaiserslautern, 1987
    Monographie, Sonstiges, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Simulation von Kommunikationsprotokollen
    Wilke, Volker
    Kaiserslautern, [19]89
    Monographie, Sonstiges, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Minimal resolution
    Christoph Weidenbach. [Max-Planck-Institut für Informatik]
    Saarbrücken: MPI Informatik, 1994
    Monographie, Sonstiges, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Sorting in linear time?
    [Max-Planck-Institut für Informatik]. Arne Andersson ..
    Saarbrücken: MPI Informatik, Bibliothek & Dokumentation, 1995
    Sonstiges, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Distributed CGI ++ - eine Client, Server-Lösung zur Entwicklung leistungsfähiger Computergraphik-Anwendungen
    Dieter W. Fellner and Martin Fischer
    Bonn: Sekretariat für Forschungsberichte, Inst. für Informatik III, 1995
    Monographie, Sonstiges, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Proximity in arrangements of algebraic sets
    J. H. Rieger. [Max-Planck-Institut für Informatik]
    Saarbrücken: Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation, 1996
    Monographie, Sonstiges, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Using algebraic specification languages for model-oriented specifications
    Hubert Baumeister
    Saarbrücken: Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation, 1996
    Monographie, Sonstiges, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Exact ground states of two-dimensional +- J Ising spin glasses
    [Max-Planck-Institut für Informatik]. C. De Simone ..
    Saarbrücken: Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation, 1995
    Sonstiges, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Labelled propositional modal logics: theory and practice
    David Basin ; Seán Matthews ; Luca Viganò
    Saarbrücken: Max-Planck-Inst. für Informatik, Bibliothek und Dokumentation, 1996
    Monographie, Sonstiges, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Erkennungssysteme und Dokumentanalyse: READ, Beitrag zum Abschlußbericht
    GMD-Forschungszentrum Informationstechnik. Liliane Peters ..
    Sankt Augustin, 1999
    Sonstiges, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Gossiping on Meshes and Tori
    Ben H. H. Juurlink ; P. S. Rao ; Jop F. Sibeyn
    Saarbrücken: MPI Informatik, Bibliothek & Dokumentation, 1996
    Monographie, Sonstiges, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Strong Skolemization
    Andreas Nonnengart
    Saarbrücken: MPI Informatik, Bibliothek & Dokumentation, 1996
    Monographie, Sonstiges, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    On the decision complexity of the bounded theories of trees
    Sergei Vorobyov
    Saarbrücken: MPI Informatik, Bibliothek & Dokumentation, 1996
    Monographie, Sonstiges, Gedruckte Ressource

Artikel & mehr

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