Your search returned 305 results.

Results
		Rethinking development David E. Apter by Apter, David E. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Sage Publications. 1987Availability: Items available for loan: Mysore University Main Library (1) Call number: 338.9 APT. Place hold Log in to add tags Add to cart (remove)
		Digital logic and computer design / M. Morris Mano by Mano, M. Morris. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Prentice-Hill of India, 1995Availability: Items available for loan: University Graduate Library (3) Call number: 621.381 958 MAN, ... Place hold Log in to add tags Add to cart (remove)
		No cover image available The ethical end of platos theory of ideas Francis A. Cavenagh by Cavenagh, Francis A. Material type: Text Publication details: London : Oxford University Press, 1909Availability: Items available for loan: University Graduate Library (1) Call number: 170.01 CAV. Place hold Log in to add tags Add to cart (remove)
		Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. by Almeida, José Bacelar \| Frade, Maria João \| Pinto, Jorge Sousa \| Melo de Sousa, Simão \| SpringerLink (Online service). Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. by Dowek, Gilles \| Lévy, Jean-Jacques \| SpringerLink (Online service). Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. by Alagar, V.S \| Periyasamy, K \| SpringerLink (Online service). Series: Texts in Computer ScienceEdition: 2nd Edition.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Logic Functions and Equations [electronic resource] : Examples and Exercises / by Bernd Steinbach, Christian Posthoff. by Steinbach, Bernd \| Posthoff, Christian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Principles of Programming Languages [electronic resource] / by Gilles Dowek. by Dowek, Gilles \| SpringerLink (Online service). Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Computable Models [electronic resource] / by Raymond Turner. by Turner, Raymond \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Understanding Concurrent Systems [electronic resource] / by A.W. Roscoe. by Roscoe, A.W \| SpringerLink (Online service). Series: Texts in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. by Apt, Krzysztof R \| Boer, Frank S \| Olderog, Ernst-Rüdiger \| SpringerLink (Online service). Series: Texts in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Pattern Calculus [electronic resource] : Computing with Functions and Structures / by Barry Jay. by Jay, Barry \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by Neil D. Jones, Markus Müller-Olm. by Jones, Neil D \| Müller-Olm, Markus \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5403Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Baldoni, Matteo \| Son, Tran Cao \| Riemsdijk, M. Birna \| Winikoff, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5397Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings / edited by Michael Leuschel, Heike Wehrheim. by Leuschel, Michael \| Wehrheim, Heike \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5423Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by Doron A. Peled, Michael J. Wooldridge. by Peled, Doron A \| Wooldridge, Michael J \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5348Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Human Machine Interaction [electronic resource] : Research Results of the MMI Program / edited by Denis Lalanne, Jürg Kohlas. by Lalanne, Denis \| Kohlas, Jürg \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5440Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by Michael Hanus. by Hanus, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5438Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Giuseppe Castagna. by Castagna, Giuseppe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5502Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Marsha Chechik, Martin Wirsing. by Chechik, Marsha \| Wirsing, Martin \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5503Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)

1
2
3
4
5
6
7
8
9
10
Next
Last

No. of hits (from 9th Mar 12) :

		Rethinking development David E. Apter by Apter, David E. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Sage Publications. 1987Availability: Items available for loan: Mysore University Main Library (1) Call number: 338.9 APT. Place hold Log in to add tags Add to cart (remove)
		Digital logic and computer design / M. Morris Mano by Mano, M. Morris. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Prentice-Hill of India, 1995Availability: Items available for loan: University Graduate Library (3) Call number: 621.381 958 MAN, ... Place hold Log in to add tags Add to cart (remove)
		No cover image available The ethical end of platos theory of ideas Francis A. Cavenagh by Cavenagh, Francis A. Material type: Text Publication details: London : Oxford University Press, 1909Availability: Items available for loan: University Graduate Library (1) Call number: 170.01 CAV. Place hold Log in to add tags Add to cart (remove)
		Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. by Almeida, José Bacelar \| Frade, Maria João \| Pinto, Jorge Sousa \| Melo de Sousa, Simão \| SpringerLink (Online service). Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. by Dowek, Gilles \| Lévy, Jean-Jacques \| SpringerLink (Online service). Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. by Alagar, V.S \| Periyasamy, K \| SpringerLink (Online service). Series: Texts in Computer ScienceEdition: 2nd Edition.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Logic Functions and Equations [electronic resource] : Examples and Exercises / by Bernd Steinbach, Christian Posthoff. by Steinbach, Bernd \| Posthoff, Christian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Principles of Programming Languages [electronic resource] / by Gilles Dowek. by Dowek, Gilles \| SpringerLink (Online service). Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Computable Models [electronic resource] / by Raymond Turner. by Turner, Raymond \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Understanding Concurrent Systems [electronic resource] / by A.W. Roscoe. by Roscoe, A.W \| SpringerLink (Online service). Series: Texts in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. by Apt, Krzysztof R \| Boer, Frank S \| Olderog, Ernst-Rüdiger \| SpringerLink (Online service). Series: Texts in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Pattern Calculus [electronic resource] : Computing with Functions and Structures / by Barry Jay. by Jay, Barry \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by Neil D. Jones, Markus Müller-Olm. by Jones, Neil D \| Müller-Olm, Markus \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5403Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Baldoni, Matteo \| Son, Tran Cao \| Riemsdijk, M. Birna \| Winikoff, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5397Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings / edited by Michael Leuschel, Heike Wehrheim. by Leuschel, Michael \| Wehrheim, Heike \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5423Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by Doron A. Peled, Michael J. Wooldridge. by Peled, Doron A \| Wooldridge, Michael J \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5348Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Human Machine Interaction [electronic resource] : Research Results of the MMI Program / edited by Denis Lalanne, Jürg Kohlas. by Lalanne, Denis \| Kohlas, Jürg \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5440Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by Michael Hanus. by Hanus, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5438Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Giuseppe Castagna. by Castagna, Giuseppe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5502Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Marsha Chechik, Martin Wirsing. by Chechik, Marsha \| Wirsing, Martin \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5503Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Home libraries

Item types

Series

Topics

Your search returned 305 results.