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 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
    Datensatz exportieren als...
  • BibTeX
Commentary on standard ML
1991
Signatur: TVM2712
    Datensatz exportieren als...
  • BibTeX
Towards structured specifying : theory, practice, applications
Ellis Horwood books in information technology, Ellis Horwood series in software engineering
1989
Signatur: TVM2411
    Datensatz exportieren als...
  • BibTeX
Formale Sprachen
1978
Signatur: TVM1627
    Datensatz exportieren als...
  • BibTeX
Graph-Grammatiken : Theorie, Anwendungen, Implementierung
Studienbücher Informatik
1979
Signatur: TVM1669
    Datensatz exportieren als...
  • BibTeX
Kurs in logischer Programmierung
Springers angewandte Informatik
1990
Signatur: TVM2649
    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
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
1 – 25 von 121
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
SystemstelleZHV
Suchergebnisse filtern
Filter anzeigen