Jump to main focus
Siegen University Library

Search results

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

10 Results

Sorting: 
  1. Open detailed title display for 1
    Concurrency: the works of Leslie Lamport
    Dahlia Malkhi, editor, VMware Research and Calibra
    First edition. - [New York]: ACM, [2019]
    Edited collection, Printed Resource
  2. Open detailed title display for 2
    Touch of class: learning to program well with objects and contracts
    Bertrand Meyer
    Berlin [u.a.]: Springer, 2009
    Monograph, Text book, Printed Resource
  3. Open detailed title display for 3
    Aspects of complexity: minicourses in algorithmics, complexity and computational algebra
    Mathematics Workshop, Kaikoura, January 7 - 15, 2000. Ed. Rod Downey ..
    Berlin [u.a.]: de Gruyter, 2001
    Conference proceedings, Edited collection, Printed Resource
  4. Open detailed title display for 4
    Complexity: knots, colourings and counting
    D. J. A. Welsh
    Cambridge [u.a.]: Cambridge Univ. Press, 1993
    Monograph, Printed Resource
  5. Open detailed title display for 5
    Software engineering mathematics: formal methods demystified
    Jim Woodcock ; Martin Loomes
    London: Pitman, 1988
    Monograph, Introduction, Printed Resource
  6. Open detailed title display for 6
    Abstract data types: their specification, representation, and use
    Pete Thomas, Hugh Robinson, and Judy Emms
    Oxford: Clarendon Pr. [u.a.], 1988
    Monograph, Printed Resource
  7. Open detailed title display for 7
    SPEZIFIKATION UND VERIFIKATION ABSTRAKTER DATENTYPEN
    KLAUS BOTHE
    BERLIN-ADLERSHOF: AKADEMIE D. WISS. D. DDR, ZENTRUM FUER RECHENTECHNIK, 1978
    Monograph, Printed Resource
  8. Open detailed title display for 8
    Künstliche Intelligenz und heuristisches Programmieren
    hrsg. von Nicholas V. Findler
    Erw. Bearb. d. engl. Ausg.. - Wien [u.a.]: Springer, 1975
    Conference proceedings, Edited collection, Printed Resource
  9. Open detailed title display for 9
    Symposium on Semantics of Algorithmic Languages
    ed. by E. Engeler
    Berlin [u.a.]: Springer, 1971
    Conference proceedings, Edited collection, Printed Resource
  10. Open detailed title display for 10
    Mathematische Linguistik: eine Einführung
    M. Gross ; A. Lentin
    Berlin [u.a.]: Springer, 1971
    Monograph, Printed Resource

Articles & more

E-Journals

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