Search Results for Stochastic systems.

105 Results Found

1 .. 4 5 6 7 8 9

000000000000DEFAULT

61.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Author

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520984.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33170-1

Format:

Availability

Online Library~1

Available:
Copies:

62.

Distributed Optimization in Networked Systems Algorithms and Applications

Author

Lü, Qingguo. author. Liao, Xiaofeng. author. Li, Huaqing. author. Deng, Shaojiang. author. Gao, Shanfu. author.

Preferred Shelf Number

XX(520208.1)

Electronic Access

https://doi.org/10.1007/978-981-19-8559-1

Format:

Availability

Online Library~1

Available:
Copies:

63.

Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings

Author

Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520457.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34899-0

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520843.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30823-9

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I

Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I

Author

Nicosia, Giuseppe. editor. Ojha, Varun. editor. La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos. editor.

Preferred Shelf Number

XX(520891.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25599-1

Format:

Availability

Online Library~1

Available:
Copies:

66.

Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part II

Author

Nicosia, Giuseppe. editor. Ojha, Varun. editor. La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos. editor.

Preferred Shelf Number

XX(520894.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25891-6

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings

Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings

Author

Fang, Fei. editor. Xu, Haifeng. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520809.1)

Electronic Access

https://doi.org/10.1007/978-3-031-26369-9

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Author

Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520949.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33620-1

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings

Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings

Author

Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521118.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42250-8

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

Author

Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521122.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41620-0

Format:

Availability

Online Library~1

Available:
Copies:

71.

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Author

Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521209.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44267-4

Format:

Availability

Online Library~1

Available:
Copies:

72.

Guide to Simulation and Modeling for Biosciences

Author

Barnes, David J. author. Chu, Dominique. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518671.1)

Electronic Access

https://doi.org/10.1007/978-1-4471-6762-4

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 4 5 6 7 8 9

	{displayName}	{count}
{error}