<?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[Central Library IIT Goa Search for 'su:&quot;Machine theory&quot; and itype:REF and (( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric &gt;= 1) and (lost,st-numeric=0) )) and su-to:Machine theory and su-to:Machine Theory']]></title>
     <link>https://library.iitgoa.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Machine%20theory%22%20and%20itype%3AREF%20and%20%28%28%20%28allrecords%2CAlwaysMatches%3D%27%27%29%20and%20%28not-onloan-count%2Cst-numeric%20%3E%3D%201%29%20and%20%28lost%2Cst-numeric%3D0%29%20%29%29%20and%20su-to%3AMachine%20theory%20and%20su-to%3AMachine%20Theory&amp;format=rss</link>
     <atom:link rel="self" type="application/rss+xml" href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Machine%20theory%22%20and%20itype%3AREF%20and%20%28%28%20%28allrecords%2CAlwaysMatches%3D%27%27%29%20and%20%28not-onloan-count%2Cst-numeric%20%3E%3D%201%29%20and%20%28lost%2Cst-numeric%3D0%29%20%29%29%20and%20su-to%3AMachine%20theory%20and%20su-to%3AMachine%20Theory&amp;sort_by=relevance&amp;format=atom"/>
     <description><![CDATA[ Search results for 'su:&quot;Machine theory&quot; and itype:REF and (( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric &gt;= 1) and (lost,st-numeric=0) )) and su-to:Machine theory and su-to:Machine Theory' at Central Library IIT Goa]]></description>
     <opensearch:totalResults>6</opensearch:totalResults>
     <opensearch:startIndex>0</opensearch:startIndex>
     
       <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
     
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Introduction to the Theory of Computation






</title>
       <dc:identifier>ISBN:9788131525296</dc:identifier>
        <link>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=323</link>
       <description><![CDATA[








	   <p>By Sipser, Michael.. 
	   Delhi Cengage Learning 2013
                        . xxii, 458p.
                        
                        
                         9788131525296
       </p>

<p><a href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-reserve.pl?biblionumber=323">Place hold on <em>Introduction to the Theory of Computation</em></a></p>

						]]></description>
       <guid>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=323</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Introduction to Automata Theory, Languages and Computation






</title>
       <dc:identifier>ISBN:9788131720479</dc:identifier>
        <link>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=325</link>
       <description><![CDATA[








	   <p>By Hopcroft, John E.. 
	   New Delhi Pearson Education 2008
                        . xvi,487p.
                        
                        
                         9788131720479
       </p>

<p><a href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-reserve.pl?biblionumber=325">Place hold on <em>Introduction to Automata Theory, Languages and Computation</em></a></p>

						]]></description>
       <guid>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=325</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Automata and Computability






</title>
       <dc:identifier>ISBN:9781461273097</dc:identifier>
        <link>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=550</link>
       <description><![CDATA[








	   <p>By Kozen, Dexter C.. 
	   New York Springer 1997
                        . xiii, 400p.
                        
                        
                         9781461273097
       </p>

<p><a href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-reserve.pl?biblionumber=550">Place hold on <em>Automata and Computability</em></a></p>

						]]></description>
       <guid>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=550</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Introduction to Formal Languages and Automata






</title>
       <dc:identifier>ISBN:9789384323219</dc:identifier>
        <link>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=803</link>
       <description><![CDATA[








	   <p>By Linz, Peter.. 
	   New Delhi Jones &amp; Bartlett Learning 2017
                        . xiii, 449p.
                        
                        
                         9789384323219
       </p>

<p><a href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-reserve.pl?biblionumber=803">Place hold on <em>Introduction to Formal Languages and Automata</em></a></p>

						]]></description>
       <guid>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=803</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems






</title>
       <dc:identifier>ISBN:9781852338954</dc:identifier>
        <link>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=921</link>
       <description><![CDATA[








	   <p>By Bowman, Howard. 
	   London Springer 2006
                        . xxiv,435p.
                        
                        
                         9781852338954
       </p>

<p><a href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-reserve.pl?biblionumber=921">Place hold on <em>Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems</em></a></p>

						]]></description>
       <guid>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=921</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Handbook of Weighted Automata






</title>
       <dc:identifier>ISBN:9783642014918</dc:identifier>
        <link>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=961</link>
       <description><![CDATA[








	   <p>By Droste, Manfred (Ed.). 
	   Berlin Springer-Verlag   2009
                        . xvii, 5608p.
                        
                        
                         9783642014918
       </p>

<p><a href="https://library.iitgoa.ac.in/cgi-bin/koha/opac-reserve.pl?biblionumber=961">Place hold on <em>Handbook of Weighted Automata</em></a></p>

						]]></description>
       <guid>https://library.iitgoa.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=961</guid>
     </item>
	 
   </channel>
</rss>





