<?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[Air University Central Library Search for 'su:&quot;Automata&quot;']]> </title> <!-- prettier-ignore-start --> <link> /cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Automata%22&#38;sort_by=relevance&#38;format=rss </link> <!-- prettier-ignore-end --> <atom:link rel="self" type="application/rss+xml" href="/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Automata%22&#38;sort_by=relevance&#38;format=rss" /> <description> <![CDATA[ Search results for 'su:&quot;Automata&quot;' at Air University Central Library]]> </description> <opensearch:totalResults>9</opensearch:totalResults> <opensearch:startIndex>0</opensearch:startIndex> <opensearch:itemsPerPage>50</opensearch:itemsPerPage> <atom:link rel="search" type="application/opensearchdescription+xml" href="/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Automata%22&#38;sort_by=relevance&#38;format=opensearchdescription" /> <opensearch:Query role="request" searchTerms="q%3Dccl%3Dsu%253A%2522Automata%2522" startPage="" /> <item> <title> Introduction to Automata Theory Languages and Computation </title> <dc:identifier>ISBN:8178083477 (paperback)</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=283</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8178083477.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Hopcroft,John E (Ed).<br /> [S.l.] : Springer, 2008 .<br /> 500 p. ; 8178083477 (paperback) </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=283">Place hold on <em>Introduction to Automata Theory Languages and Computation </em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=283</guid> </item> <item> <title> Theory of Computation </title> <dc:identifier>ISBN:8131505138 (paperback) | 9788131505137 (paperback)</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=5170</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8131505138.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Sipser, Michael..<br /> Australia Cengage Learning India Private Limited, 2008 .<br /> 1 v. (unpaged) ; 8131505138 (paperback) | 9788131505137 (paperback) </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=5170">Place hold on <em>Theory of Computation</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=5170</guid> </item> <item> <title> Schaum,s outlines Introduction to computer science. </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=7469</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Mata - Toledo, Ramon A..<br /> New Delhi Tata McGraw hill 2000 .<br /> 296p </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=7469">Place hold on <em>Schaum,s outlines Introduction to computer science.</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=7469</guid> </item> <item> <title> An Introduction to Formal Languages and Automata </title> <dc:identifier>ISBN:9780763714222 </dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=18255</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0763714224.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Linz, Peter..<br /> Boston Jones &amp; Bartlett Publishers, 2001 .<br /> ix, 415 p. , Formal languages, automata, computability, and related matters form the major part of the theory of computation. This textbook is designed for an introductory course for computer science and computer engineering majors who have knowledge of some higher-level programming language, the fundamentals of data structures and algorithms, and discrete mathematics (including set theory, functions, relations, logic, and mathematical reasoning). 19x24 cm.<br /> 9780763714222 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=18255">Place hold on <em>An Introduction to Formal Languages and Automata</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=18255</guid> </item> <item> <title> Automata and Theoretical Computer Science </title> <dc:identifier>ISBN:9788129702043</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=18257</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8129702045.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Ragade, B. R. .<br /> Delhi Pearson, 2004 .<br /> xi, 432 p. 9788129702043 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=18257">Place hold on <em>Automata and Theoretical Computer Science</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=18257</guid> </item> <item> <title> Introduction to Automata Theory, Languages, and Computation </title> <dc:identifier>ISBN:9788131720479 (paperback)</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=18325</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8131720470.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By HOPCORFT, JOHN E. E..<br /> New Delhi Pearson Education, 2008 .<br /> xvi, 487 p. , Please Read Notes: Brand New, International Softcover Edition, Printed in black and white pages, minor self wear on the cover or pages, Sale restriction may be printed on the book, but Book name, contents, and author are exactly same as Hardcover Edition. Fast delivery through DHL/FedEx express. 15x23 cm. .<br /> 9788131720479 (paperback) </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=18325">Place hold on <em>Introduction to Automata Theory, Languages, and Computation </em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=18325</guid> </item> <item> <title> Introduction to Computer Theory. </title> <dc:identifier>ISBN:9788126513345 </dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=18326</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8126513349.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Cohen. Daniel I. A..<br /> [New Delhi WSE, 2009 .<br /> xiv, 634 p. , Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, 15x23 cm.<br /> 9788126513345 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=18326">Place hold on <em>Introduction to Computer Theory.</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=18326</guid> </item> <item> <title> Theory of Computation </title> <dc:identifier>ISBN:9788131505137</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=18358</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8131505138.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Sipser, Michael..<br /> New Delhi Cengage Learning India Private Limited, 2007 .<br /> 346p. 18x24 cm.<br /> 9788131505137 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=18358">Place hold on <em>Theory of Computation</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=18358</guid> </item> <item> <title> Modern Formal Methods and Applications </title> <dc:identifier>ISBN:9781402042225</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=35058</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/1402042221.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Hossam A. Gabbar (Editor).<br /> Netherland Spronger 2006 .<br /> xxiii; 197p. , Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool. Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods. 9781402042225 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=35058">Place hold on <em>Modern Formal Methods and Applications</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=35058</guid> </item> </channel> </rss>
