Search

You searched for: Auteur Sankaranarayanan Remove constraint Auteur: Sankaranarayanan
« Previous | 1 - 10 of 13 |
Number of results to display per page

Search Results

1. Formal Modeling and Analysis of Timed Systems
thumbnail
Full text!
Author:
Sankaranarayanan; Vicario, Enrico
Publisher:
Springer International Publishing 2015
Format:
e-book
2. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Sankaranarayanan, Sriram; Sharygina, Natasha
Publisher:
Springer Nature Switzerland 2023
Format:
e-book
3. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Sankaranarayanan, Sriram; Sharygina, Natasha
Publisher:
Springer Nature Switzerland 2023
Format:
e-book
4. Switched Finite Time Control of a Class of Underactuated Systems
thumbnail
Full text!
Author:
Banavar, Ravi N.; Sankaranarayanan, Velupillai
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book
5. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
thumbnail
Full text!
Author:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Publisher:
Springer Nature 2025
Format:
e-book
6. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
thumbnail
Full text!
Author:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Publisher:
Springer Nature 2025
Format:
e-book
7. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
thumbnail
Full text!
Author:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Publisher:
Cham Springer 2025
Format:
e-book
8. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
thumbnail
Full text!
Author:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Publisher:
Cham Springer 2025
Format:
e-book
9. Biosafety Assessment of Probiotic Potential
thumbnail
Full text!
Author:
Dwivedi, Mitesh Kumar.; Amaresan, Natarajan; Begum, Rasheedunnisa; Sankaranarayanan, A.
Publisher:
New York, NY Springer 2022
Format:
e-book
10. Advances in Trichoderma Biology for Agricultural Applications
thumbnail
Full text!
Author:
Amaresan, N.; Druzhinina, Irina S.; Dwivedi, Mitesh Kumar; Sankaranarayanan, A.
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book