mmmm onestamente il codice lo scriverei diversamente, un pò più semplice:

$number = mysql_num_rows($result);

if ($number ==0) {
echo"Non ci sono risultati nella tua ricerca";
exit();
}


while($rs=mysql_fetch_array($result))
{
echo"$rs[Cod_Titolo] $rs[Cod_libro] $rs[Cod_copia]
";
}

resto del codice