Results
|
|
Algorithms for robust control system design using optimization techniques and parallel computation (R) by Purohit, Harsh | Nataraj, P.S.V [Supervisor] | Indian Institute of Technology Bombay. Interdisciplinary Programem in Systems and Control Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Mumbai IIT 2018Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Interdisciplinary Programme in System and Control Engineering 2018 Availability: Items available for reference: Not for loan (1) Call number: 043:621-526:681.3.06 Pur.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Introduction to algorithms by Cormen, Thomas H. ...[et al.]. Edition: 3rd ed Language: English Publication details: New Delhi PHI Learning 2019Availability: Items available for loan: 1 Call number: 681.3.06 Cor(4).
|
|
|
Dependence analysis of functional programs and its applications (R) by Prasanna Kumar, K [Author] | Sanyal, Amitabha [Supervisor] | Karkare, Amey | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:517.1 Pra.
|
|
|
Optimization of data access from imperative programs using static analysis (R) by Emani, K. Venkatesh [Author] | Sudarshan, S [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.02:681.3.06 Ema.
|
|
|
Scaling up property checking (R) by Shrawankumar [Author] | Sanyal, Amitabha [Supervisor] | Khedker, Uday [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06 Shr.
|
|
|
Bidirectionality in flow-sensitive demand-driven analysis (R) by Jaiswal, Swati [Author] | Khedker, Uday P [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 681.3 Jai.
|