Your search returned 5 results.

Sort
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.

Pages

Powered by Koha