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
Syntaxanalyse
Reihe Informatik : 27 (Alle Bände)
3., durchges. Aufl, 1986
Signatur: TVM1635(3)
    Datensatz exportieren als...
  • BibTeX
Attributierte Grammatiken und Attributierungsalgorithmen
Informatik-Fachberichte : 157 (Alle Bände)
1988
Signatur: TVM2071
    Datensatz exportieren als...
  • BibTeX
Spielbaum-Suchverfahren
Informatik-Fachberichte : 200 (Alle Bände)
1989
Signatur: TVM2233
    Datensatz exportieren als...
  • BibTeX
Property testing and geometry
HNI-Verlagsschriftenreihe : 119 (Alle Bände)
2003
Signatur: TVI4340
    Datensatz exportieren als...
  • BibTeX
Grundlagen offener Sprachen
Europäische Hochschulschriften : Reihe 41, Informatik : 9 (Alle Bände)
1993
Signatur: TVM3069
    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
A distributed implementation of flat concurrent prolog on message passing multiprocessor systems
Teubner-Texte zur Informatik : 3 (Alle Bände)
1993
Signatur: TVM3035, P681
    Datensatz exportieren als...
  • BibTeX
Time and logic : a computational approach
1995
Signatur: TVM3603
    Datensatz exportieren als...
  • BibTeX
A survey of algebraic coding theory : lectures held at the Department for Automation and Information, July 1970
Courses and lectures / International Centre for Mechanical Sciences : 28 (Alle Bände)
1970 [erschienen] 1972
Signatur: TVM1148
    Datensatz exportieren als...
  • BibTeX
Algorithmic adventures : from knowledge to magic
2009
Signatur: TVM4659
    Datensatz exportieren als...
  • BibTeX
Handbook of formal languages
1997-
Signatur: TVM3920-...
    Datensatz exportieren als...
  • BibTeX
Computation as logic
Prentice-Hall international series in computer science
1. [Dr.], 1993
Signatur: TVM3310
    Datensatz exportieren als...
  • BibTeX
Handbook of formal languages. 1. Word, language, grammar
Handbook of formal languages (Alle Bände)
1997
Signatur: TVM3920-1
1 – 13 von 13
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
Autor / AutorinVardi, Moshe Y
SystemstelleTVM
Suchergebnisse filtern
Filter anzeigen