IMSc Library catalog › Results of search for 'su:"Computer software."'

			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
			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
			Temporal Verification of Reactive Systems Safety by Manna, Zohar \| Pnueli, Amir. Material type: 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
			Applications of Formal Methods by Hinchey, Michael G. Ed \| Bowen, Jonathan P. Ed. Series: Prentice Hall International Series in Computer ScienceMaterial 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: 2 Call number: 681.3 HIN. Place hold Log in to add tags
			Software Reliability Methods : (TCS) by Peled, Doron A. Series: Texts in Computer ScienceMaterial type: 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
			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;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
			Foundations of software science and computation structures: Second International Conference, FOSSACS '99 ... Amsterdam, The Netherlands, March, 1999 proceedings by Thomas, Wolfgang Ed. Series: Lecture notes in computer science ; 01578Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Partial evaluation: practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark,June 29-July 10, 1998 by Hatcliff, John \| Mogensen, Torben \| Thiemann, Peter Eds. Series: Lecture notes in computer science ; 01706Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Intelligent agents V : agent theories, architectures, and languages: 5th International Workshop, ATAL'98 France, July, 1998 : proceedings by Muller, Jorg P \| Singh, Muninar P \| Rao, Anand S. Eds. Series: Lecture notes in artificial intelligence ; 01555Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings by Dams, Dennis \| Gerth, Rob \| Leue, Stefan Eds. Series: Lecture notes in computer science ; 01680Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag ; 1999Availability: 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
			Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem by Godefroid, Patrice. Series: Lecture notes in computer science ; 01032Material type: 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
			Game theory and decision theory in agent-based systems by Parsons, Simon \| Gmytrasiewicz, Piotr J \| Wooldridge, Michael J Eds. Series: Multiagent sys, artificial soc, and simulated orgsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Kluwer Academic Publishers ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:8 Call number: 519.83 PAR. Place hold Log in to add tags
			Reasoning about rational agents by Wooldridge, Michael J. Series: Intelligent robotics and autonomous agentsMaterial type: Text;Language: ; Format: print Publication details: Cambridge, Mass. ; MIT Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 23 Call number: 681.3 WOO. Place hold Log in to add tags
			Specifying software A hands-on introduction by Tennent, R. D. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TEN. Place hold Log in to add tags
			Software abstractions Logic language and analysis by Jackson, Daniel. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; MIT Press ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 JAC. Place hold Log in to add tags
			Multiagent systems Algorithmic game-theoretic and logical foundations by Shoham, Yoav \| Leyton-Brown, Kevin. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SHO. Place hold Log in to add tags
			Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi. by Bergman, Clifford H [editor.] \| Maddux, Roger D [editor.] \| Pigozzi, Don L [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 425Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Mathematical Foundations of Programming Semantics [electronic resource] : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings / edited by M. Main, A. Melton, M. Mislove, D. Schmidt. by Main, M [editor.] \| Melton, A [editor.] \| Mislove, M [editor.] \| Schmidt, D [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 442Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector. by Simons, Barbara [editor.] \| Spector, Alfred [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 448Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings / edited by Naveed A. Sherwani, Elise Doncker, John A. Kapenga. by Sherwani, Naveed A [editor.] \| Doncker, Elise [editor.] \| Kapenga, John A [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 507Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . 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
			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
			Temporal Verification of Reactive Systems Safety by Manna, Zohar \| Pnueli, Amir. Material type: 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
			Applications of Formal Methods by Hinchey, Michael G. Ed \| Bowen, Jonathan P. Ed. Series: Prentice Hall International Series in Computer ScienceMaterial 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: 2 Call number: 681.3 HIN. Place hold Log in to add tags
			Software Reliability Methods : (TCS) by Peled, Doron A. Series: Texts in Computer ScienceMaterial type: 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
			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;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
			Foundations of software science and computation structures: Second International Conference, FOSSACS '99 ... Amsterdam, The Netherlands, March, 1999 proceedings by Thomas, Wolfgang Ed. Series: Lecture notes in computer science ; 01578Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Partial evaluation: practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark,June 29-July 10, 1998 by Hatcliff, John \| Mogensen, Torben \| Thiemann, Peter Eds. Series: Lecture notes in computer science ; 01706Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Intelligent agents V : agent theories, architectures, and languages: 5th International Workshop, ATAL'98 France, July, 1998 : proceedings by Muller, Jorg P \| Singh, Muninar P \| Rao, Anand S. Eds. Series: Lecture notes in artificial intelligence ; 01555Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings by Dams, Dennis \| Gerth, Rob \| Leue, Stefan Eds. Series: Lecture notes in computer science ; 01680Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag ; 1999Availability: 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
			Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem by Godefroid, Patrice. Series: Lecture notes in computer science ; 01032Material type: 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
			Game theory and decision theory in agent-based systems by Parsons, Simon \| Gmytrasiewicz, Piotr J \| Wooldridge, Michael J Eds. Series: Multiagent sys, artificial soc, and simulated orgsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Kluwer Academic Publishers ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:8 Call number: 519.83 PAR. Place hold Log in to add tags
			Reasoning about rational agents by Wooldridge, Michael J. Series: Intelligent robotics and autonomous agentsMaterial type: Text;Language: ; Format: print Publication details: Cambridge, Mass. ; MIT Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 23 Call number: 681.3 WOO. Place hold Log in to add tags
			Specifying software A hands-on introduction by Tennent, R. D. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TEN. Place hold Log in to add tags
			Software abstractions Logic language and analysis by Jackson, Daniel. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; MIT Press ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 JAC. Place hold Log in to add tags
			Multiagent systems Algorithmic game-theoretic and logical foundations by Shoham, Yoav \| Leyton-Brown, Kevin. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SHO. Place hold Log in to add tags
			Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi. by Bergman, Clifford H [editor.] \| Maddux, Roger D [editor.] \| Pigozzi, Don L [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 425Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Mathematical Foundations of Programming Semantics [electronic resource] : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings / edited by M. Main, A. Melton, M. Mislove, D. Schmidt. by Main, M [editor.] \| Melton, A [editor.] \| Mislove, M [editor.] \| Schmidt, D [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 442Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector. by Simons, Barbara [editor.] \| Spector, Alfred [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 448Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings / edited by Naveed A. Sherwani, Elise Doncker, John A. Kapenga. by Sherwani, Naveed A [editor.] \| Doncker, Elise [editor.] \| Kapenga, John A [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 507Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 2328 results.