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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie
5., überarb. Aufl, 2014
Signatur: TVH2602(5)
    Datensatz exportieren als...
  • BibTeX
Eine elementare Einführung in die Theorie der Turing-Maschinen
1998
Signatur: TVH2539
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie
Leitfäden der Informatik, Lehrbuch : Informatik
3., überarb. und erw. Aufl, 2007
Signatur: TVH2602(3)
    Datensatz exportieren als...
  • BibTeX
Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie
2007
Signatur: TVH2694
    Datensatz exportieren als...
  • BibTeX
Algorithmen in Java
2. Aufl, 2006
Signatur: TVH2636(2)
    Datensatz exportieren als...
  • BibTeX
Mehrdimensionale Fast-Rule-Filterautomaten
1995
Signatur: P876, TVH2393
    Datensatz exportieren als...
  • BibTeX
Automaten, Sprachen, Berechenbarkeit
Grundkurs angewandte Informatik : 4 (Alle Bände), Leitfäden der Informatik
2., durchges. Aufl, 1995
Signatur: TVH2212(2)
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Datenstrukturen : eine Einführung mit Java
4., überarb. Aufl, 2010
Signatur: TVH2589(4)
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Datenstrukturen : eine systematische Einführung in die Programmierung
It, Informatik
2008
Signatur: TVH2717
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Datenstrukturen : eine Einführung mit Java
Dpunkt-Lehrbuch
3., überarb. Aufl, 2006
Signatur: TVH2589(3)
    Datensatz exportieren als...
  • BibTeX
Optimierung digitaler Schaltungen durch Partitionierung und Resynthese
Berichte aus der Informatik
Als Ms. gedr, 1997
Signatur: TVE3820, P1044
    Datensatz exportieren als...
  • BibTeX
Timing analysis, scheduling, and allocation of periodic hard real-time tasks
1996
Signatur: P925, TWT4747
    Datensatz exportieren als...
  • BibTeX
Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie
2000
Signatur: TVH2555
    Datensatz exportieren als...
  • BibTeX
Lernende Automaten : Bericht über die Fachtagung der Nachrichtentechnischen Gesellschaft im VDE (NTG), Fachausschuß 6 "Informationsverarbeitung" in Karlsruhe am 13. und 14. April 1961
Beihefte zur Zeitschrift "Elektronische Rechenanlagen" : 3 (Alle Bände)
1961
Signatur: TVH1923
    Datensatz exportieren als...
  • BibTeX
Vom Problem zum Programm : eine Einführung in die Informatik
Leitfäden und Monographien der Informatik
2., neubearb. und erw. Aufl, 1991
Signatur: TVH2165(2)
    Datensatz exportieren als...
  • BibTeX
Einführung in die Informatik : Algorithmenentwicklung
Springer-Lehrbuch
1991
Signatur: TVH2173
    Datensatz exportieren als...
  • BibTeX
Einführung in parallele Algorithmen und Architekturen : Gitter, Bäume und Hypercubes
Informatik-Lehrbuch-Reihe
1. Aufl, 1997
Signatur: TVH2204-DT
    Datensatz exportieren als...
  • BibTeX
Automatentheorie und formale Sprachen : Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken. 3. Formale Sprachen : nach einer Vorlesung von G. Hotz im Wintersemester 1966/67 an der Universität des Saarlandes / von Günter Hotz und Volker Claus
Automatentheorie und formale Sprachen (Alle Bände), BI-Hochschulskripten : 823,a (Alle Bände)
1972
Signatur: TVH1012-3
    Datensatz exportieren als...
  • BibTeX
Halbgruppen und Automaten
Heidelberger Taschenbücher : 99 (Alle Bände), Sammlung Informatik
1971
Signatur: TVH1054
    Datensatz exportieren als...
  • BibTeX
Grundlagen elektronischer Automaten : Möglichkeiten und Grenzen der elektronischen Rechenanlagen
Philips technische Bibliothek
1966
Signatur: TUC1102
    Datensatz exportieren als...
  • BibTeX
Einführung in die Automatentheorie : für Studenten der Mathematik, Informatik, Natur- und Ingenieurwissenschaften
Uni-Text
1977
Signatur: TVH1698
    Datensatz exportieren als...
  • BibTeX
Algorithmen, Datenstrukturen, funktionale Programmierung : eine praktische Einführung mit Caml Light
1996
Signatur: TVH2458
    Datensatz exportieren als...
  • BibTeX
Algorithmen zur Planung und Optimierung moderner Kommunikationsnetze
2001
Signatur: D13140
    Datensatz exportieren als...
  • BibTeX
Logik, Automaten, Algorithmen
1967
Signatur: TVH1038
    Datensatz exportieren als...
  • BibTeX
Automatentheorie und formale Sprachen : Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken. 1. Turingmaschinen und rekursive Funktionen : Vorlesung im Wintersem. 1966 an d. Univ. d. Saarlandes in Saarbrücken / von Günter Hotz. Ausgearb. von Hermann Walter
Automatentheorie und formale Sprachen (Alle Bände)
[Dr.] B, c1968
Signatur: TVH1012-1
1 – 25 von 51
Suche als RSS-Feed
Aktive Filter
Autor / AutorinSoisalon-Soininen, Eljas
SystemstelleTVV
SystemstelleTVX
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen