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
Mathematical structures for computer science. Solutions manual
Mathematical structures for computer science (Alle Bände)
2. ed., 2. [Dr.], 1987
Signatur: TVD1664(2)-2
    Datensatz exportieren als...
  • BibTeX
Mathematik für Informatiker. 1. Die Methode der Mathematik
Mathematik für Informatiker (Alle Bände)
2., korr. Aufl, 1981
Signatur: TVD1614(2)-1
    Datensatz exportieren als...
  • BibTeX
Effizientes Lernen fast optimaler Entscheidungen aus Beispielen
Berichte aus der Informatik
Als Ms. gedr, 1994
Signatur: D9743
    Datensatz exportieren als...
  • BibTeX
Normalization by evaluation
2002
Signatur: D13372
    Datensatz exportieren als...
  • BibTeX
Mathematik für Informatiker. 1. Die Methode der Mathematik
Mathematik für Informatiker (Alle Bände), Informatik-Fachberichte : 35 (Alle Bände)
1980
Signatur: TVD1614-1
    Datensatz exportieren als...
  • BibTeX
Mathematical structures for computer science. Textbook
Mathematical structures for computer science (Alle Bände), A series of books in the mathematical sciences
2. ed, 1987
Signatur: TVD1664(2)-1
    Datensatz exportieren als...
  • BibTeX
Mathematical structures for computer science. Hauptbd
Mathematical structures for computer science (Alle Bände)
5. ed., 1. print, 2002
Signatur: TVD1664(5)-1
    Datensatz exportieren als...
  • BibTeX
Theoretical aspects of fuzzy control : conceived at the Second IEEE Conference on Fuzzy Systems, held in March 1993, in San Francisco
1995
Signatur: TVD2000
    Datensatz exportieren als...
  • BibTeX
Deduction methods for disjunctive deductive databases and relation schemas
1998
Signatur: D12115
    Datensatz exportieren als...
  • BibTeX
Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken
1994
Signatur: D10149
    Datensatz exportieren als...
  • BibTeX
Integration von Testbarkeitsaspekten in die High-Level-Synthese
1995
Signatur: P891, TVE3255
    Datensatz exportieren als...
  • BibTeX
Model based transformations for quantified Boolean formulas
Dissertationen zur künstlichen Intelligenz : 329 (Alle Bände)
2010
Signatur: TVD2335, P2258
    Datensatz exportieren als...
  • BibTeX
Mathematical logic and programming languages
Prentice-Hall international series in computer science
1985
Signatur: TVD1703
1 – 13 von 13
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
Suchergebnisse filtern
Filter anzeigen