Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

192 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Developments in language theory: 5th international conference ; revised papers
    DLT 2001, Wien, Austria, July 16 - 21, 2001. Werner Kuich ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 62 öffnen
    Automata implementation: revised papers
    Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18 - 20, 1997. Derick Wood ... (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 63 öffnen
    Automata implementation: revised papers
    First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996. Darrell Raymond ... (ed.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 64 öffnen
    Trends, techniques, and problems in theoretical computer science: selected contributions
    4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13 - 17, 1986. Alica Kelemenová ... (ed.)
    Berlin [u.a.]: Springer, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 65 öffnen
    Implementations of logic programming systems
    ed. by Evan Tick ..
    Boston [u.a.]: Kluwer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 66 öffnen
    Higher order algebra, logic, and term rewriting: selected papers
    Second International Workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995. Gilles Dowek ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 67 öffnen
    Algebraic and logic programming: second international conference, Nancy, France, October 1 - 3, 1990 ; proceedings
    H. Kirchner ... (ed.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 68 öffnen
    Developmental systems and languages
    by Gabor T. Herman and Grzegorz Rozenberg ; with a contribution by Aristid Lindenmayer
    Amsterdam [u.a.]: North-Holland Publ. Co. [u.a.], 1975
    Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 69 öffnen
    Developments in language theory: 7th international conference ; proceedings
    DLT 2003, Szeged, Hungary, July 7 - 11, 2003. Zoltán Ésik ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 70 öffnen
    Term rewriting and applications: 17th international conference ; proceedings
    RTA 2006, Seattle, WA, USA, August 12 - 14, 2006. Frank Pfenning (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 71 ö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
  12. Detailansicht für Treffer 72 ö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
  13. Detailansicht für Treffer 73 öffnen
    Constraint solving and language processing: first international workshop, CSLP 2004, Roskilde, Denmark, September 1 - 3, 2004 ; revised selected and invited papers
    [1st International Workshop on Constraint Solving and Language Processing]. Henning Christiansen ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  14. Detailansicht für Treffer 74 ö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
  15. Detailansicht für Treffer 75 ö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
  16. Detailansicht für Treffer 76 ö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
  17. Detailansicht für Treffer 77 öffnen
    Language prototyping: an algebraic specification approach
    eds.: Arie van Deursen ..
    Singapore [u.a.]: World Scientific, 1996
    Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 78 öffnen
    Automata networks in computer science: theory and applications
    [Workshop "Computation on Cellular Arrays: Theory and Applications", Paris on 19 - 20 September 1985]. Ed. by Françoise Fogelman Soulié ..
    Manchester: Manchester Univ. Pr, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 79 öffnen
    Computational logic in multi-agent systems: 7th international workshop ; revised selected and invited papers
    CLIMA VII, Hakodate, Japan, May 8 - 9, 2006. Katsumi Inoue ... (eds.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 80 öffnen
    Handbook of logic in computer science, 3. Semantic structures
    ed. by S. Abramsky ..
    Oxford: Clarendon Press [u.a.], 1994
    Sammelwerk, Teil eines Werkes, Gedruckte Ressource

Artikel & mehr

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