Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

14 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Developments in language theory: 10th international conference ; proceedings
    DLT 2006, Santa Barbara, CA, USA, June 26 - 29, 2006. Oscar H. Ibarra ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Computer science logic: 11th international workshop ; annual conference of the EACSL ; selected papers
    CSL '97, Aarhus, Denmark, August 23 - 29, 1997. Mogens Nielsen ... (eds.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Programming languages and systems: proceedings
    16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco de Nicola (ed.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Programming languages and systems: third Asian symposium ; proceedings
    APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005. Kwangkeun Yi (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Developments in language theory: 8th international conference ; proceedings
    DLT 2004, Auckland, New Zealand, December 13 - 17, 2004. [Cristian S. Calude ... (eds.)]
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  6. Detailansicht für Treffer 6 ö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
  7. Detailansicht für Treffer 7 öffnen
    Programming languages and systems
    14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005. Mooly Sagiv (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 ö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
  9. Detailansicht für Treffer 9 öffnen
    Fundamentals of computation theory, 7. International Conference FCT '89, Szeged, Hungary, August 21 - 25, 1989 : proceedings: FCT ; proceedings of the Conference on Algebraic, Arithmetic and Categorial Methods in Computation Theory
    International FCT Conference
    Berlin; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1979), 1989; 1979
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  10. Detailansicht für Treffer 10 öffnen
    Programming languages and systems: proceedings
    15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27 - 28, 2006. Peter Sestoft (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 ö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
  12. Detailansicht für Treffer 12 öffnen
    Programming languages and systems: proceedings
    13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. David Schmidt (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Developments in language theory: 9th international conference ; proceedings
    DLT 2005, Palermo, Italy, July 4 - 8, 2005. Clelia De Felice ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Formal modeling and analysis of timed systems: first international workshop ; revised papers
    FORMATS 2003, Marseille, France, September 6 - 7, 2003. Kim G. Larsen ... (eds.)
    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 -