Smart Transportation Systems 2023: Proceedings of 6th KES-STS International Symposium 9789819932849, 9789819932832, 981993284X

Smart Transportation Systems 2023: Proceedings of 6th KES-STS International Symposium 9819932831, 9789819932832

This book gathers selected papers presented at the KES International Symposium on Smart Transportation Systems (KES STS

198 86 7MB Read more

Smart Transportation Systems 2020: Proceedings of 3rd KES-STS International Symposium [1st ed.] 9789811552694, 9789811552700

This book gathers selected papers presented at the KES International Symposium on Smart Transportation Systems (KES STS

434 105 6MB Read more

International Symposium for Intelligent Transportation and Smart City (ITASC) 2019 Proceedings: Branch of ISADS (The International Symposium on Autonomous Decentralized Systems) [1st ed.] 978-981-13-7541-5;978-981-13-7542-2

This book presents research advances in intelligent transportation and smart cities in detail, mainly focusing on green

454 71 37MB Read more

Static Analysis. 30th International Symposium, SAS 2023 Cascais, Portugal, October 22–24, 2023 Proceedings 9783031442445, 9783031442452

140 102 Read more

Catalyst Deactivation 1994: Proceedings of the 6th International Symposium, Ostend [1 ed.] 0444816828, 9780444816825, 9780080887388

Catalyst Deactivation 1994 was an expansion of earlier, highly successful symposia. The objective of the symposium was t

379 25 78MB Read more

Algorithms and Data Structures. 18th International Symposium, WADS 2023 Montreal, QC, Canada, July 31 – August 2, 2023 Proceedings 9783031389054, 9783031389061

184 32 16MB Read more

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings 3031321561, 9783031321566

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023

355 17 6MB Read more

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings 3031331699, 9783031331695

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Hous

379 29 19MB Read more

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings 9783031321573, 9783031321566, 303132157X

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023

320 32 18MB Read more

Modelling and Implementation of Complex Systems: Proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24‐26, 2020 [1st ed.] 9783030588601, 9783030588618

This proceedings book gives a new vision and real progress towards more difficult problems resolution. In trying to solv

311 101 10MB Read more