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
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
Computation as logic
Prentice-Hall international series in computer science
1. [Dr.], 1993
Signatur: TVM3310
    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
Action semantics
Cambridge tracts in theoretical computer science : 26 (Alle Bände)
1992
Signatur: TVM2827
    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
Multiprocessor execution of logic programs
1994
Signatur: TVM3459
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Komplexität : mit 39 Beispielen und 104 Aufgaben
Informatik interaktiv
2003
Signatur: TVM4374
    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
Finite automata, formal logic, and circuit complexity
Progress in theoretical computer science : 11 (Alle Bände)
1994
Signatur: TVM3417
    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
Attributierte Grammatiken und Attributierungsalgorithmen
Informatik-Fachberichte : 157 (Alle Bände)
1988
Signatur: TVM2071
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Fifth Annual ACM SIAM Symposium on Discrete Algorithms : Arlington, Va., January 23 - 25, 1994
1994
Signatur: TVI3912
    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
Algorithmik
Spektrum-Lehrbuch
2001
Signatur: TVI4081
    Datensatz exportieren als...
  • BibTeX
The temporal logic of reactive and concurrent systems. 1. Specification
The temporal logic of reactive and concurrent systems (Alle Bände)
1992
Signatur: TVM4502-1
    Datensatz exportieren als...
  • BibTeX
Inductive logic programming : techniques and applications
Ellis Horwood series in artificial intelligence
1994
Signatur: TVM3289
    Datensatz exportieren als...
  • BibTeX
Automatische Komplexitätsanalyse funktionaler Programme
Informatik-Fachberichte : 261 (Alle Bände)
1990
Signatur: TVM2518
    Datensatz exportieren als...
  • BibTeX
Komplexitätstheorie. 1. Grundlagen : Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus
Komplexitätstheorie (Alle Bände)
2., völlig neubearb. und erw. Aufl, 1999
Signatur: TVM4162(2)-1
    Datensatz exportieren als...
  • BibTeX
Algorithmen in Java
Informatik
3., überarb. Aufl, 2003-
Signatur: TVI4104-DT,...
    Datensatz exportieren als...
  • BibTeX
Formale Sprachen : eine Einführung ; Skriptum für Hörer aller Fachrichtungen ab 3. Semester
Uni-Text
1977
Signatur: TVM1481
1 – 25 von 122
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen