Search Results for Operating systems (Computers)

1.

Software Fault Detection and Correction: Modeling and Applications

Yazar

Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-1162-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Advanced Maintenance Policies for Shock and Damage Models

Yazar

Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

Yazar

Kochs, Hans-Dieter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-64991-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10575-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Dependable Multicore Architectures at Nanoscale

Yazar

Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54422-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Dependability of Networked Computer-based Systems

Yazar

Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-318-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Software Reliability Assessment with OR Applications

Yazar

Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-204-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

Yazar

Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-05465-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists

Yazar

Saunders, Sam C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-48538-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Stochastic Ageing and Dependence for Reliability

Yazar

Lai, Chin-Diew. author. Xie, Min. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-34232-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}