Limit Search Results
Author
SpringerLink (Online service)
(24)
Nakagawa, Toshio. author.
(2)
Andreasen, Troels. editor.
(1)
Aragón, Gustavo. editor.
(1)
Arbitter, Peter. author.
(1)
Language
Publication Date
-
Subject
Computer system failures.
(16)
Software engineering.
(10)
Computer communication systems.
(5)
Artificial intelligence.
(4)
Computer security.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Information System Development Improving Enterprise Communication
Information System Development Improving Enterprise Communication
Author 
José Escalona, María. editor. Aragón, Gustavo. editor. Linger, Henry. editor. Lang, Michael. editor. (orcid)0000-0001-7961-2285 Barry, Chris. editor. (orcid)0000-0002-3664-8429
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07215-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Risk-Conscious Operations Management An Integrated Paradigm for Complex Engineering System
Risk-Conscious Operations Management An Integrated Paradigm for Complex Engineering System
Author 
Varde, Prabhakar V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9334-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Author 
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30690-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Simplicity is Complex Foundations of Cyber-Physical System Design
Simplicity is Complex Foundations of Cyber-Physical System Design
Author 
Kopetz, Hermann. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20411-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for From images to surfaces a computational study of the human early visual system
From images to surfaces a computational study of the human early visual system
Author 
Grimson, William Eric Leifur.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267272
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Which-Is-Better (WIB): Problems in Reliability Theory
Which-Is-Better (WIB): Problems in Reliability Theory
Author 
Mizutani, Satoshi. author. Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27316-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Applications in Reliability and Statistical Computing
Applications in Reliability and Statistical Computing
Author 
Pham, Hoang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21232-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Optimal Inspection Models with Their Applications
Optimal Inspection Models with Their Applications
Author 
Ito, Kodo. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22021-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Autonomous driving algorithms and Its IC Design
Autonomous driving algorithms and Its IC Design
Author 
Ren, Jianfeng. author. Xia, Dong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2897-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Author 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author 
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21759-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers
Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers
Author 
Ren, Rui. editor. Zheng, Chen. editor. Zhan, Jianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5910-1
Format: 
Availability 
Online Library~1
Available:
Copies: