IMSc Library catalog › Results of search for 'su-rl:"Verification"'

Your search returned 6 results.

Not what you expected? Check for suggestions

			The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist. by Cudré-Mauroux, Philippe [editor.] \| Heflin, Jeff [editor.] \| Sirin, Evren [editor.] \| Tudorache, Tania [editor.] \| Euzenat, Jérôme [editor.] \| Hauswirth, Manfred [editor.] \| Parreira, Josiane Xavier [editor.] \| Hendler, Jim [editor.] \| Schreiber, Guus [editor.] \| Bernstein, Abraham [editor.] \| Blomqvist, Eva [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7650Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist. by Cudré-Mauroux, Philippe [editor.] \| Heflin, Jeff [editor.] \| Sirin, Evren [editor.] \| Tudorache, Tania [editor.] \| Euzenat, Jérôme [editor.] \| Hauswirth, Manfred [editor.] \| Parreira, Josiane Xavier [editor.] \| Hendler, Jim [editor.] \| Schreiber, Guus [editor.] \| Bernstein, Abraham [editor.] \| Blomqvist, Eva [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7649Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			FME '97: Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas. by Fitzgerald, John [editor.] \| Jones, Cliff B [editor.] \| Lucas, Peter [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1313Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Inductive Logic Programming [electronic resource] : 8th International Conference, ILP-98 Madison, Wisconsin, USA, July 22–24, 1998 Proceedings / edited by David Page. by Page, David [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1446Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Methods and Applications of Artificial Intelligence [electronic resource] : Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004. Proceedings / edited by George A. Vouros, Themistoklis Panayiotopoulos. by Vouros, George A [editor.] \| Panayiotopoulos, Themistoklis [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3025Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Field-Programmable Logic and Applications [electronic resource] : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / edited by Gordon Brebner, Roger Woods. by Brebner, Gordon [editor.] \| Woods, Roger [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2147Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha