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...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Geometrisches Modellieren
Reihe Informatik : 75 (Alle Bände)
1991
Signatur: TGJ1591
    Datensatz exportieren als...
  • BibTeX
Einführung in die Semantik von Programmiersprachen
Reihe Informatik : 59 (Alle Bände)
1988
Signatur: TXA2647
    Datensatz exportieren als...
  • BibTeX
Automaten, Sprachen und Maschinen für Anwender
Reihe Informatik : 38 (Alle Bände)
1983
Signatur: TVH1892
    Datensatz exportieren als...
  • BibTeX
Einführung in die Intervallrechnung
Reihe Informatik : 12 (Alle Bände)
1974
Signatur: TKX1783
    Datensatz exportieren als...
  • BibTeX
Wissensdarstellung für Expertensysteme
Reihe Informatik : 57 (Alle Bände)
1987
Signatur: TVU1106
    Datensatz exportieren als...
  • BibTeX
Computerorientierte Geometrie
Reihe Informatik : 89 (Alle Bände)
1993
Signatur: TGJ1795
    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
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
Komplexität bei Turingmaschinen
Reihe Informatik : 14 (Alle Bände)
1974
Signatur: TVI1130
    Datensatz exportieren als...
  • BibTeX
Theoretische Grundlagen der Programmiersprachen : Automaten und Sprachen
Reihe Informatik : 41 (Alle Bände)
1984
Signatur: TXL1565
    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
Rechnerorganisation
Reihe Informatik : 71 (Alle Bände)
2., völlig überarb. Aufl, 1993
Signatur: TVH2157(2)
    Datensatz exportieren als...
  • BibTeX
Entwurf hochintegrierter Schaltungen
Reihe Informatik : 96 (Alle Bände)
1994
Signatur: YFB2603
    Datensatz exportieren als...
  • BibTeX
Prozessorzuteilung in Parallelrechnern
Reihe Informatik : 98 (Alle Bände)
1994
Signatur: TWT3084
    Datensatz exportieren als...
  • BibTeX
Elemente der numerischen Analysis
Reihe Informatik : 9 (Alle Bände)
Signatur: TKX1369-...
    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
Autonome mobile Roboter : Echtzeitnavigation in bekannter und unbekannter Umgebung
Reihe Informatik : 87 (Alle Bände)
1992
Signatur: XRW3528
    Datensatz exportieren als...
  • BibTeX
Kryptologie
Reihe Informatik : 47 (Alle Bände)
1985
Signatur: TVA1936
    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
Echtzeitfähige Multisensorintegration für autonome mobile Roboter
Reihe Informatik : 91 (Alle Bände)
1994
Signatur: XRW3706
    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
Grundlagen des numerischen Rechnens : mathematische Begründung der Rechnerarithmetik
Reihe Informatik : 19 (Alle Bände)
1976
Signatur: TKX2632
    Datensatz exportieren als...
  • BibTeX
Wissensbasierte Systeme : Algorithmen, Datenstrukturen und Werkzeuge
Reihe Informatik : 77 (Alle Bände)
1990
Signatur: TVU2704
    Datensatz exportieren als...
  • BibTeX
Syntaxanalyse
Reihe Informatik : 27 (Alle Bände)
3., durchges. Aufl, 1986
Signatur: TVM1635(3)
    Datensatz exportieren als...
  • BibTeX
Helios : Anwendungs-, Funktionalitäts- und Leistungsaspekte
Reihe Informatik : 83 (Alle Bände)
1991
Signatur: TWR6676
1 – 25 von 36
Suche als RSS-Feed
Aktive Filter
SchlagwortLogische Programmierung
Suchergebnisse filtern
Filter anzeigen