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
Algorithms and data structures : design, correctness, analysis
International computer science series
2. ed., repr, 1998
Signatur: TWX1163(2)
    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
Handbook of formal languages. 3. Beyond words
Handbook of formal languages (Alle Bände)
1997
Signatur: TVM3920-3
    Datensatz exportieren als...
  • BibTeX
Handbook of formal languages. 2. Linear modeling : background and application
Handbook of formal languages (Alle Bände)
1997
Signatur: TVM3920-2
    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
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
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
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
Verification of sequential and concurrent programs
Graduate texts in computer science
2. ed, 1997
Signatur: TVM2568(2)
26 – 50 von 278
Suche als RSS-Feed
Aktive Filter
Autor / AutorinBaier, Christel
Suchergebnisse filtern
Filter anzeigen