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
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
Proceedings / 42nd IEEE Symposium on Foundations of Computer Science : October 14 - 17, 2001, Las Vegas, Nevada, USA
2001
Signatur: TTQ012448
    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
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
Theoretische Informatik
4., aktualisierte Auflage, [2018]
    Datensatz exportieren als...
  • BibTeX
Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie
2007
Signatur: TVH2694
    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
    Datensatz exportieren als...
  • BibTeX
Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : Grundlagen mit Übungsaufgaben und Lösungen [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Genome informatics
Theoretical computer science : 210,2 (Alle Bände)
1999
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
Algorithmic properties of structures : selected papers
1993
Signatur: TAWE1179
    Datensatz exportieren als...
  • BibTeX
Histories of computing
2011
Signatur: KLET1417
1 – 25 von 330
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCalude, Cristian S
Autor / AutorinMitchell, John C.
Autor / AutorinSymposium on Theory of Computing
SystemstelleTVA
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Autor / Autorin
15 weitere anzeigen...
Weniger anzeigen...
Erscheinungsform
Schlagwort
15 weitere anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
15 weitere anzeigen...
Weniger anzeigen...
Art des Inhalts