Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
385 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

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

385 Treffer

Sortierung: 
  1. Detailansicht für Treffer 81 öffnen
    Fundamentals of computation theory: 14th international symposium ; proceedings
    FCT 2003, Malmö, Sweden, August 12 - 15, 2003. Andrzej Lingas ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 82 öffnen
    Rewriting techniques and applications: 9th international conference ; proceedings
    RTA-98, Tsukuba, Japan, March 28 - April 1, 1998. Tobias Nipkow (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 83 öffnen
    Rewriting techniques and applications: proceedings
    5th International Conference, RTA-93, Montreal, Canada, June 16 - 18, 1993. Claude Kirchner (ed.)
    Berlin [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 84 öffnen
    Advances in natural language processing: third international conference, PorTAL 2002, Faro, Portugal, June 23 - 26, 2002 ; proceedings
    Elisabete Ranchhod ... (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 85 öffnen
    Abstrakte Automaten
    Peter H. Starke
    Berlin: Dt. Verl. der Wiss, 1969
    Monographie, Hochschulschrift, Gedruckte Ressource
  6. Detailansicht für Treffer 86 öffnen
    Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    von John E. Hopcroft und Jeffrey D. Ullman
    4., durchges. Aufl.. - München [u.a.]: Oldenbourg, 2000
    Monographie, Lehrbuch, Gedruckte Ressource
  7. Detailansicht für Treffer 87 öffnen
    Cellular automata machines: a new environment for modeling
    Tommaso Toffoli ; Norman Margolus
    Cambridge, Mass. [u.a.]: MIT Press, 1987
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 88 öffnen
    Computation with finitely presented groups
    Charles C. Sims
    Cambridge [u.a.]: Cambridge Univ. Press, 1994
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 89 öffnen
    Computational logic in multi-agent systems: 5th international workshop ; revised selected and invited papers
    CLIMA V, Lisbon, Portugal, September 29 - 30, 2004. João Leite ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 90 öffnen
    Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    John E. Hopcroft ; Jeffrey D. Ullman
    2. Aufl., 1. Nachdr.. - Bonn [u.a.]: Addison-Wesley, 1992
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 91 ö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
  12. Detailansicht für Treffer 92 ö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
  13. Detailansicht für Treffer 93 ö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
  14. Detailansicht für Treffer 94 ö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
  15. Detailansicht für Treffer 95 ö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
  16. Detailansicht für Treffer 96 öffnen
    Systems of reductions
    B. Benninghofen ; S. Kemmerich ; M. M. Richter
    Berlin [u.a.]: Springer, 1987
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 97 ö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
  18. Detailansicht für Treffer 98 ö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
  19. Detailansicht für Treffer 99 ö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
  20. Detailansicht für Treffer 100 ö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

Artikel & mehr

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