<![CDATA[ Search for 'se,phr:"Foundations of computing" and itype:BK and se:Foundations of computing']]>

<![CDATA[ Search for 'se,phr:"Foundations of computing" and itype:BK and se:Foundations of computing']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=se%2Cphr%3A%22Foundations%20of%20computing%22%20and%20itype%3ABK%20and%20se%3AFoundations%20of%20computing&format=rss2 3 0 50 Algorithmic number theory : efficient algorithms. Volume 1 ISBN 0262024055 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=1522 By Shallit, Jeffrey. Cambridge: MIT Press, 1996 . xvi, 512 p.; 24 cm.. 0262024055

Place Hold on Algorithmic number theory : efficient algorithms. Volume 1

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=1522 Basic category theory for computer scientists ISBN 0262660717 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=1640 By Pierce, Benjamin C.. Cambridge: MIT Press, 1991 . xiii, 100 p.; 23 cm.. 0262660717

Place Hold on Basic category theory for computer scientists

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=1640 Formal semantics of programming languages ISBN 0262731037 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=1659 By Winskel, Glynn. London: MIT Press, 1993 . xviii, 361 p.; 23 cm.. 0262731037

Place Hold on Formal semantics of programming languages

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=1659