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
Algorithmen und Komplexitätsanalyse für die Verarbeitung hierarchisch definierter Graphen und hierarchisch definierter Graphfamilien
1989
Signatur: P438, TVM2398
    Datensatz exportieren als...
  • BibTeX
Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion
Europäische Hochschulschriften : Reihe 41 : 6 (Alle Bände)
1991
Signatur: M5753
    Datensatz exportieren als...
  • BibTeX
Potentiale der Informationstechnik : state-of-the-art und Trends aus Anwendungssicht
Informatik und Unternehmensführung
1994
Signatur: TZT2959
    Datensatz exportieren als...
  • BibTeX
Abschätzung der Fehlzugriffe bei dünn besetzten Matrixoperationen auf Architekturen mit einem direct mapped Cache
2003
Signatur: D13906
    Datensatz exportieren als...
  • BibTeX
Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen
Informatik-Fachberichte : 178 (Alle Bände)
1988
Signatur: TVM2217
    Datensatz exportieren als...
  • BibTeX
Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur
1991
Signatur: D6325
    Datensatz exportieren als...
  • BibTeX
Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung
1995
Signatur: D10353
    Datensatz exportieren als...
  • BibTeX
Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken
Informatik-Fachberichte : 313 (Alle Bände)
1992
Signatur: TVM2835
    Datensatz exportieren als...
  • BibTeX
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Informatik-Fachberichte : 199 (Alle Bände)
1988
Signatur: TVM2225
    Datensatz exportieren als...
  • BibTeX
Communication complexity : a new approach to circuit depth
ACM doctoral dissertation awards : 1988 (Alle Bände)
1989
Signatur: TVM2623
Open Access
    Datensatz exportieren als...
  • BibTeX
Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Using hard problems to create pseudorandom generators
ACM distinguished dissertations
1992
Signatur: TVM2851
    Datensatz exportieren als...
  • BibTeX
Automatische Komplexitätsanalyse funktionaler Programme
Informatik-Fachberichte : 261 (Alle Bände)
1990
Signatur: TVM2518
    Datensatz exportieren als...
  • BibTeX
Grundlagen offener Sprachen
Europäische Hochschulschriften : Reihe 41, Informatik : 9 (Alle Bände)
1993
Signatur: TVM3069
    Datensatz exportieren als...
  • BibTeX
Das Parsen von indizierten Sprachen
1988
Signatur: D1569
    Datensatz exportieren als...
  • BibTeX
Logische und funktionale Programmierung : Grundlagen einer Kombination
Künstliche Intelligenz
1991
Signatur: TVM2607
Open Access
    Datensatz exportieren als...
  • BibTeX
Controlled conspiracy number search [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Spezifikation und Generierung von Übersetzern für Graph-Sprachen durch attributierte Graph-Grammatiken
Reihe Informatik
1987
Signatur: TVM2047
    Datensatz exportieren als...
  • BibTeX
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
1988
Signatur: D455
Open Access
    Datensatz exportieren als...
  • BibTeX
Online-Planungsprobleme mit Fristen : Algorithmendesign und Analysen [Elektronische Ressource]
2000
Open Access
    Datensatz exportieren als...
  • BibTeX
Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen : Objektmodell, Algorithmen und Datenstrukturen [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Partielle Auswertung imperativer Sprachen
1992
Signatur: D7293
    Datensatz exportieren als...
  • BibTeX
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
1995
Signatur: TVM3661
    Datensatz exportieren als...
  • BibTeX
Kopierregelsemantik für SMALLTALK-80-artige Programmiersprachen
1992
Signatur: D7283
    Datensatz exportieren als...
  • BibTeX
Logic program synthesis from incomplete information
The Kluwer international series in engineering and computer science : 295 (Alle Bände)
1995
Signatur: TVM3718
1 – 25 von 51
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
Art des InhaltsHochschulschrift (Sonstige)
Suchergebnisse filtern
Filter anzeigen