<![CDATA[CUSAT Search for 'se,phr:"(Monographs in computer science)"']]>

<![CDATA[CUSAT Search for 'se,phr:"(Monographs in computer science)"']]> http://unionopac.cusat.ac.in//cgi-bin/koha/opac-search.pl?q=ccl=se%2Cphr%3A%22%28Monographs%20in%20computer%20science%29%22&format=rss 3 0 50 Adapting proofs-as-program: the curry-howard protocol ISBN:0-387-23759-3 http://unionopac.cusat.ac.in//cgi-bin/koha/opac-detail.pl?biblionumber=4130

By Poernomo, Iman Hafiz. USA Springer 2005 . xii, 420p. 0-387-23759-3

Place hold on Adapting proofs-as-program:

]]> http://unionopac.cusat.ac.in//cgi-bin/koha/opac-detail.pl?biblionumber=4130 Programming in the 1990s. an introduction to the calculation of programs ISBN:0387973826 http://unionopac.cusat.ac.in//cgi-bin/koha/opac-detail.pl?biblionumber=221976

By Cohen,Edward. New York Springer-Verlag 1990 . xv,261p. 0387973826

Place hold on Programming in the 1990s.

]]> http://unionopac.cusat.ac.in//cgi-bin/koha/opac-detail.pl?biblionumber=221976 The origins of digital computers selected papers ISBN:0387113193 http://unionopac.cusat.ac.in//cgi-bin/koha/opac-detail.pl?biblionumber=223556

By Randell,Brian. New York Springer - Verlag 1982 . xvi,580p. 0387113193

Place hold on The origins of digital computers

]]> http://unionopac.cusat.ac.in//cgi-bin/koha/opac-detail.pl?biblionumber=223556