Zum Inhalt springen

  1. Esparza, Javier [VerfasserIn]; Heljanko, Keijo [VerfasserIn]

    Unfoldings : a partial-order approach to model checking

    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: Springer, 2008

    Erschienen in: Monographs in theoretical computer science : an EATCS series

  2. Petris, Giovanni [VerfasserIn]; Petrone, Sonia [VerfasserIn]; Campagnoli, Patrizia [VerfasserIn]

    Dynamic linear models with R

    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, NY [u.a.]: Springer, 2009

    Erschienen in: Use R!

  3. Harvey, Andrew C. [HerausgeberIn]; Koopman, Siem Jan [Sonstige Person, Familie und Körperschaft]; Shephard, Neil G. [Sonstige Person, Familie und Körperschaft] ; Conference State Space and Unobserved Component Models 2002 Amsterdam

    State space and unobserved component models : theory and applications - [1. publ.]

    Bücher
    Schließen

    Merkliste

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

    Cambridge [u.a.]: Cambridge University Press, 2004

  4. Szilagyi, Jozsef [VerfasserIn]; Szöllösi-Nagy, András [VerfasserIn]

    Recursive streamflow forecasting : a state space approach

    Bücher
    Schließen

    Merkliste

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

    Boca Raton, Fla. [u.a.]: CRC [u.a.], 2010

    Erschienen in: Unesco-Ihe lecture note series

  5. Ungolo, Francesco [VerfasserIn]; Sherris, Michael [VerfasserIn]; Zhou, Yuxin [VerfasserIn]

    affine_mortality : A Github repository for estimation, analysis, and projection of affine mortality models

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    [S.l.]: SSRN, [2021]

    Erschienen in: UNSW Business School Research Paper

  6. Göller, Stefan [VerfasserIn]; Lohrey, Markus [VerfasserIn]

    Infinite state model checking of propositional dynamic logics

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Erschienen in: Technischer Bericht ; 2006,4

  7. He, Peilun [VerfasserIn]; Kordzakhia, Nino [VerfasserIn]; Peters, Gareth [VerfasserIn]; Shevchenko, Pavel V. [VerfasserIn]

    PDSim : A Shiny App for Polynomial Diffusion Model Simulation and Estimation

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    [S.l.]: SSRN, [2023]