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
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
Intercalation theorems for pushdown store and stack languages
1979
Signatur: TVM1619
    Datensatz exportieren als...
  • BibTeX
Parallel logic programming
Logic programming
1991
Signatur: TVM2908
    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
String searching algorithms
Lecture notes series on computing : 3 (Alle Bände)
1994
Signatur: TVI3132
    Datensatz exportieren als...
  • BibTeX
A theory of programming language semantics
Signatur: TVM1449-...
    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
Algebraic coding theory
Rev. ed. [= 2. ed.], 1984
Signatur: TVM1318
Open Access
    Datensatz exportieren als...
  • BibTeX
Efficient collision detection for point and polygon based models [Elektronische Ressource]
2005
    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
Inductive logic programming : techniques and applications
Ellis Horwood series in artificial intelligence
1994
Signatur: TVM3289
    Datensatz exportieren als...
  • BibTeX
A practical introduction to denotational semantics
Cambridge computer science texts : 23 (Alle Bände)
1986
Signatur: TVM1978
    Datensatz exportieren als...
  • BibTeX
Automatische Komplexitätsanalyse funktionaler Programme
Informatik-Fachberichte : 261 (Alle Bände)
1990
Signatur: TVM2518
    Datensatz exportieren als...
  • BibTeX
An introduction to formal language theory
Texts and monographs in computer science : The AKM series in theoretical computer science
1988
Signatur: TVM2259
    Datensatz exportieren als...
  • BibTeX
Verification of sequential and concurrent programs
Graduate texts in computer science
2. ed, 1997
Signatur: TVM2568(2)
    Datensatz exportieren als...
  • BibTeX
Logic programming over polymorphically order-sorted types
1989
Signatur: D2127
Open Access
    Datensatz exportieren als...
  • BibTeX
Selfish routing in networks [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Algorithmic complexity and communication problems
1996
Signatur: TVM3831
    Datensatz exportieren als...
  • BibTeX
Algorithmen in Java
Informatik
3., überarb. Aufl, 2003-
Signatur: TVI4104-DT,...
    Datensatz exportieren als...
  • BibTeX
Randomness and Complexity
1996
Signatur: DQ2038
26 – 50 von 269
Suche als RSS-Feed
Aktive Filter
Art des InhaltsNicht angegeben
Suchergebnisse filtern
Filter anzeigen