<![CDATA[ Search for 'su:"Partial Evaluation"']]>

<![CDATA[ Search for 'su:"Partial Evaluation"']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Partial%20Evaluation%22&format=rss2 2 0 50 Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers ISBN 3540208135 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5888 By Broy, Manfred. Berlin: Springer, 2003 . xv, 572 p.; 24 cm.. 3540208135

Place Hold on Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5888 Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers ISBN 9783540404385 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6096 By Leuschel, Michael. Berlin: Springer-Verlag, 2003 . 279 p.; 24 cm.. 9783540404385

Place Hold on Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers

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