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
Automatische Synthese rekursiver Programme als Beweisverfahren
Informatik-Fachberichte : 302 (Alle Bände)
1992
Signatur: TVI2160
    Datensatz exportieren als...
  • BibTeX
Property testing and geometry
HNI-Verlagsschriftenreihe : 119 (Alle Bände)
2003
Signatur: TVI4340
    Datensatz exportieren als...
  • BibTeX
Polynomiale und streng polynomiale Algorithmen für Netzwerkfluß-Probleme
DUV : Informatik
1991
Signatur: M4373
    Datensatz exportieren als...
  • BibTeX
Optimale systolische Präfixberechnungen : ein praxisrelevanter Beitrag zum Entwurf effizienter paralleler Algorithmen
DUV : Informatik
1992
Signatur: TVI2550
    Datensatz exportieren als...
  • BibTeX
The Satisfiability problem : algorithms and analyses
Mathematik für Anwendungen : 3 (Alle Bände), Informatik
2013
Signatur: TVI4609
    Datensatz exportieren als...
  • BibTeX
Über den Schachalgorithmus und dessen Anwendung in der Langzeitplanung
Forschungsberichte des Fachbereichs Informatik der Universität Dortmund : 425 (Alle Bände)
1992
Signatur: TVI2568
    Datensatz exportieren als...
  • BibTeX
An implementation and investigation of the Knuth-Bendix completion procedure
Bericht / Institut für Informatik 1 : 82,17 (Alle Bände)
1982
Signatur: TVI1465
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 33rd Annual ACM Symposium on Theory of Computing : Hersonissos, Crete, Greece, July 6 - 8, 2001
2001
Signatur: TTQ012024
    Datensatz exportieren als...
  • BibTeX
Introduction to algorithms. Hauptbd.] / Thomas H. Cormen
Introduction to algorithms (Alle Bände)
2. ed, 2001
Signatur: TVI2063(2)-1
    Datensatz exportieren als...
  • BibTeX
The design and analysis of algorithms
Text and monographs in computer science
1992
Signatur: TVI2542
    Datensatz exportieren als...
  • BibTeX
Lambda-calculus, combinators, and functional programming
Cambridge tracts in theoretical computer science : 4 (Alle Bände)
1988
Signatur: TVI1782
    Datensatz exportieren als...
  • BibTeX
An introduction to the design of pattern recognition devices : course held at the Department for Automation and Information, July 1971
Courses and lectures / International Centre for Mechanical Sciences : 83 (Alle Bände)
1971 [erschienen] 1972
Signatur: TVI1083
    Datensatz exportieren als...
  • BibTeX
Computational graph theory
Computing : Supplementum : 7 (Alle Bände)
1990
Signatur: TVI2055
    Datensatz exportieren als...
  • BibTeX
Theory of randomized search heuristics : foundations and recent developments
Series on theoretical computer science : 1 (Alle Bände)
2011
Signatur: TVI4560
    Datensatz exportieren als...
  • BibTeX
Nine algorithms that changed the future : the ingenious ideas that drive today's computers
2012
Signatur: TVI4641
    Datensatz exportieren als...
  • BibTeX
Algorithms
The MIT Press essential knowledge series
[2020]
Signatur: M66465
1 – 16 von 16
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
Autor / AutorinWeikum, Gerhard
SystemstelleTVI
Suchergebnisse filtern
Filter anzeigen