Your search returned 5696 results.

Not what you expected? Check for suggestions
BOOKS
ZD Net Software Library 10,000

by Gralla, Preston.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Macmillan ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 16 Call number: 681.9 GRA.

Place hold Log in to add tags
BOOKS
Design Patterns : Elements of Reusable Object-Oriented Software

by Gamma, Erich., Helm, Richard | Johnson, Ralph | Vissides, John.

Series: Addison-Wesley Professional Computing SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: India ; Addison-Wesley ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 15 Call number: 681.9 GAM.

Place hold Log in to add tags
BOOKS
Software Design for Real-time Systems

by Cooling, J E.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; ITCP ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 COO.

Place hold Log in to add tags
BOOKS
Fast Software Encryption : Proceedings, Third International Workshop, Cambridge, UK, 1996

by Gollmann, Dieter. Ed.

Series: Lecture notes in computer science ; 01039Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Foundations of Software Technology and Theoretical Computer Science, Proceedings of the 17th Conference, Kharagpur, India, 1997

by Ramesh, S. Ed | Sivakumar, G. Ed.

Series: Lecture notes in computer science ; 01346Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Foundations of Software Technology and Theoretical Computer Science, Proceedings,14th Conference, Madras, India, 1994

by Thiagarajan, P S. Ed.

Series: Lecture notes in computer science ; 00880Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
FST TCS 1999: Foundations of Software Technology and Theoretical Computer Science : 19th Conference, Chennai, India, 1999

by Pandu Rangan, C. (Ed.) | Raman, V. (Ed.) | Ramanujam, R. (Ed.).

Series: Lecture notes in computer science ; 1738Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.
Lists:

Place hold Log in to add tags
BOOKS
Temporal Verification of Reactive Systems Safety

by Manna, Zohar | Pnueli, Amir.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAN.

Place hold Log in to add tags
BOOKS
Fast Software Encryption, Proceedings, Second International Workshop, Belgium, 1994

by Preneel, Bart. Ed.

Series: Lecture notes in computer science ; 01008Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Applications of Formal Methods

by Hinchey, Michael G. Ed | Bowen, Jonathan P. Ed.

Series: Prentice Hall International Series in Computer ScienceMaterial type: Text 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: 2 Call number: 681.3 HIN.

Place hold Log in to add tags
BOOKS
FST TCS 2000 : Foundations of Software Technology and Theoretical Computer Science - Proceedings of the 20th Conference, New Delhi, 2000

by Kapoor, Sajiv. Ed | Prasad, Sanjiva. Ed.

Series: Lecture notes in computer science ; 01974Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Spin model checking and software verification, proceedings of the 7th International workshop, stanford, 2000

by Havelund, Klaus. Ed | Penix, John. Ed | Visser, Willem. Ed.

Series: Lecture notes in computer science ; 01885Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 24 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Fast Software Encryption, Proceedings of the 7th International Workshop, New York, USA, 2000

by Schneier, Bruce. Ed.

Series: Lecture notes in computer science ; 01978Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement : (MCS)

by Broy, Manfred | Stolen, Ketil.

Series: Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 13 Call number: 681.9 BRO.

Place hold Log in to add tags
BOOKS
Foundations of Software Science and Computation Structures, Proceedings of the Third International Conference, Berlin, 2000

by Tiuryn, Jerzy. Ed.

Series: Lecture notes in computer science ; 01784Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Software Reliability Methods : (TCS)

by Peled, Doron A.

Series: Texts in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:50 Shelf No:20 Call number: 681.9 PEL.

Place hold Log in to add tags
BOOKS
Foundations of Software Science and Computation Structures : Proceedings of the 4th International Conference,FOSSACS,ETAPS, Italy,2001

by Honsell, Eurio. Ed | Miculan, Marino. Ed.

Series: Lecture notes in computer science ; 02030Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Theoretical Aspects of Computer Software, Proceedings of the 4th International Symposium, Japan, 2001

by Kobayashi, Naoki. Ed | Pierce, Benjamin C. Ed.

Series: Lecture notes in computer science ; 02215Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

by Hariharan, Ramesh | Mukund, Madhavan | Vinay, V. (Eds.).

Series: Lecture notes in computer science ; 02245Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: No items available :

Log in to add tags
BOOKS
FST TCS 1992: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 12th conference 1992

by Shyamasundar, R. Ed.

Series: Lecture notes in computer science ; 652Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha