Skip to contents

  9. Meyer, Carl D. [Editor] ; Workshop Linear Algebra, Markov Chains, and Queueing Models 1992 Minneapolis, Minn

    Linear algebra, Markov chains, and queueing models : [... some of the lectures given at the Workshop Linear Algebra, Markov Chains, and Queueing Models held January 13 - 17, 1992, as part of the Year of Applied Linear Algebra at the Institute for Mathematics and Its Applications]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York; Berlin; Heidelberg [u.a.]: Springer, 1993

    Published in: University of Minnesota: The IMA volumes in mathematics and its applications ; 48

  10. Scholz-Reiter, Bernd [Editor]

    Process modelling : with 36 tables

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1999

  12. Ponse, Alban [Editor]; Verhoef, C. [Other]; Vlijmen, S. Van [Other] ; Algebra of communicating processes 1, 1994, Utrecht, The Netherlands, Workshop on the Algebra of Communicating Processes 1 1994 Utrecht

    Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    London; Berlin; Heidelberg [u.a.]: Springer, 1995

    Published in: Workshops in Computing

  13. Aceto, Luca [Author]

    Action refinement in process algebras

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cambridge: Cambridge University Press, 1992

    Published in: Distinguished Dissertations in Computer Science

  14. Giannakopoulou, Dimitra [Editor]; Orejas, Fernando [Other] ; FASE 14 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Fundamental approaches to software engineering : 14th international conference, FASE 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6603

  16. Borovkov, K. A. [Author] ; Borovkov, Konstantin A. [Other]

    Elements of stochastic modelling - [2. ed.]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New Jersey [u.a.]: World Scientific, 2014

  18. Ferreira, Fernando [Editor]; Löwe, Benedikt [Other]; Mayordomo, Elvira [Other]; Mendes Gomes, Luís [Other] ; Conference on Computability in Europe 6 2010 Ponta Delgada

    Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6158

  19. Kennedy, Douglas [Author]

    Stochastic financial models

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Boca Raton [u.a.]: CRC Press, Taylor & Francis, 2010

    Published in: Chapman & Hall/CRC financial mathematics series- A Chapman & Hall book