Jump to main focus
Siegen University Library

Search results

Catalogue
73 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

Period of Publication

Access

Media Type

Source Type

Language

Subject

Subject Heading

73 Results

Sorting: 
  1. Open detailed title display for 1
    CompilerForCAP – Building and compiling categorical towers in algorithmic category theory
    vorgelegt von M.Sc. Fabian Zickgraf ; Betreuer und erster Gutachter: Prof. Dr. Mohamed Barakat, Universität Siegen
    Siegen, 2024
    Online Academic Publication, Monograph, Electronic Resource Open Access
    Access:
    OPUS Siegen Publikationen [Open Access] (Volltext)
    Volltext Volltext - Full Text (Open Access) Verlag - Full Text (Open Access)
  2. Open detailed title display for 2
    CompilerForCAP – Building and compiling categorical towers in algorithmic category theory
    vorgelegt von M.Sc. Fabian Zickgraf ; Betreuer und erster Gutachter: Prof. Dr. Mohamed Barakat, Universität Siegen
    Siegen, 2024
    Academic Publication, Monograph, Printed Resource
  3. Open detailed title display for 3
    Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
    by André Greiner-Petter
    1st ed. 2023. - Wiesbaden: Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg, 2023
    Online Monograph, Electronic Resource Open Access
    Access:
    Springer Technik, Informatik 2023 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Volltext
  4. Open detailed title display for 4
    Das Textverarbeitungssystem LaTeX: Eine praktische Einführung in die Erstellung wissenschaftlicher Dokumente
    von Marco Öchsner, Andreas Öchsner
    1. Aufl. 2015. - Wiesbaden: Springer Fachmedien Wiesbaden, 2015
    Online Monograph, Electronic Resource
    Access:
    Springer Technik, Informatik 2015 (Volltext)
    Volltext
  5. Open detailed title display for 5
    Compilers: principles, techniques, and tools
    Aho ..
    2. ed., Pearson new internat. ed.. - Harlow: Pearson, 2014
    Edited collection, Printed Resource
  6. Open detailed title display for 6
    Übersetzerbau: Band 2: Syntaktische und semantische Analyse
    von Reinhard Wilhelm, Helmut Seidl, Sebastian Hack
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    Online Monograph, Electronic Resource
    Access:
    Springer Technik, Informatik 2012 (Volltext)
    Volltext
  7. Open detailed title display for 7
    Compiler design: analysis and transformation
    Helmut Seidl ; Reinhard Wilhelm ; Sebastian Hack
    Berlin [u.a.]: Springer, 2012
    Monograph, Printed Resource
  8. Open detailed title display for 8
    Grundlagen und Techniken des Compilerbaus
    von Niklaus Wirth
    3., bearb. Aufl.. - München: Oldenbourg, 2011
    Monograph, Text book, Printed Resource
  9. Open detailed title display for 9
    Compiler design: virtual machines
    Reinhard Wilhelm ; Helmut Seidl
    Berlin [u.a.]: Springer, 2010
    Monograph, Printed Resource
  10. Open detailed title display for 10
    Bios-Profi-Know-how: Tuning, Troubleshooting und Hintergrundwissen
    [Hrsg.: Joachim Müller. Autoren: Reiner Backer ...]
    2., überarb. Aufl.. - Bonn: Fachverl. für Computerwissen, 2009
    Edited collection, Printed Resource
  11. Open detailed title display for 11
    Compiler: Prinzipien, Techniken und Werkzeuge
    Alfred V. Aho ... Fachl. Betreuung und Erw.: Michael Leuschel
    2., aktualisierte Aufl., German language ed.. - München [u.a.]: Pearson Studium, 2008
    Edited collection, Printed Resource
  12. Open detailed title display for 12
    Grundlagen und Techniken des Compilerbaus
    von Niklaus Wirth
    2., bearb. Aufl.. - München [u.a.]: Oldenbourg, 2008
    Monograph, Text book, Printed Resource
  13. Open detailed title display for 13
    Shell-Skript-Programmierung: [inklusive CD ; sh, ksh, bash, csh und tcsh ; awk ; die 100 wichtigsten UNIX-Tools ; Grafiken mit gnuplot ; Systemadministration und proaktives Systemmanagement]
    Patrick Ditchen
    3. Aufl.. - Heidelberg: Mitp, 2008
    Monograph, Register, Printed Resource
  14. Open detailed title display for 14
    The definitive ANTLR reference: building domain specific languages
    Terence Parr
    P3.0 print.. - Raleigh, NC [u.a.]: Pragmatic Bookshelf, 2008
    Monograph, Printed Resource
  15. Open detailed title display for 15
    Compilers: principles, techniques, & tools
    Alfred V. Aho ..
    2. ed.. - Boston [u.a.]: Pearson Addison-Wesley, 2007
    Edited collection, Printed Resource
  16. Open detailed title display for 16
    Shell-Skript-Programmierung: [Kommandos, Techniken, Konzepte ; die wichtigsten UNIX-Tools ; Lösungen für den Systemadministrator]
    Patrick Ditchen
    2. Aufl.. - Heidelberg: mitp, 2006
    Monograph, Register, Printed Resource
  17. Open detailed title display for 17
    Assembler-Programmierung: das Praxisbuch ; [das Standardwerk zu Assembler ; inkl. CD-ROM]
    Wolfgang Link
    Studienausg., 12., überarb. Aufl.. - Poing: Franzis, 2006
    Monograph, Printed Resource
  18. Open detailed title display for 18
    Modern compiler design
    Dick Grune ..
    Repr.. - Chichester [u.a.]: Wiley, 2006
    Edited collection, Printed Resource
  19. Open detailed title display for 19
    Bios-Profi-Know-how: Tuning, Troubleshooting und Hintergrundwissen ; PC-Hardware-Profi-Spezial
    [Hrsg.: Eduard Altmann. Autoren: Reiner Backer ...]
    Bonn: Fachverl. für Computerwissen, 2005
    Edited collection, Printed Resource
  20. Open detailed title display for 20
    GNU make
    Robert Mecklenburg
    Dt. Ausg., 1. Aufl.. - Beijing [u.a.]: O'Reilly, 2005
    Monograph, Printed Resource

Articles & more

E-Journals

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