bib.howest.be Zoekresultaten

U zocht naar: Auteur Sankaranarayanan

« Vorige | 1 - 10 van 13 | Volgende »

1. Formal Modeling and Analysis of Timed Systems

Auteur:: Sankaranarayanan; Vicario, Enrico
Uitgever:: Springer International Publishing 2015
Type:: e-book

2. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Sankaranarayanan, Sriram; Sharygina, Natasha
Uitgever:: Springer Nature Switzerland 2023
Type:: e-book

3. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Sankaranarayanan, Sriram; Sharygina, Natasha
Uitgever:: Springer Nature Switzerland 2023
Type:: e-book

4. Switched Finite Time Control of a Class of Underactuated Systems

Auteur:: Banavar, Ravi N.; Sankaranarayanan, Velupillai
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

5. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

Auteur:: S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Uitgever:: Springer Nature 2025
Type:: e-book

6. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

Auteur:: S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Uitgever:: Springer Nature 2025
Type:: e-book

7. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Auteur:: Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Uitgever:: Cham Springer 2025
Type:: e-book

8. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Auteur:: Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Uitgever:: Cham Springer 2025
Type:: e-book

9. Biosafety Assessment of Probiotic Potential

Auteur:: Dwivedi, Mitesh Kumar.; Amaresan, Natarajan; Begum, Rasheedunnisa; Sankaranarayanan, A.
Uitgever:: New York, NY Springer 2022
Type:: e-book

10. Advances in Trichoderma Biology for Agricultural Applications

Auteur:: Amaresan, N.; Druzhinina, Irina S.; Dwivedi, Mitesh Kumar; Sankaranarayanan, A.
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book