Search

Your search returned 37 results.

Results
		No cover image available Empirical redundancy analysis of object oriented coupling and cohesion metrics (R) by Pangtey, Manjeet Singh \| Joshi, Rushikesh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2012Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:512.8Pan. Add to cart (remove)
		No cover image available Revised approach to Pi2Promela translation (R) by Wagmode, Nitin Kumar \| Joshi, Rushikesh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2012Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06Wag. Add to cart (remove)
		No cover image available Implementing executable abstractions with T actions in Pi calculus (R) by Jain, Ankita \| Joshi, Rushikesh. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2013Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06Jai. Add to cart (remove)
		No cover image available Experiments and refinements over global-based and type-based objectification methods (R) by Sharma, Shruti \| Joshi, Rushikesh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2014Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06Sha. Add to cart (remove)
		No cover image available Automated system generation through viewpoints (R) by Patidar, Akanksha \| Joshi, Rushikesh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2014Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06Pat. Add to cart (remove)
		No cover image available Modeling aspects in Tropos based agent oriented requirement engineering (R) by Chakrawarthy, Kalyan \| Joshi, Rushikesh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2013Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:681.342Cha. Add to cart (remove)
		No cover image available Solving boolean satisfiability problem using orthonormal expansion (R) by Patil, Santosh \| Sule, Virendra R. and Joshi, Rushikesh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2014Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:512Pat. Add to cart (remove)

Powered by Koha