Your search returned 80 results.

Results
		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)
		Trustworthy Global Computing [electronic resource] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / edited by Christos Kaklamanis, Flemming Nielson. by Kaklamanis, Christos \| Nielson, Flemming \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5474Source: 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)
		Agent-Oriented Software Engineering IX [electronic resource] : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers / edited by Michael Luck, Jorge J. Gomez-Sanz. by Luck, Michael \| Gomez-Sanz, Jorge J \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5386Source: 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)
		Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf. by Bruni, Roberto \| Wolf, Karsten \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5387Source: 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)
		Agent Computing and Multi-Agent Systems [electronic resource] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda. by Ghose, Aditya \| Governatori, Guido \| Sadananda, Ramakoti \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5044Source: 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)
		Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings / edited by David Lee, Antónia Lopes, Arnd Poetzsch-Heffter. by Lee, David \| Lopes, Antónia \| Poetzsch-Heffter, Arnd \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5522Source: 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)
		Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Alexandre Bergel, Johan Fabry. by Bergel, Alexandre \| Fabry, Johan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5634Source: 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)
		Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Catherine Dubois. by Dubois, Catherine \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5668Source: 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)
		ECOOP 2009 – Object-Oriented Programming [electronic resource] : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings / edited by Sophia Drossopoulou. by Drossopoulou, Sophia \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5653Source: 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)
		Domain-Specific Languages [electronic resource] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings / edited by Walid Mohamed Taha. by Taha, Walid Mohamed \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5658Source: 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 Multi-Agent Systems [electronic resource] : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers / edited by Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina. by Hindriks, Koen V \| Pokahr, Alexander \| Sardina, Sebastian \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5442Source: 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)
		Multi-Agent Systems for Society [electronic resource] : 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers / edited by Dickson Lukose, Zhongzhi Shi. by Lukose, Dickson \| Shi, Zhongzhi \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4078Source: 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)
		Agents and Data Mining Interaction [electronic resource] : 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers / edited by Longbing Cao, Vladimir Gorodetsky, Jiming Liu, Gerhard Weiss, Philip S. Yu. by Cao, Longbing \| Gorodetsky, Vladimir \| Liu, Jiming \| Weiss, Gerhard \| Yu, Philip S \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5680Source: 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 VII [electronic resource] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd. by Baldoni, Matteo \| Bentahar, Jamal \| Riemsdijk, M. Birna \| Lloyd, John \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5948Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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)
		Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings / edited by Tomasz Janowski, Hrushikesha Mohanty. by Janowski, Tomasz \| Mohanty, Hrushikesha \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5966Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Andrew D. Gordon. by Gordon, Andrew D \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6012Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar. by Esparza, Javier \| Majumdar, Rupak \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6015Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by David S. Rosenblum, Gabriele Taentzer. by Rosenblum, David S \| Taentzer, Gabriele \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6013Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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)
		Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / edited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb. by Müller-Clostermann, Bruno \| Echtle, Klaus \| Rathgeb, Erwin P \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5987Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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)
		Advanced Lectures on Software Engineering [electronic resource] : LASER Summer School 2007/2008 / edited by Peter Müller. by Müller, Peter \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6029Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Next
Last

		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)
		Trustworthy Global Computing [electronic resource] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / edited by Christos Kaklamanis, Flemming Nielson. by Kaklamanis, Christos \| Nielson, Flemming \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5474Source: 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)
		Agent-Oriented Software Engineering IX [electronic resource] : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers / edited by Michael Luck, Jorge J. Gomez-Sanz. by Luck, Michael \| Gomez-Sanz, Jorge J \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5386Source: 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)
		Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf. by Bruni, Roberto \| Wolf, Karsten \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5387Source: 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)
		Agent Computing and Multi-Agent Systems [electronic resource] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda. by Ghose, Aditya \| Governatori, Guido \| Sadananda, Ramakoti \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5044Source: 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)
		Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings / edited by David Lee, Antónia Lopes, Arnd Poetzsch-Heffter. by Lee, David \| Lopes, Antónia \| Poetzsch-Heffter, Arnd \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5522Source: 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)
		Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Alexandre Bergel, Johan Fabry. by Bergel, Alexandre \| Fabry, Johan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5634Source: 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)
		Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Catherine Dubois. by Dubois, Catherine \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5668Source: 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)
		ECOOP 2009 – Object-Oriented Programming [electronic resource] : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings / edited by Sophia Drossopoulou. by Drossopoulou, Sophia \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5653Source: 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)
		Domain-Specific Languages [electronic resource] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings / edited by Walid Mohamed Taha. by Taha, Walid Mohamed \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5658Source: 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 Multi-Agent Systems [electronic resource] : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers / edited by Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina. by Hindriks, Koen V \| Pokahr, Alexander \| Sardina, Sebastian \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5442Source: 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)
		Multi-Agent Systems for Society [electronic resource] : 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers / edited by Dickson Lukose, Zhongzhi Shi. by Lukose, Dickson \| Shi, Zhongzhi \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4078Source: 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)
		Agents and Data Mining Interaction [electronic resource] : 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers / edited by Longbing Cao, Vladimir Gorodetsky, Jiming Liu, Gerhard Weiss, Philip S. Yu. by Cao, Longbing \| Gorodetsky, Vladimir \| Liu, Jiming \| Weiss, Gerhard \| Yu, Philip S \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5680Source: 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 VII [electronic resource] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd. by Baldoni, Matteo \| Bentahar, Jamal \| Riemsdijk, M. Birna \| Lloyd, John \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5948Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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)
		Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings / edited by Tomasz Janowski, Hrushikesha Mohanty. by Janowski, Tomasz \| Mohanty, Hrushikesha \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5966Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Andrew D. Gordon. by Gordon, Andrew D \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6012Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar. by Esparza, Javier \| Majumdar, Rupak \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6015Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by David S. Rosenblum, Gabriele Taentzer. by Rosenblum, David S \| Taentzer, Gabriele \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6013Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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)
		Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / edited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb. by Müller-Clostermann, Bruno \| Echtle, Klaus \| Rathgeb, Erwin P \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5987Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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)
		Advanced Lectures on Software Engineering [electronic resource] : LASER Summer School 2007/2008 / edited by Peter Müller. by Müller, Peter \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6029Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 80 results.