Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(17)
Pham, Hoang. author.
(2)
Ahuja, Ravindra K. editor.
(1)
Allocco, Michael.
(1)
Avritzer, Alberto. editor.
(1)
Dil
Yayın Yılı
-
Konu
Software engineering.
(15)
Computer science.
(6)
Engineering.
(6)
Operating systems (Computers).
(4)
Industrial safety.
(3)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
25 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications için kapak resmi
Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications
Yazar 
Wienke, B. R. author. O'Leary, T. R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94054-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Handbook of Model Checking için kapak resmi
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:
3. 
Formal Methods for Safety and Security Case Studies for Aerospace Applications için kapak resmi
Formal Methods for Safety and Security Case Studies for Aerospace Applications
Yazar 
Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-4121-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Design for safety için kapak resmi
Design for safety
Yazar 
Gullo, Louis J., editor. Dixon, Jack, 1948- editor.
Yer Numarası 
TA169.7
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118974339
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
System safety engineering and risk assessment : a practical approach için kapak resmi
System safety engineering and risk assessment : a practical approach
Yazar 
Bahr, Nicholas J., author.
Yer Numarası 
T55 .B23 2015
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen için kapak resmi
Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen
Yazar 
Hahn, Axel. author. Häusler, Stefan. author. große Austing, Stephan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337101.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34510-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen için kapak resmi
Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen
Yazar 
Breckenfelder, Christof. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337705.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-01128-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Resilience Assessment and Evaluation of Computing Systems için kapak resmi
Resilience Assessment and Evaluation of Computing Systems
Yazar 
Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29032-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Simulator-based Human Factors Studies Across 25 Years The History of the Halden Man-Machine Laboratory için kapak resmi
Simulator-based Human Factors Studies Across 25 Years The History of the Halden Man-Machine Laboratory
Yazar 
Skjerve, Ann Britt. editor. Bye, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-003-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Model-Based Requirements Engineering için kapak resmi
Model-Based Requirements Engineering
Yazar 
Holt, Jon Perry, Simon A Brownsword, Mike
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBPC009E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers için kapak resmi
Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers
Yazar 
Setola, Roberto. editor. Geretshuber, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03552-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems için kapak resmi
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: