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
Proceedings / 34th Annual Symposium on Foundations of Computer Science : November 3 - 5, 1993, Palo Alto, California
1993
Signatur: TVA2924
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine problemorientierte Einführung
Springer-Lehrbuch
1996
Signatur: TVA2673
    Datensatz exportieren als...
  • BibTeX
Termersetzungssysteme : Theorie, Implementierung, Anwendung
Vieweg-Lehrbuch
1998
Signatur: TVA2754
    Datensatz exportieren als...
  • BibTeX
Computation and reasoning : a type theory for computer science
The international series of monographs on computer science : 11 (Alle Bände)
1994
Signatur: TVA2291
    Datensatz exportieren als...
  • BibTeX
Data processing mathematics
1985
Signatur: TVA2047
    Datensatz exportieren als...
  • BibTeX
Les mathématiques à la portée de l'ordinateur
INITIATION AUX NOUVEAUTES DE LA SCIENCE. 22. : 22 (Alle Bände)
1970
Signatur: TVA1180
    Datensatz exportieren als...
  • BibTeX
Theoretical foundations of computer science
1. [Dr.], 1987
Signatur: TVA2102
    Datensatz exportieren als...
  • BibTeX
Superdistribution : objects as property on the electronic frontier
1996
Signatur: TVA2576
    Datensatz exportieren als...
  • BibTeX
Kryptologie
Reihe Informatik : 47 (Alle Bände)
1985
Signatur: TVA1936
    Datensatz exportieren als...
  • BibTeX
Einführung in die Theoretische Informatik : Grundlagen und Modelle
Springer-Lehrbuch
1994
Signatur: TVA2356
    Datensatz exportieren als...
  • BibTeX
Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Teubner-Texte zur Informatik : 26 (Alle Bände)
1998
Signatur: TVA2704
    Datensatz exportieren als...
  • BibTeX
Informatik
Signatur: TVA1627-...
    Datensatz exportieren als...
  • BibTeX
Informations- und Codierungstheorie : mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen ; mit 6 Tabellen
Springer-Lehrbuch
3., neu bearb. Aufl, 1995
Signatur: TVA1855(3)
    Datensatz exportieren als...
  • BibTeX
Introductory theory of computer science
Macmillan computer science series
1983
Signatur: TVA1928
    Datensatz exportieren als...
  • BibTeX
Computerlogik : so einfach arbeiten Computer
1. Aufl, 2001
Signatur: TVA2932
    Datensatz exportieren als...
  • BibTeX
Problem - Algorithmus - Programm
Grundkurs angewandte Informatik : 2 (Alle Bände), Leitfäden der Informatik
2., durchges. Aufl, 1999
Signatur: TVA2275(2)
    Datensatz exportieren als...
  • BibTeX
Computability, complexity, and languages : fundamentals of theoretical computer science
Computer science and scientific computing
2. ed, 1994
Signatur: TVA1889(2)
    Datensatz exportieren als...
  • BibTeX
Elementary computability, formal languages, and automata
1982
Signatur: TVA1863
    Datensatz exportieren als...
  • BibTeX
Informatik. 1. Vom Problem zum Programm, [Hauptbd.].- 1976
Informatik (Alle Bände)
Signatur: TVA1627-1
    Datensatz exportieren als...
  • BibTeX
Introduction to the theory of computation
1997
Signatur: TVA2623
    Datensatz exportieren als...
  • BibTeX
Foundations of computer science
Computer software engineering series
2. hardcover print, 1982
Signatur: TVA1902
    Datensatz exportieren als...
  • BibTeX
Computing science
1980
Signatur: TVA1740
    Datensatz exportieren als...
  • BibTeX
Theoretical studies in computer science
1992
Signatur: TVA2267
    Datensatz exportieren als...
  • BibTeX
Communicating and mobile systems : the pi-calculus
5. print, 2004
Signatur: TVA3174
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine Einführung
1994
Signatur: TVA2306
26 – 50 von 134
Suche als RSS-Feed
Aktive Filter
Autor / AutorinBauer, Friedrich L
Suchergebnisse filtern
Filter anzeigen