26 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
1. 
Concise Guide to Software Testing için kapak resmi
Concise Guide to Software Testing
Concise Guide to Software Testing
Yazar 
O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-030-28494-7
Format: 
Electronic Resources
Alıntı: 
Industrial safety.
2. 
Agile Risk Management için kapak resmi
Agile Risk Management
Agile Risk Management
Yazar 
Moran, Alan. author.
http://dx.doi.org/10.1007/978-3-319-05008-9
Format: 
Electronic Resources
Alıntı: 
Industrial safety.
3. 
OSS Reliability Measurement and Assessment için kapak resmi
OSS Reliability Measurement and Assessment
OSS Reliability Measurement and Assessment
Yazar 
Yamada, Shigeru. author.
http://dx.doi.org/10.1007/978-3-319-31818-9
Format: 
Electronic Resources
Alıntı: 
Industrial safety.
4. 
Software Design for Resilient Computer Systems için kapak resmi
Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Yazar 
Schagaev, Igor. author.
http://dx.doi.org/10.1007/978-3-319-29465-0
Format: 
Electronic Resources
Alıntı: 
Industrial safety.
8. 
Software Fault Detection and Correction: Modeling and Applications için kapak resmi
Software Fault Detection and Correction: Modeling and Applications
Software Fault Detection and Correction: Modeling and Applications
Yazar 
Peng, Rui. author.
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Modeling and Industrial Mathematics. http://scigraph.springernature.com/things/product
9. 
Towards Autonomous Robotic Systems 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017, Proceedings için kapak resmi
Towards Autonomous Robotic Systems 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017, Proceedings
Towards Autonomous Robotic Systems 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017, Proceedings
Yazar 
Gao, Yang. editor.
https://doi.org/10.1007/978-3-319-64107-2
Format: 
Electronic Resources
Alıntı: 
; human-robot interaction; robotic learning and imitation; robot navigation, planning and safety; humanoid and
11. 
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures için kapak resmi
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Yazar 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-319-56841-6
Format: 
Electronic Resources
Alıntı: 
; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive
12. 
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings için kapak resmi
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
Yazar 
Nakajima, Shin. editor.
https://doi.org/10.1007/978-981-10-4436-6
Format: 
Electronic Resources
Alıntı: 
effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace
Tümünü Seç
26 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(26)
Bergsmann, Johannes. editor.
(2)
Biffl, Stefan. editor.
(2)
Beetz, Jakob. editor.
(1)
Biro, Miklos. editor.
(1)
Format
Dil
Basım Yılı
Konu
Computer science.
(13)
Logics and Meanings of Programs.
(8)
Computer logic.
(7)
Quality Control, Reliability, Safety and Risk.
(7)
Industrial safety.
(6)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope