IMSc Library catalog › Results of search for 'su:"Software"'

			Recent developments in Numerical methods and Software for ODEs/DAEs/PDEs by Byrne,G D. Ed \| Schiesser,W E. Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 33, Shelf No: 29 Call number: 517.91 BYR. Place hold Log in to add tags
			Verification of sequential and concurrent programs by Apt, Krzysztof R \| Olderog, Ernst-Rudiger. Series: Texts and Monographs in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 32 Call number: 681.3.06 APT. Place hold Log in to add tags
			Foundations of Software Technology and Theoretical Computer Science, Fourth conference, Bangalore, India, December 1984, proceedings by Joseph, Mathai. Ed \| Shyamasunder, R. Ed. Series: Lecture notes in computer science ; 00181Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software Technology and Theoretical Computer Science, seventh conference, Pune, India, December 1987, procedings by Nori, Kesav V. Ed. Series: Lecture notes in computer science ; 00287Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 5 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 1989 : Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 1989, proceedings by Veni Madhavan, C E. (Ed.). Series: Lecture notes in computer science ; 405Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 1994:Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 1994, Proceedings by Thiagarajan, P S. Ed. Series: Lecture notes in computer science ; 880Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Germany ; Springer Verlag ; 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 1995: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 15th Conference, Bangalore, 1995 by Thiagarajan, P S. (Ed.). Series: Lecture notes in computer science ; 1026Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS. Place hold Log in to add tags
			Raise Development Method by RAISE Method Group. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; Prentice Hall ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 16 Call number: 681.3 RAIS. Place hold Log in to add tags
			Raise Specification Language Series: BCS Practioner SeriesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; Prentice Hall ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 16 Call number: 681.3 RAIS. Place hold Log in to add tags
			FST TCS 1996: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 16th Conference, Hyderabad, 1996 by Chandru, V. (Ed.) \| Vinay, V. (Ed.). Series: Lecture notes in computer science ; 1180Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			ESEC '87 Proceedings, ESE Conf., France, 1987 by Nichols, H K. Ed \| Simpson, D. Ed. Series: Lecture notes in computer science ; 00289Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 5 Call number: 681 LNCS. Place hold Log in to add tags
			Ada Software Tools Interfaces Proceedings, Workshop, Bath, 1983 by Wallis, Peter J L. Series: Lecture notes in computer science ; 00180Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			Software Engineering Education Proceedings, SEI Conf., Fairfax, Virginia, USA, 1988 by Ford, Gary A. Ed. Series: Lecture notes in computer science ; 00327Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS. Place hold Log in to add tags
			Software Reliability Modelling and Identification by Bittanti, Sergio. Ed. Series: Lecture notes in computer science ; 00341Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS. Place hold Log in to add tags
			ESEC '89 Proceedings, 2nd ESE Conf. Coventry, UK, 1989 by Ghezzi, C. Ed \| McDermid, J.A. Ed. Series: Lecture notes in computer science ; 00387Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS. Place hold Log in to add tags
			Software Engineering Education Proceedings, SEI Conf. 1989, Pennsylvania, USA, 1989 by Gibbs, Norman E. Ed. Series: Lecture notes in computer science ; 00376Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS. Place hold Log in to add tags
			VDM '90 - VDM and Z-Formal Methods in Software Development Proceedings, 3rd International Symp. Kiel, FRG, 1990 by Bjorner, D. Ed \| Hoare, C A R. Ed \| Langmaack, H. Ed. Series: Lecture notes in computer science ; 00428Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Software Engineering Education Proceedings, SEI Conference 1990, Pennsylvania, USA, 1990 by Deimel, Lionel E. Ed. Series: Lecture notes in computer science ; 00423Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Mastering PC Software : Lotus 1-2-3, WordStar and dBase III Plus by Agarwal, Ashok K \| Pershad, Dhananjay. Series: Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: India ; Universities Press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 11 Call number: 681.9 AGA. Place hold Log in to add tags
			FST TCS 1998: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 18th Conference, IMSc. & SPIC, 1998 by Arvind, V. (Ed.) \| Ramanujam, R. (Ed.). Series: Lecture notes in computer science ; 1530Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (2). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS. Lists: IMSc Faculty Publications (Books). Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 5696 results.