Search Results for

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1255 Results Found

1 .. 4 5 6 7 8 .. 105

000000000000DEFAULT

61.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Author

Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18744-6

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings

Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings

Author

Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-1078-6

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Author

Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23703-5

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings

Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings

Author

Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Bowditch, Lorelle. editor. Sprick, Cyle. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9582-7

Format:

Availability

Online Library~1

Available:
Copies:

65.

Transient Effects in Simulations of Hybrid Electric Drivetrains

Author

Winke, Florian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-22554-4

Format:

Availability

Online Library~1

Available:
Copies:

66.

Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings

Author

Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-37262-0

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Author

Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27008-7

Format:

Availability

Online Library~1

Available:
Copies:

68.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25540-4

Format:

Availability

Online Library~1

Available:
Copies:

69.

IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings

Author

Li, Bo. editor. Yang, Mao. editor. (orcid)0000-0001-6081-1006 Yuan, Hui. editor. (orcid)0000-0001-5212-3393 Yan, Zhongjiang. editor. (orcid)0000-0003-2806-5343 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14657-3

Format:

Availability

Online Library~1

Available:
Copies:

70.

The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science

Author

Geshi, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-9802-5

Format:

Availability

Online Library~1

Available:
Copies:

71.

Summer of Simulation 50 Years of Seminal Computer Simulation Research

Author

Sokolowski, John. editor. Durak, Umut. editor. Mustafee, Navonil. editor. Tolk, Andreas. editor. (orcid)0000-0002-4201-8757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17164-3

Format:

Availability

Online Library~1

Available:
Copies:

72.

Handbook of Model Predictive Control

Author

Raković, Saša V. editor. Levine, William S. editor. SpringerLink (Online service)