Book serie: / Книги серии: Lecture Notes in Computer Science 13371 » Page 37 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 13371 » Page 37

book Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

pdf

Author: Sharon Shoham Yakir Vizel
Language: English
Year: 2022

00

16.02.2024

0

0

book Road Vehicle Automation 10

Road Vehicle Automation 10

pdf

Author: Gereon Meyer Sven Beiker
Language: English
Year: 2023

00

16.02.2024

1

0

book ELECTRIMACS 2022: Selected Papers – Volume 1

ELECTRIMACS 2022: Selected Papers – Volume 1

pdf

Author: Serge Pierfederici Jean-Philippe Martin
Language: English
Year: 2023

00

16.02.2024

2

0

book Carbon Nanotubes: Functionalization and Potential Applications

Carbon Nanotubes: Functionalization and Potential Applications

pdf

Author: Ann Rose Abraham Soney C. George A. K. Haghi
Language: English
Year: 2022

00

16.02.2024

1

0

book International Conference on Advanced Intelligent Systems for Sustainable Development: Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

International Conference on Advanced Intelligent Systems for Sustainable Development: Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

pdf

Author: Janusz Kacprzyk Mostafa Ezziyyani Valentina Emilia Balas
Language: English
Year: 2023

00

16.02.2024

0

0

book Advancing Sports and Exercise via Innovation: Proceedings of the 9th Asian South Pacific Association of Sport Psychology International Congress (ASPASP) 2022, Kuching, Malaysia

Advancing Sports and Exercise via Innovation: Proceedings of the 9th Asian South Pacific Association of Sport Psychology International Congress (ASPASP) 2022, Kuching, Malaysia

pdf

Author: Garry Kuan Yu-Kai Chang Tony Morris Teo Eng Wah Rabiu Muazu Musa Anwar P. P. Abdul Majeed
Language: English
Year: 2023

00

16.02.2024

0

0

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

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

pdf

Author: Kristin Yvonne Rozier Swarat Chaudhuri
Language: English
Year: 2023

00

16.02.2024

0

0

book Refined Large Deviation Limit Theorems

Refined Large Deviation Limit Theorems

pdf

Author: Vladimir Vinogradov
Language: English
Year: 2019

00

16.02.2024

0

0

book Mathematical Modeling and Simulation of Systems: Selected Papers of 17th International Conference, MODS, November 14-16, 2022, Chernihiv, Ukraine

Mathematical Modeling and Simulation of Systems: Selected Papers of 17th International Conference, MODS, November 14-16, 2022, Chernihiv, Ukraine

pdf

Author: Serhiy Shkarlet Anatoliy Morozov Alexander Palagin Dmitri Vinnikov Nikolai Stoianov Mark Zhelezniak Volodymyr Kazymyr
Language: English
Year: 2023

00

16.02.2024

2

0

book Current Problems in Applied Mathematics and Computer Science and Systems

Current Problems in Applied Mathematics and Computer Science and Systems

pdf

Author: Anatoly Alikhanov Pavel Lyakhov Irina Samoylenko
Language: English
Year: 2023

00

16.02.2024

0

0