Zum Inhalt springen

  3. Butler, Michael [Herausgeber:in]; Schulte, Wolfram [Sonstige Person, Familie und Körperschaft] ; FM 17 2011 Limerick

    FM 2011: formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings

    Bücher
    Online ansehen
    Schließen
    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 ; 6664

  6. Antoch, Jaromír [Herausgeber:in]

    Computational aspects of model choice

    Bücher
    Schließen

    Merkliste

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

    Heidelberg [u.a.]: Physica-Verlag [u.a.], 1993

    Erschienen in: Contributions to statistics

  10. Barthe, Gilles [Herausgeber:in] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Programming languages and systems : 20th European Symposium on Programming, ESOP 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
    Online ansehen
    Schließen
    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 ; 6602

  11. Troitzsch, Klaus G. [Herausgeber:in]; Mueller, Ulrich [Sonstige Person, Familie und Körperschaft]; Gilbert, G. Nigel [Sonstige Person, Familie und Körperschaft]; Doran, Jim E. [Sonstige Person, Familie und Körperschaft]

    Social science microsimulation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1996

  12. Meyer, John L. [Herausgeber:in]; Purdy, James A. [Sonstige Person, Familie und Körperschaft] ; San Francisco Cancer Symposium 29 1994 San Francisco, Calif

    3-D conformal radiotherapy : a new era in the irradiation of cancer; [papers from the 29th Annual San Francisco Cancer Symposium, Feb. 26-27, 1994]

    Bücher
    Schließen

    Merkliste

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

    Basel; Freiburg [u.a.]: Karger, 1996

    Erschienen in: Frontiers of radiation therapy and oncology ; 29

  17. Yu, Lean [Sonstige Person, Familie und Körperschaft]; Wang, Shouyang [Sonstige Person, Familie und Körperschaft]; Lai, Kin Keung [Sonstige Person, Familie und Körperschaft]; Zhou, Ligang [Sonstige Person, Familie und Körperschaft]

    Bio-inspired credit risk analysis : computational intelligence with support vector machines

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin; Heidelberg: Springer, 2008