<?xml version="1.0" encoding="utf-8" ?> <rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title> <![CDATA[SNU Library Search for 'su:&quot;Syntax and Semantics of CTL&quot;']]> </title> <link> https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Syntax%20and%20Semantics%20of%20CTL%22&#38;sort_by=&#38;format=rss </link> <atom:link rel="self" type="application/rss+xml" href="https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Syntax%20and%20Semantics%20of%20CTL%22&#38;sort_by=&#38;format=rss"/> <description> <![CDATA[ Search results for 'su:&quot;Syntax and Semantics of CTL&quot;' at SNU Library]]> </description> <opensearch:totalResults>2</opensearch:totalResults> <opensearch:startIndex>0</opensearch:startIndex> <opensearch:itemsPerPage>50</opensearch:itemsPerPage> <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Syntax%20and%20Semantics%20of%20CTL%22&#38;sort_by=&#38;format=opensearchdescription"/> <opensearch:Query role="request" searchTerms="q%3Dccl%3Dsu%253A%2522Syntax%2520and%2520Semantics%2520of%2520CTL%2522" startPage="" /> <item> <title> Design Verification and Test of Digital VLSI Circuits: Syntax and Semantics of CTL </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=33982</link> <description> <![CDATA[ <p> By &quot;Biswas, Santosh&quot; | &quot;Deka, Jatindra Kumar&quot;.<br /> Guwahati Indian Insitiute of Technology </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=33982">Place hold on <em>Design Verification and Test of Digital VLSI Circuits:</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=33982</guid> </item> <item> <title> Design Verification and Test of Digital VLSI Circuits: Syntax and Semantics of CTL � Continued </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=33983</link> <description> <![CDATA[ <p> By &quot;Biswas, Santosh&quot; | &quot;Deka, Jatindra Kumar&quot;.<br /> Guwahati Indian Insitiute of Technology </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=33983">Place hold on <em>Design Verification and Test of Digital VLSI Circuits:</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=33983</guid> </item> </channel> </rss>
