LEADER 00846nam1 2200253 i 450 
001 SUN0048550
005 20170627115610.119
010   $d0.00
100   $a20060727g1995       |0engc50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $a*C++ toolbox for verified computing$etheory, algorithms and programs$fR. Hammer, ... [et al.]
210   $aBerlin$cSpringer
215   $av.$d25 cm.
463  1$1001SUN0048552$12001 $a1: *Basic numerical problems$v1$1210  $a1995$1215  $aXV, 377 p.$d25 cm.
620   $dBerlin$3SUNL000066
702  1$aHammer$b, Richard D.$3SUNV017563
712   $aSpringer$3SUNV000178$4650
790  1$aHammer, R. D.$zHammer, Richard D.$3SUNV062986
801   $aIT$bSOL$c20200921$gRICA
912   $aSUN0048550
996   $aC++ toolbox for verified computing$91465420
997   $aUNICAMPANIA

LEADER 01578nam  2200409 n 450 
001 996386318003316
005 20200824121603.0
035   $a(CKB)1000000000611792
035   $a(EEBO)2240955437
035   $a(UnM)99870154e
035   $a(UnM)99870154
035   $a(EXLCZ)991000000000611792
100   $a19940818d1652      uy             |
101 0 $aeng
135   $aurbn||||a|bb|
200 14$aThe chiefe heads of Mr. John Sares speech$b[electronic resource] $eand other passages at the time of his execution at West-Chester; he being the portliest man the three kingdomes afforded, whose coffin was two yards and a halfe in length, yet too short to containe his corps; he suffered the 20th day of October, 1651
210   $a[London $cs.n.$d1652]
215   $a1 sheet ([1] p.)
300   $aImprint from Wing.
300   $aAnnotation on Thomason copy: "Febr. 16"; "Feb. 16. 1651".
300   $aReproduction of the original in the British Library.
330   $aeebo-0018
606   $aRoyalists$zEngland$vEarly works to 1800
606   $aExecutions and executioners$zEngland$vEarly works to 1800
607   $aGreat Britain$xHistory$yCommonwealth and Protectorate, 1649-1660$vEarly works to 1800
615  0$aRoyalists
615  0$aExecutions and executioners
700   $aSares$b John$fd. 1651.$01016429
801  0$bCu-RivES
801  1$bCu-RivES
801  2$bUk-ES
801  2$bCStRLIN
801  2$bWaOLN
906   $aBOOK
912   $a996386318003316
996   $aThe chiefe heads of Mr. John Sares speech$92381791
997   $aUNISA