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
Informatik : eine einführende Übersicht. 1 / Friedrich L. Bauer ; Gerhard Goos
Informatik (Alle Bände), Springer-Lehrbuch
4., verb. Aufl.: bearb. von F. L. Bauer u. W. Dosch, 1991
Signatur: TVA1106(4)-1
    Datensatz exportieren als...
  • BibTeX
Mehr als nur programmieren : eine Einführung in die Informatik
Vieweg-Lehrbuch Informatik
1993
Signatur: TVA2241
    Datensatz exportieren als...
  • BibTeX
Computer science fundamentals : an algorithmic approach via structured programming
1979
Signatur: TVA1805
    Datensatz exportieren als...
  • BibTeX
Informatik. 2. Vom Programm zur Zentraleinheit, vom Systementwurf zum Systembetrieb. Lösungsband mit methodisch-didaktischer Einführung
Informatik (Alle Bände)
1980
Signatur: TVA1627-2,2
    Datensatz exportieren als...
  • BibTeX
Informatik. 1. Vom Problem zum Programm, [Hauptbd
Informatik (Alle Bände)
2., bearb. u. erw. Aufl, 1983
Signatur: TVA1627(2)-1,1
    Datensatz exportieren als...
  • BibTeX
Theory of computation
Wiley international editions
3. [Dr.], 1987
Signatur: TVA2128
    Datensatz exportieren als...
  • BibTeX
A basis for theoretical computer science
Texts and monographs in computer science, The AKM series in theoretical computer science
1981
Signatur: TVA1839
    Datensatz exportieren als...
  • BibTeX
Foundations of computing : system development with set theory and logic
International computer science series
1994
Signatur: TVA2348
    Datensatz exportieren als...
  • BibTeX
Satisfiability problem : theory and application ; DIMACS workshop March 11 - 13, 1996
DIMACS series in discrete mathematics and theoretical computer science : 35 (Alle Bände)
1997
Signatur: TTQ961883
    Datensatz exportieren als...
  • BibTeX
The theory of computation
Repr. with corr., December 1997, c 1998
Signatur: TVA2788
    Datensatz exportieren als...
  • BibTeX
Proceedings / 36th Annual Symposium on Foundations of Computer Science : October 23 - 25, 1995, Milwaukee, Wisconsin
1995
Signatur: TVA2958
    Datensatz exportieren als...
  • BibTeX
Grundbegriffe der theoretischen Informatik
Studienreihe Informatik
1988
Signatur: TVA2089
    Datensatz exportieren als...
  • BibTeX
Algorithms and complexity
Handbook of theoretical computer science : A (Alle Bände)
1990
Signatur: TVA2136-A
    Datensatz exportieren als...
  • BibTeX
Informations- und Codierungstheorie : mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen
Studienreihe Informatik
2., neubearb. Aufl, 1989
Signatur: TVA1855(2)
    Datensatz exportieren als...
  • BibTeX
Mathematische Methoden der Kryptoanalyse
DuD-Fachbeiträge : 8 (Alle Bände)
1985
Signatur: TVA1978
    Datensatz exportieren als...
  • BibTeX
Nichtphysikalische Grundlagen der Informationstechnik : interpretierte Formalismen
2. Aufl, 1991
Signatur: TVA2194(2)
    Datensatz exportieren als...
  • BibTeX
Languages and machines : an introduction to the theory of computer science
Addison-Wesley series in computer science
2. ed, 1997
Signatur: TVA2097(2)
    Datensatz exportieren als...
  • BibTeX
Informatik. 1. Vom Problem zum Programm. Lösungsband mit methodisch-didaktischer Einführung
Informatik (Alle Bände)
3. Aufl., 2. Dr, 1984
Signatur: TVA1627(3)-1,2
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 33rd Annual ACM Symposium on Theory of Computing : Hersonissos, Crete, Greece, July 6 - 8, 2001
2001
Signatur: TTQ012024
    Datensatz exportieren als...
  • BibTeX
Einführung in die Datenverarbeitung : Technik, Aufbau und Wirkungsweise
1974
Signatur: TVA1546
    Datensatz exportieren als...
  • BibTeX
Computer science: a mathematical introduction : (applied mathematics: modeling, analysis and optimization techniques with applications to software systems)
Prentice-Hall international series in computer science
1. [Dr.], 1985
Signatur: TVA2005
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 8th ACM Conference on Computer and Communications Security : (CCS 8), November 5 - 8, 2001, Philadelphia, Pennsylvania, USA
2001
Signatur: TTQ012236
    Datensatz exportieren als...
  • BibTeX
Informatik : eine Einführung in Grundlagen und Methoden
Studienbücher Mathematik
1981
Signatur: TVA1813
    Datensatz exportieren als...
  • BibTeX
Handbook of theoretical computer science
1990-
Signatur: TVA2136
    Datensatz exportieren als...
  • BibTeX
A recursive introduction to the theory of computation
Graduate texts in computer science
1994
Signatur: TVA2330
1 – 25 von 138
Suche als RSS-Feed
Aktive Filter
Autor / AutorinSipser, Michael
Suchergebnisse filtern
Filter anzeigen