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
Foundations of computing : system development with set theory and logic
International computer science series
1994
Signatur: TVA2348
    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
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
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
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
Handbook of theoretical computer science
1990-
Signatur: TVA2136
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Twenty-sixth Annual ACM Symposium on the Theory of Computing : Montréal, Québec, Canada, May 23-25, 1994
1994
Signatur: TVA2966
    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
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
Theoretical foundations of computer science
1. [Dr.], 1987
Signatur: TVA2102
    Datensatz exportieren als...
  • BibTeX
Einführung in die Theoretische Informatik : Grundlagen und Modelle
Springer-Lehrbuch
1994
Signatur: TVA2356
    Datensatz exportieren als...
  • BibTeX
Theoretical studies in computer science
1992
Signatur: TVA2267
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine Einführung
1994
Signatur: TVA2306
    Datensatz exportieren als...
  • BibTeX
Mathematische Grundlagen der Informatik
Informatik : 6 (Alle Bände)
1992
Signatur: TVA2209
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : Grundlagen und praktische Anwendungen
Vieweg : Lehrbuch Informatik
1995
Signatur: TVA2322
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1 - 4, 1999
1999
Signatur: TTQ992020
    Datensatz exportieren als...
  • BibTeX
Introduction to theoretical computer science
World Scientific series in computer science : 23 (Alle Bände)
1990
Signatur: TVA2144
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine algorithmenorientierte Einführung
Leitfäden und Monographien der Informatik
1993
Signatur: TVA2225
    Datensatz exportieren als...
  • BibTeX
Proceedings / 37th Annual Symposium on Foundations of Computer Science : October 14 - 16, 1996, Burlington, Vt
1996
Signatur: TVA2940
    Datensatz exportieren als...
  • BibTeX
Kompendium theoretische Informatik : eine Ideensammlung
Leitfäden der Informatik
1996
Signatur: TVA2495
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
I, Theoretische Informatik, I, Informatik
[Nachdr.], 2003
Signatur: TVA3124
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine algorithmenorientierte Einführung
Leitfäden der Informatik, Lehrbuch : Informatik
3., überarb. Aufl, 2005
Signatur: TVA2225(3)
1 – 25 von 40
Suche als RSS-Feed
Aktive Filter
SchlagwortTheoretische Informatik
Suchergebnisse filtern
Filter anzeigen