Jump to main focus
Siegen University Library

Search results

Catalogue
37 Results

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

Period of Publication

Access

Media Type

Source Type

Language

Subject

Subject Heading

37 Results

Sorting: 
  1. Open detailed title display for 1
    On the knapsack problem and semilinear sets
    vorgelegt von Michael Figelius, M.Sc. ; Betreuer und erster Gutachter: Prof. Dr. Markus Lohrey, Universität Siegen
    Siegen, 2024
    Academic Publication, Monograph, Printed Resource
  2. Open detailed title display for 2
    On the knapsack problem and semilinear sets
    vorgelegt von Michael Figelius, M.Sc. ; Betreuer und erster Gutachter: Prof. Dr. Markus Lohrey, Universität Siegen
    Siegen, 2024
    Online Academic Publication, Monograph, Electronic Resource
    Access:
    OPUS Siegen Publikationen [Open Access] (Volltext)
    Volltext Volltext - Full Text (Open Access) Verlag - Full Text (Open Access)
  3. Open detailed title display for 3
    Language recognition in the sliding window model
    vorgelegt von Moses Ganardi M.Sc. ; Betreuer und erster Gutachter Prof. Dr. Markus Lohrey, Universität Siegen
    Siegen, 2019
    Monograph, Academic Publication, Printed Resource
  4. Open detailed title display for 4
    Language recognition in the sliding window model: = Formale Sprachen im Sliding-Window-Modell
    vorgelegt von Moses Ganardi M.Sc. ; Betreuer und erster Gutachter Prof. Dr. Markus Lohrey, Unoversität Siegen
    Siegen, 2019
    Online Monograph, Academic Publication, Electronic Resource
    Access:
    Volltext
    Volltext [kostenfrei] Verlag - Full Text (Open Access) Langzeitarchivierung Nationalbibliothek - Full Text (Open Access)
  5. Open detailed title display for 5
    Groups, languages, and automata
    Derek F. Holt (University of Warwick), Sarah Rees (University of Newcastle upon Tyne), Claas E. Röver (National University of Ireland, Galwa)
    Cambridge: Cambridge University Press, 2017
    Monograph, Printed Resource
  6. Open detailed title display for 6
    Formale Sprachen: endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
    Hans-Joachim Böckenhauer ; Jurai Hromkovič
    Wiesbaden: Springer Vieweg, 2013
    Monograph, Text book, Printed Resource
  7. Open detailed title display for 7
    A second course in formal languages and automata theory
    Jeffrey Shallit
    Cambridge [u.a.]: Cambridge Univ. Press, 2009
    Monograph, Text book, Printed Resource
  8. Open detailed title display for 8
    Elements of computation theory
    Arindama Singh
    Dordrecht [u.a.]: Springer, 2009
    Monograph, Printed Resource
  9. Open detailed title display for 9
    Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
    Christian Wagenknecht ; Michael Hielscher
    1. Aufl.. - Wiesbaden: Vieweg + Teubner, 2009
    Monograph, Text book, Printed Resource
  10. Open detailed title display for 10
    A course in formal languages, automata and groups
    Ian Chiswell
    London: Springer, 2009
    Monograph, Printed Resource
  11. Open detailed title display for 11
    A concise introduction to languages and machines
    Alan P. Parkes
    London: Springer, 2008
    Monograph, Introduction, Printed Resource
  12. Open detailed title display for 12
    Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie
    von Norbert Blum
    München [u.a.]: Oldenbourg, 2007
    Monograph, Text book, Printed Resource
  13. Open detailed title display for 13
    Automata theory with modern applications
    James A. Anderson
    Cambridge [u.a.]: Cambridge Univ. Press, 2006
    Monograph, Printed Resource
  14. Open detailed title display for 14
    Elements of finite model theory
    Leonid Libkin
    Berlin [u.a.]: Springer, 2004
    Monograph, Printed Resource
  15. Open detailed title display for 15
    Automated model building
    by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier
    Dordrecht [u.a.]: Kluwer Acad. Publ, 2004
    Monograph, Printed Resource
  16. Open detailed title display for 16
    The semantics and proof theory of the logic of bunched implications
    by David J. Pym
    Dordrecht [u.a.]: Kluwer Acad. Publ, 2002
    Monograph, Printed Resource
  17. Open detailed title display for 17
    Automata theory and its applications
    Khoussainov, Bakhadyr (1961-) ; Nerode, Anil (1932-)
    Boston [u.a.]: Birkhäuser, 2001
    Monograph, Printed Resource
  18. Open detailed title display for 18
    Type-theoretical grammar
    Aarne Ranta
    Reprint.. - Oxford: Clarendon Press, 2001
    Monograph, Printed Resource
  19. Open detailed title display for 19
    Formale Beschreibungsverfahren der Informatik: ein Arbeitsbuch für die Praxis
    von Helmut Eirund, Bernd Müller und Gerlinde Schreiber
    1. Aufl.. - Stuttgart [u.a.]: Teubner, 2000
    Monograph, Introduction, Printed Resource
  20. Open detailed title display for 20
    Automata and languages: theory and applications
    Alexander Meduna
    London [u.a.]: Springer, 2000
    Monograph, Printed Resource

Articles & more

E-Journals

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