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
Algorithmic properties of structures : selected papers
1993
Signatur: TAWE1179
    Datensatz exportieren als...
  • BibTeX
The combinatory programme
Progress in theoretical computer science : 15 (Alle Bände)
1995
Signatur: TVC1520
    Datensatz exportieren als...
  • BibTeX
Metamathematik der Elementarmathematik
Hochschultext
1983
Signatur: TCK3186
    Datensatz exportieren als...
  • BibTeX
Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben
Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVI1740(2)
    Datensatz exportieren als...
  • BibTeX
Symposium on Semantics of Algorithmic Languages
Lecture notes in mathematics : 188 (Alle Bände)
1971
Signatur: TVM1017
    Datensatz exportieren als...
  • BibTeX
Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics [Elektronische Ressource]
1993
    Datensatz exportieren als...
  • BibTeX
Berechnungstheorie für Informatiker
Leitfäden und Monographien der Informatik
1st ed. 1988, 1988
    Datensatz exportieren als...
  • BibTeX
Logic of Programs : Workshop, ETH Zürich, May–July 1979 [Elektronische Ressource]
1981
    Datensatz exportieren als...
  • BibTeX
Berechnungstheorie für Informatiker
Leitfäden und Monographien der Informatik
2nd ed. 1988, 1988
    Datensatz exportieren als...
  • BibTeX
Berechnungstheorie für Informatiker [electronic resource]
1st ed. 1988, 1988
    Datensatz exportieren als...
  • BibTeX
ISSAC 96: International Symposium on Symbolic and Algebraic Computation
1996
1 – 11 von 11
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen