  Binary neutron-star (BNS) systems represent primary sources for the
gravitational-wave (GW) detectors. We present a systematic investigation in
full GR of the dynamics and GW emission from BNS which inspiral and merge,
producing a black hole (BH) surrounded by a torus. Our results represent the
state of the art from several points of view: (i) We use HRSC methods for the
hydrodynamics equations and high-order finite-differencing techniques for the
Einstein equations; (ii) We employ AMR techniques with "moving boxes"; (iii) We
use as initial data BNSs in irrotational quasi-circular orbits; (iv) We exploit
the isolated-horizon formalism to measure the properties of the BHs produced in
the merger; (v) Finally, we use two approaches, based either on gauge-invariant
perturbations or on Weyl scalars, to calculate the GWs. These techniques allow
us to perform accurate evolutions on timescales never reported before (ie ~30
ms) and to provide the first complete description of the inspiral and merger of
a BNS leading to the prompt or delayed formation of a BH and to its ringdown.
We consider either a polytropic or an ideal fluid EOS and show that already
with this idealized EOSs a very interesting phenomenology emerges. In
particular, we show that while high-mass binaries lead to the prompt formation
of a rapidly rotating BH surrounded by a dense torus, lower-mass binaries give
rise to a differentially rotating NS, which undergoes large oscillations and
emits large amounts of GWs. Eventually, also the NS collapses to a rotating BH
surrounded by a torus. Finally, we also show that the use of a non-isentropic
EOS leads to significantly different evolutions, giving rise to a delayed
collapse also with high-mass binaries, as well as to a more intense emission of
GWs and to a geometrically thicker torus.
