Your search returned 2 results.

Sort
Results
Algorithms for robust control system design using optimization techniques and parallel computation (R) by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Mumbai IIT 2018
Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Interdisciplinary Programme in System and Control Engineering 2018
Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:621-526:681.3.06 Pur.

Scaling up property checking (R) by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Bombay IIT 2019
Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019
Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:681.3.06 Shr.