Jump to main focus
Siegen University Library

Search results

Catalogue
13 Hits

Search mask

Search tip Catalogue: Search terms are automatically combined with AND. Combining terms with OR is achieved by using "|", combining terms with NOT needs a "-" (minus) in front of the term. Quotation marks can be used to search for phrases.
Examples: (castle | palace) -medieval, "vocational education"

Limit or broaden search results

Search filters set

13 Hits

Sorting: 
  1. Open detailed title display for 1
    Languages: from formal to natural: essays dedicated to Nissim Francez on the occasion of his 65th birthday
    Orna Grumberg ... (eds.)
    Berlin [u.a.]: Springer, 2009
    Festschrift, Conference proceedings, Edited collection, Printed Resource
  2. Open detailed title display for 2
    Functional and logic programming: proceedings
    9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Jacques Garrigue ... (eds.)
    Berlin [u.a.]: Springer, 2008
    Conference proceedings, Edited collection, Printed Resource
  3. Open detailed title display for 3
    Hybrid systems: computation and control ; 9th international workshop ; proceedings
    HSCC 2006, Santa Barbara, CA, USA, March 29 - 31, 2006. João Hespanha ... (eds.)
    Berlin [u.a.}: Springer, 2006
    Conference proceedings, Edited collection, Printed Resource
  4. Open detailed title display for 4
    Functional and logic programming: 8th international symposium ; proceedings
    FLOPS 2006, Fuji-Susono, Japan, April 24 - 26, 2006. Masami Hagiya ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Conference proceedings, Edited collection, Printed Resource
  5. Open detailed title display for 5
    Theory and application of graph transformations: 6th international workshop ; selected papers
    TAGT '98, Paderborn, Germany, November 16 - 20, 1998. Hartmut Ehrig ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Conference proceedings, Edited collection, Printed Resource
  6. Open detailed title display for 6
    Automata implementation: revised papers
    Third International Workshop on Implementing Automata, WIA '98, Rouen, France, September 17 - 19, 1998. Jean-Marc Champarnaud ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Conference proceedings, Edited collection, Printed Resource
  7. Open detailed title display for 7
    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
    Conference proceedings, Edited collection, Printed Resource
  8. Open detailed title display for 8
    Handbook of formal languages, 1. Word, language, grammar
    G. Rozenberg ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Edited collection, Part of a work, Printed Resource
  9. Open detailed title display for 9
    Handbook of formal languages, 2. Linear modeling : background and application
    G. Rozenberg ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Edited collection, Part of a work, Printed Resource
  10. Open detailed title display for 10
    Handbook of formal languages, 3. Beyond words
    G. Rozenberg ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Edited collection, Part of a work, Printed Resource
  11. Open detailed title display for 11
    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
    Conference proceedings, Edited collection, Printed Resource
  12. Open detailed title display for 12
    Automata, languages, and machines, B / Samuel Eilenberg. With two chapters by Bret Tilson
    Eilenberg, Samuel (1913-1998) ; Tilson, Bret (-2005)
    New York [u.a.]: Acad. Press, 1976
    Edited collection, Part of a work, Printed Resource
  13. Open detailed title display for 13
    Automata, languages, and machines, A / Samuel Eilenberg
    Eilenberg, Samuel (1913-1998) ; Tilson, Bret (-2005)
    New York [u.a.]: Acad. Press, 1974
    Edited collection, Part of a work, Printed Resource

Articles & more

E-Journals

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