Results
|
|
Complete local logics for reasoning about traces (R) by Adsul, Bharat [Author] | Sohoni, Milind [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Mumbai IIT 2004Dissertation note: Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2004 Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8:517.1 Ads.
|
|
|
Complementary pivot algorithms for market equilibria (R) by Garg, Jugal [Author] | Sohani, Milind [Supervisor] | Adsul, Bharat [Supervisor] | Indian Institute of Technology Bombay Department of Computer Science and Engineering. Language: English Publication details: Bombay ; IIT ; 2012Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2012 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:330.18 Gar.
|
|
|
Nash equilibrium computation in various games (R) by Mehta, Ruta [Author] | Sohani, Milind [Supervisor] | Adsul, Bharat [Supervisor]. Language: English Publication details: Mumbai IIT 2012Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering. 2012 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:519.28 Meh.
|
|
|
Solid sweeps in computer aided geometric design (R) by Chandrakant, Machchhar Jinesh [Author] | Sohoni, Milind [Supervisor] | Adsul, Bharat [Supervisor]. Language: English Publication details: Mumbai IIT 2015Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering. 2015 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:621.385.832 Cha.
|
|
|
Generalization of the Los-Tarski preservation theorem (R) by Sankaran, Abhisekh [Author] | Chakraborty, Supratik [Supervisor] | Adsul, Bharat [Supervisor] | Indian Institute of Technology Bombay Department of Computer Science and Engineering. Language: English Publication details: Bombay ; IIT ; 2016Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2016 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:517.1San.
|