Yazar
Sriram Sankaranarayanan
5 cilt bulundu.
Cilt sonuçları
Formal Modeling and Analysis of Timed Systems
Sriram Sankaranarayanan, Enrico Vicario · Springer
326 sayfa · 2015
Computer simulation / System analysis
Verification, Model Checking, and Abstract Interpretation
Sriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan · Springer
Sayfa sayısı yok · 2025
Kategori yok
Integer Programming Games
Margarida Carvalho, Gabriele Dragotto, Andrea Lodi, Sriram Sankaranarayanan · Now Publishers
140 sayfa · 2025
Kategori yok