Results
|
|
|
|
|
NASA formal methods : 7th international symposium, NFM, proceedings, Pasadena, CA, USA, April 27-29, 2015 (e-book) by Havelund, Klaus [Editor] | Holzmann, Gerard [Editor] | Joshi, Rajeev [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9058 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .
|
|
|
|
|
|
Ontological framework for software architecture modeling (R) by Kiwelekar, Arvind W [Author] | Joshi, Rushikesh K [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. 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.06 Kiw.
|
|
|
Software architecture for modelling and simulation of continuous engineering systems (R) by Hanumantha Rao, S [Author] | Sivakumar, G [ Supervisor] | Moudgalya, Kannan M [ Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Mumbai IIT 1998Dissertation note: Thesis
Ph.D.
Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1998 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:62 Han.
|
|
|
Semidefinite representation of convex sets (R) by Ghosh, Anusuya [Author] | Narayanan, Vishnu [Supervisor] | Indian Institute of Technology Bombay Interdisciplinary Programme in Industrial Engineering and Operations Research. Language: English Publication details: Mumbai IIT 2016Dissertation note: Thesis
Ph.D.
Indian Institute of Technology Bombay. Industrial Engineering and Operations Research 2016 Availability: Items available for reference: Not for loan (1) Call number: 043:519.3:681.3.06 Gho.
|
|
|
|
|
|
|
|
|
Understanding free and open source by Gavande, Ashish | Pangerkar, Prakash [Editor] | D'souza, Joyson [Editor]. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Mumbai Ashish Gavande 2017Availability: Items available for loan: 1 Call number: 681.3.06 Gav.
|
|
|
Python programming by Niveditha, V.R. ...[et al.] [Author]. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Chennai Jupiter Publications Consortium 2021Availability: Items available for loan: 1 Call number: 681.3.06 Niv.
|