Zum Inhalt springen

  4. Abdulla, Parosh Aziz [HerausgeberIn]; Leino, K. Rustan M. [Sonstige Person, Familie und Körperschaft] ; TACAS 17 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6605

  5. Abreu, Salvador [HerausgeberIn]; Seipel, Dietmar [Sonstige Person, Familie und Körperschaft] ; INAP 18 2009 Évora

    Applications of declarative programming and knowledge management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009: revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6547

  6. Problem solvers

    Zeitschriften / Zeitungen / Schriftenreihen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    London: Allen and Unwin, 1971-1974 / 1.1971 - 16.1974[?]

  7. Klein, Sanford [VerfasserIn]

    Engineering Equation Solver (ESS)

    Elektronische Ressourcen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    McGraw-Hill, 2012

  8. Funder, Lise [ZusammenstellendeR] ; Det Danske Kunstindustrimuseum

    Dansk sølv 1600 - 2000

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Copenhagen]: The Danish Museum of Decorative Art, 2002

  9. Norsk Bergverksmuseum Kongsberg, Sølv and Hitech-utstillingen 2 1997 Kongsberg

    Sølv & Hitech : 1997

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kongsberg: Norsk Bergverksmuseum [u.a.], 1997

  12. Toch, Hans [VerfasserIn]; Grant, James D. [VerfasserIn]

    Police as problem solvers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York [u.a.]: Plenum Pr., 1991

  13. Forbus, Kenneth D. [VerfasserIn]; Kleer, Johan de [VerfasserIn]

    Building problem solvers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge, Mass. [u.a.]: MIT Press, 19XX-

    Erschienen in: Artificial intelligence- A Bradford book

  17. Manning, William Albert [VerfasserIn]; Garnero, Robert S. [VerfasserIn]

    A fortran IV problem solver

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York [usw.], Düsseldorf: McGraw-Hill, 1970

  19. Monka-Ewe, Carsten [VerfasserIn] ; Schöbel, Jörg [AkademischeR BetreuerIn]; Enders, Achim [AkademischeR BetreuerIn]; Kleine-Ostmann, Thomas [AkademischeR BetreuerIn] Technische Universität Braunschweig, Eric Cuvillier Firma

    Mode matching solvers for filters and cavities - [1. Auflage]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Göttingen: Cuvillier Verlag, 2019

  20. Belle & Sebastian Musikgruppe, Belle & Sebastian Musikgruppe

    How to solve our human problems (1 CD)

    Audios
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY : Matador Records, 2017