Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
395 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

395 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Text and speech triggered information access: 8th ELSNET Summer School, Chios Island, Greece, July 15 - 30, 2000 ; revised lectures
    [8th ELSNET European Summer School on Language and Speech Communication]. Steve Renals ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 42 öffnen
    Anwendung von Rewriting-Techniken in polyzyklischen Gruppen
    WißMann, Dieter
    1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 43 öffnen
    Parsing schemata: a framework for specification and analysis of parsing algorithms
    Klaas Sikkel
    Berlin [u.a.]: Springer, 1997
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 44 öffnen
    Rewriting techniques and applications: 11th international conference ; proceedings
    RTA 2000, Norwich, UK, July 10 - 12, 2000. Leo Bachmair (ed.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 45 öffnen
    It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free
    Paliath Narendran ; Friedrich Otto
    Kaiserslautern, 1987
    Monographie, Sonstiges, Gedruckte Ressource
  6. Detailansicht für Treffer 46 öffnen
    Proceedings / 39th Annual Symposium on Foundations of Computer Science: November 8 - 11, 1998, Palo Alto, California
    sponsored by IEEE Computer Society ..
    Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 1998
    Monographie, Konferenzschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 47 öffnen
    Rewriting techniques and applications: 10th international conference ; proceedings
    RTA-99, Trento, Italy, July 2 - 4, 1999. Paliath Narendran ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 48 öffnen
    Automata, languages and programming: 29th international colloquium ; proceedings
    ICALP 2002, Málaga, Spain, July 8 - 13, 2002. Peter Widmayer ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 49 öffnen
    Systems of reductions
    B. Benninghofen ; S. Kemmerich ; M. M. Richter
    Berlin [u.a.]: Springer, 1987
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 50 öffnen
    Teaching formal methods: proceedings
    CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18 - 19, 2004. C. Neville Dean ... (eds.)
    Berlin [u.a]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 51 öffnen
    Lindenmayer systems: impacts on theoretical computer science, computer graphics, and developmental biology
    G. Rozenberg ... (eds.)
    Berlin [u.a.]: Springer, 1992
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 52 öffnen
    From object orientation to formal methods: essays in memory of Ole-Johan Dahl
    Olaf Owe ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Festschrift, Aufsatzsammlung, Bibliografie, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 53 öffnen
    Rewriting techniques and applications: 15th international conference ; proceedings
    RTA 2004, Aachen, Germany, June 3 - 5, 2004. Vincent van Oostrom (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 54 öffnen
    Advances in natural language processing: 4th international conference ; proceedings
    EsTAL 2004, Alicante, Spain, October 20 - 22, 2004. José Luis Vicedo ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 55 öffnen
    Fundamentals of computation theory: 13th international symposium ; proceedings
    FCT 2001, Riga, Latvia, August 22 - 24, 2001. Rusins Freivalds (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 56 öffnen
    Automata theory: an engineering approach
    Igor Aleksander ; F. Keith Hanna
    New York: Crane Russak [u.a.], 1976
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 57 öffnen
    Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen
    Jürgen Avenhaus
    Berlin [u.a.]: Springer, 1995
    Monographie, Lehrbuch, Gedruckte Ressource
  18. Detailansicht für Treffer 58 öffnen
    Automata, languages and programming: 27th international colloquium ; proceedings
    ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000. Ugo Montanari ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 59 öffnen
    Logic, automata, and algorithms
    Mark A. Aiserman ..
    New York [u.a.]: Acad. Press, 1971
    Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 60 öffnen
    Zwei-Zähler-Automaten mit gekoppelten Bewegungen
    Burchard von Braunmühl
    1. Aufl.. - München [u.a.]: Oldenbourg, 1977
    Monographie, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -