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
Theoretische Informatik
4., aktualisierte Auflage, [2018]
    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
Computer science, theory and applications : proceedings [Elektronische Ressource]
Lecture notes in computer science : 3967 (Alle Bände)
2006
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie [Elektronische Ressource]
3., überarbeitete und erweiterte Auflage, 2007
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Informatik
2., verbesserte Auflage. Reprint 2018, [2018]
    Datensatz exportieren als...
  • BibTeX
Grundkurs Theoretische Informatik : Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen
6. Aufl. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
Graph-Theoretic Concepts in Computer Science : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Developments in Language Theory : 8th International Conference, DLT 2004. Auckland, New Zealand, December 13-17. Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : Formale Sprachen, Berechenbarkeit, Komplexitätstheorie,Algorithmik, Kommunikation und Kryptographie [Elektronische Ressource]
4., aktualisierte Auflage, 2011
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : Eine anwendungsorientierte Einführung
2., überarb. Aufl. Reprint 2014, [2014]
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik - ganz praktisch
De Gruyter Studium
[2016]
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie [Elektronische Ressource]
5., überarb. Aufl. 2014, 2014
    Datensatz exportieren als...
  • BibTeX
People, Problems, and Proofs : Essays from Gödel's Lost Letter: 2010 [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday [Elektronische Ressource]
Lecture notes in computer science : 2772 (Alle Bände)
2003
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : — eine algorithmenorientierte Einführung [Elektronische Ressource]
Leitfäden der Informatik
3., überarbeitete Auflage, 2005
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata (vol. # 3317) : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Foundations of software science and computation structures : 9th international conference ; proceedings [Elektronische Ressource]
Lecture notes in computer science : 3921 (Alle Bände)
2006
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Theory of computing systems
1997-
    Datensatz exportieren als...
  • BibTeX
Perspectives of system informatics : revised papers [Elektronische Ressource]
Lecture notes in computer science : 2890 (Alle Bände)
2003
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Reflections on the Work of C.A.R. Hoare [Elektronische Ressource]
History of Computing
2010
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings [Elektronische Ressource]
1999
1 – 25 von 285
Suche als RSS-Feed
Aktive Filter
Art des MediumsGedruckt
Suchergebnisse filtern
Filter anzeigen