Zoeken

U zocht naar: Auteur Majumdar, Rupak Filter Auteur: Majumdar, Rupak weghalen Taal Engels Filter Taal: Engels weghalen
1 - 6 van 6
Aantal zoekresultaten per pagina

Zoekresultaten

1. Runtime Verification
thumbnail
Full text!
Auteur:
Bartocci; Majumdar, Rupak
Uitgever:
Springer International Publishing 2015
Type:
e-book
2. Networked Systems
thumbnail
Full text!
Auteur:
Chryssis Georgiou; Majumdar, Rupak
Uitgever:
Springer International Publishing 2021
Type:
e-book
3. Hybrid Systems: Computation and Control
thumbnail
Full text!
Auteur:
Majumdar, Rupak; Kanade, Takeo; Tabuada, Paulo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
4. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Esparza, Javier; Kanade, Takeo; Majumdar, Rupak; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
5. Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
thumbnail
Full text!
Auteur:
Raskin, Jean-François.; Chatterjee, Krishnendu; Doyen, Laurent; Majumdar, Rupak
Uitgever:
Cham Springer 2023
Type:
e-book
6. Model Checking Software
thumbnail
Full text!
Auteur:
Havelund, Klaus; Kanade, Takeo; Majumdar, Rupak; Palsberg, Jens; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book