Search Results for Markov processes.

1.

Semi-Markov processes : applications in system reliability and maintenance

Yazar

Grabski, Franciszek, author.

Yer Numarası

ONLINE(355517.1)

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780128005187

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Probabilistic Graphical Models Principles and Applications

Yazar

Sucar, Luis Enrique. author. SpringerLink (Online service)

Yer Numarası

XX(518484.1)

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6699-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Asia Pacific Business Process Management Third Asia Pacific Conference, AP-BPM 2015, Busan, South Korea, June 24-26, 2015, Proceedings

Yazar

Bae, Joonsoo. editor. Suriadi, Suriadi. editor. Wen, Lijie. editor. SpringerLink (Online service)

Yer Numarası

XX(518540.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19509-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings

Yazar

Aveiro, David. editor. Pergl, Robert. editor. Valenta, Michal. editor. SpringerLink (Online service)

Yer Numarası

XX(518564.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19297-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers

Yazar

Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)

Yer Numarası

XX(518625.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-15895-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Yazar

Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)

Yer Numarası

XX(518917.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-20239-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Yazar

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Yer Numarası

XX(519225.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-47666-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Yazar

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Yer Numarası

XX(519007.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-21690-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

XX(519046.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-24644-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Yazar

Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)

Yer Numarası

XX(519078.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-15201-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}