<![CDATA[Central Library Search for 'au:"McIver, Annabelle."']]>

<![CDATA[Central Library Search for 'au:"McIver, Annabelle."']]> https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22McIver%2C%20Annabelle.%22&format=rss2 4 0 50 Logic for Programming, Artificial Intelligence, and Reasoning ISBN 9783662488997 https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53681

. XV, 640 p. 142 illus. in color. 9783662488997

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

]]> https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=53681 Formal Methods - The Next 30 Years ISBN 9783030309428 https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86343

. XXI, 774 p. 1687 illus., 92 illus. in color. 9783030309428

Place Hold on Formal Methods - The Next 30 Years

]]> https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86343 Quantitative Evaluation of Systems ISBN 9783319991542 https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=87731

. XI, 423 p. 101 illus. 9783319991542

Place Hold on Quantitative Evaluation of Systems

]]> https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=87731 Logic for Programming, Artificial Intelligence, and Reasoning ISBN 9783662488997 https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=93266

. XV, 640 p. 142 illus. in color. 9783662488997

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

]]> https://opac.l1.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=93266