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
Ideen der Informatik : grundlegende Modelle und Konzepte der theoretischen Informatik
3., korrigierte Auflage, [2008]
    Datensatz exportieren als...
  • BibTeX
Foundations of computer science
Principles of computer science series
1992
Signatur: TUA2679
    Datensatz exportieren als...
  • BibTeX
Mathematical foundations of computer science
Theoretical computer science : 195,1 (Alle Bände)
1998
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik
4., aktualisierte Auflage, [2018]
    Datensatz exportieren als...
  • BibTeX
30th Annual ACM Symposium on Theory of Computing
Journal of computer and system sciences : 60,3 (Alle Bände)
2000
Signatur: 64j7
    Datensatz exportieren als...
  • BibTeX
Theoretical computer science in Australia and New Zealand
Theoretical computer science : 185,2 (Alle Bände)
1997
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
Beauty is our business : a birthday salute to Edsger W. Dijkstra
Texts and monographs in computer science
1990
Signatur: TTQD1004
    Datensatz exportieren als...
  • BibTeX
Latin american theoretical INformatics
Theoretical computer science : 181,1 (Alle Bände)
1997
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
25th Annual ACM Symposium on the Theory of Computing (STOC 93) : May 16 - 18, 1993
Journal of computer and system sciences : 52,1 (Alle Bände)
1996
Signatur: 64j7
    Datensatz exportieren als...
  • BibTeX
Proceedings / 42nd IEEE Symposium on Foundations of Computer Science : October 14 - 17, 2001, Las Vegas, Nevada, USA
2001
Signatur: TTQ012448
    Datensatz exportieren als...
  • BibTeX
24th Annual ACM Symposium on the Theory of Computing (STOC'92) : held in Victoria, British Columbia, May 4 - 6, 1992
Journal of computer and system sciences : 51,3 (Alle Bände)
1995
Signatur: 64j7
    Datensatz exportieren als...
  • BibTeX
Proceedings of the thirty second Annual ACM Symposium on Theory of Computing : Portland, Oregon, May 21 - 23
2000
    Datensatz exportieren als...
  • BibTeX
Automaten, Sprachen und Maschinen für Anwender
Reihe Informatik : 38 (Alle Bände)
1983
Signatur: TVH1892
    Datensatz exportieren als...
  • BibTeX
STACS : Annual Symposium on Theoretical Aspects of Computer Science
Lecture notes in computer science : ...
    Datensatz exportieren als...
  • BibTeX
Proceedings / 39th Annual Symposium on Foundations of Computer Science : November 8 - 11, 1998, Palo Alto, California
1998
Signatur: TTQ982067
    Datensatz exportieren als...
  • BibTeX
Annual Symposium on Foundations of Computer Science. 26. October 21-23, 1985, Portland, Oregon
Annual Symposium on Foundations of Computer Science (Alle Bände)
1985
    Datensatz exportieren als...
  • BibTeX
Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie
2007
Signatur: TVH2694
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing : Dallas, Texas, May 23 - 26, 1998
1998
Signatur: TTQ981948
    Datensatz exportieren als...
  • BibTeX
Grundlagen der theoretischen Informatik mit Anwendungen : eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik
Vieweg-Lehrbuch
2., überarb. und aktualisierte Aufl, 2002
Signatur: TUA3413(2)
    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
Informatik und Philosophie
Schriftenreihe der Österreichischen Computer-Gesellschaft : 11 (Alle Bände)
1981
Signatur: TUC1241
    Datensatz exportieren als...
  • BibTeX
Technische und theoretische Informatik
Bsv-Informatik
1. Aufl, 1992
Signatur: TZZP1171
    Datensatz exportieren als...
  • BibTeX
Information and computation
1987-
Zeitschriftenbestand: 72.1987 - 123.1995; 148.1999 - 163.2000
Signatur: 64i1
    Datensatz exportieren als...
  • BibTeX
Theoretical computer science : theory of natural computing
1975-
Zeitschriftenbestand: 137.1995 - 289.2002
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
Conference record of POPL '98: The 25th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium San Diego, California, 19 - 21 January 1998
1998
Signatur: TTQ982017
1 – 25 von 345
Suche als RSS-Feed
Aktive Filter
Neu hinzugefügt... im letzten Monat
SystemstelleTVA
Suchergebnisse filtern
Filter anzeigen