Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-6 of 6)
Majumdar, Rupak,
1
E-book
2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.


CAV (Conference) (29th : 2017 : Heidelberg, Germany)

Cham, Switzerland : Springer, 2017

Rating:

 
2
5
E-book
2021

Networked systems : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, proceedings


NETYS (Conference) (8th : 2020 : Online)

Cham, Switzerland : Springer, [2021]

Rating:

 
Add Marked to Bag Add All On Page
Locate in results