Search

Your search returned 4 results.

Results
		Semantic Web Services Challenge [electronic resource] : Results from the First Year / edited by Charles Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba. by Petrie, Charles \| Margaria, Tiziana \| Lausen, Holger \| Zaremba, Michal \| SpringerLink (Online service). Series: Semantic Web And Beyond, Computing for Human Experience ; 8Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 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)
		Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana \| Steffen, Bernhard \| SpringerLink (Online service). Series: Communications in Computer and Information Science ; 17Source: 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)
		Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana \| Steffen, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6415Source: 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)
		Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana \| Steffen, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6416Source: 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)

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

web counter

Powered by Koha