Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

19 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
    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
  3. Detailansicht für Treffer 3 öffnen
    Formal models and semantics
    ed. by Jan van Leeuwen
    Amsterdam [u.a.]: Elsevier [u.a.], 1990
    Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 ö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
  5. Detailansicht für Treffer 5 ö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
  6. Detailansicht für Treffer 6 öffnen
    Categories, types and structures: an introduction to category theory for the working computer scientist
    Andrea Asperti ; Giuseppe Longo
    Cambridge, Mass. [u.a.]: MIT Press, 1991
    Monographie, Einführung, Gedruckte Ressource
  7. Detailansicht für Treffer 7 ö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
  8. Detailansicht für Treffer 8 ö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
  9. Detailansicht für Treffer 9 ö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
  10. Detailansicht für Treffer 10 ö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
  11. Detailansicht für Treffer 11 öffnen
    Logic and language models for computer science
    Dana Richards, Henry Hamburger (George Mason University, USA)
    Third edition. - New Jersey, London, Singapore, Beijing, Shanghai, Hong Kong, Taipei, Chennai, Tokyo: World Scientific, [2018]
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 ö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
  13. Detailansicht für Treffer 13 ö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
  14. Detailansicht für Treffer 14 ö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
  15. Detailansicht für Treffer 15 ö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
  16. Detailansicht für Treffer 16 ö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
  17. Detailansicht für Treffer 17 öffnen
    Foundations for programming languages
    John C. Mitchell
    Cambridge, Mass. [u.a.]: MIT Press, 1996
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 ö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
  19. Detailansicht für Treffer 19 öffnen
    Simple program schemes and formal languages
    Joost Engelfriet
    Berlin [u.a.]: Springer, 1974
    Monographie, Gedruckte Ressource

Artikel & mehr

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