Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
    Datensatz exportieren als...
  • BibTeX
Algorithmen, rekursive Funktionen und formale Sprachen
BI-Hochschulskripten : 817 (Alle Bände), [Reihe Informatik : 5 (Alle Bände)
1968
Signatur: TVM1009
    Datensatz exportieren als...
  • BibTeX
Endliche stochastische Automaten
BI-Hochschulskripten : 766 (Alle Bände), [Reihe Informatik : 10 (Alle Bände), Skripten zur Informatik
1972
Signatur: TVJ1004
    Datensatz exportieren als...
  • BibTeX
Lineare Automaten
BI-Hochschulskripten : 708 (Alle Bände), [Reihe Informatik : 8 (Alle Bände)
1969
Signatur: TVH1004
    Datensatz exportieren als...
  • BibTeX
Prozessorzuteilung in Parallelrechnern
Reihe Informatik : 98 (Alle Bände)
1994
Signatur: TWT3084
    Datensatz exportieren als...
  • BibTeX
Entwurf hochintegrierter Schaltungen
Reihe Informatik : 96 (Alle Bände)
1994
Signatur: YFB2603
    Datensatz exportieren als...
  • BibTeX
Echtzeitfähige Multisensorintegration für autonome mobile Roboter
Reihe Informatik : 91 (Alle Bände)
1994
Signatur: XRW3706
    Datensatz exportieren als...
  • BibTeX
Einführung in die Automatentheorie und Theorie formaler Sprachen
Reihe Informatik : 90 (Alle Bände)
1993
Signatur: TVH2270
    Datensatz exportieren als...
  • BibTeX
Computerorientierte Geometrie
Reihe Informatik : 89 (Alle Bände)
1993
Signatur: TGJ1795
    Datensatz exportieren als...
  • BibTeX
Autonome mobile Roboter : Echtzeitnavigation in bekannter und unbekannter Umgebung
Reihe Informatik : 87 (Alle Bände)
1992
Signatur: XRW3528
    Datensatz exportieren als...
  • BibTeX
Helios : Anwendungs-, Funktionalitäts- und Leistungsaspekte
Reihe Informatik : 83 (Alle Bände)
1991
Signatur: TWR6676
    Datensatz exportieren als...
  • BibTeX
Autonome mobile Roboter : Sensordateninterpretation und Weltmodellierung zur Navigation in unbekannter Umgebung
Reihe Informatik : 80 (Alle Bände)
1991
Signatur: XRW3390
    Datensatz exportieren als...
  • BibTeX
Wissensbasierte Systeme : Algorithmen, Datenstrukturen und Werkzeuge
Reihe Informatik : 77 (Alle Bände)
1990
Signatur: TVU2704
    Datensatz exportieren als...
  • BibTeX
Geometrisches Modellieren
Reihe Informatik : 75 (Alle Bände)
1991
Signatur: TGJ1591
    Datensatz exportieren als...
  • BibTeX
Automatisches Verstehen gesprochener Sprache
Reihe Informatik : 74 (Alle Bände)
1990
Signatur: TVV7319
    Datensatz exportieren als...
  • BibTeX
Risiken elektronischer Datenübermittlung im Banken-, Handels- und Behördenbereich : eine Risikoanalyse aus technisch-wirtschaftlich-kriminologisch-rechtlicher Sicht
Reihe Informatik : 73 (Alle Bände)
1990
Signatur: TWZ1838
    Datensatz exportieren als...
  • BibTeX
Rechnerorganisation
Reihe Informatik : 71 (Alle Bände)
2., völlig überarb. Aufl, 1993
Signatur: TVH2157(2)
    Datensatz exportieren als...
  • BibTeX
Planen : Einführung in die Planerstellungsmethoden der künstlichen Intelligenz
Reihe Informatik : 65 (Alle Bände)
1989
Signatur: TVU1863
    Datensatz exportieren als...
  • BibTeX
Modellverwaltung und Expertensystemkomponenten für betriebliche Informationssysteme
Reihe Informatik : 62 (Alle Bände)
1988
Signatur: TVU2209
    Datensatz exportieren als...
  • BibTeX
Einführung in die Semantik von Programmiersprachen
Reihe Informatik : 59 (Alle Bände)
1988
Signatur: TXA2647
    Datensatz exportieren als...
  • BibTeX
Wissensdarstellung für Expertensysteme
Reihe Informatik : 57 (Alle Bände)
1987
Signatur: TVU1106
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Reihe Informatik : 56 (Alle Bände)
1987
Signatur: TVD1745
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Reihe Informatik : 56 (Alle Bände)
2., überarb. Aufl, 1989
Signatur: TVD1745(2)
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Reihe Informatik : 56 (Alle Bände), Spektrum Lehrbuch
4., überarb. Aufl, 1995
Signatur: TVD1745(4)
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Reihe Informatik : 56 (Alle Bände)
3., überarb. Aufl, 1992
Signatur: TVD1745(3)
    Datensatz exportieren als...
  • BibTeX
Künstliche Intelligenz - Überblick und Grundlagen : grundlegende Konzepte und Methoden zur Realisierung von Systemen der künstlichen Intelligenz
Reihe Informatik : 53 (Alle Bände)
korr. Nachdr, 1987
Signatur: TVV3747
1 – 25 von 40
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen