LEADER 01562nam 2200373Ia 450 001 996386523103316 005 20200824132822.0 035 $a(CKB)4940000000082697 035 $a(EEBO)2240854122 035 $a(OCoLC)ocm17294908e 035 $a(OCoLC)17294908 035 $a(EXLCZ)994940000000082697 100 $a19871231d1654 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aLudus mathematicus, or, The mathematical game$b[electronic resource] $eexplaining the description, construction, and use of the numericall table of proportion, by help whereof, and of certain chessmen (fitted for that purpose) any proportion, arithmetical or geometrical (without any calculation at all, or use of pen), may be readily and with delight resolved when the term exceeds not 1000000 /$fby E.W 210 $aLondon $cPrinted by R. & W. Leybourn and are to be sold by Philemon Stephens ...$dM DC LIV [1654] 215 $a[14], 76 p., [2] leaves of plates $cill 300 $aErrata: preliminary p. [14] 300 $aTables. 300 $aReproduction of original in the Cambridge University Library. 330 $aeebo-0021 606 $aRatio and proportion$vEarly works to 1800 606 $aMathematics$vEarly works to 1800 615 0$aRatio and proportion 615 0$aMathematics 700 $aWingate$b Edmund$f1596-1656.$0320199 801 0$bEAJ 801 1$bEAJ 801 2$bWaOLN 906 $aBOOK 912 $a996386523103316 996 $aLudus mathematicus: or, The mathematical game$92320612 997 $aUNISA LEADER 01347nam 2200325Ia 450 001 996383603403316 005 20221107141433.0 035 $a(CKB)1000000000583598 035 $a(EEBO)2248547794 035 $a(OCoLC)180867132 035 $a(EXLCZ)991000000000583598 100 $a20071107d1633 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aArticles to be inquired of, in the metropoliticall visitation of the most Reuerend Father in God, Richard, by the prouidence of God, Lord Arch-bishop of Yorke, primate of England, and metropolitane$b[electronic resource] $eIn the yeere of our Lord God, 1633. 210 $aLondon, $cPrinted by John Norton.$d1633. 215 $a[16] p 300 $aInitial. 300 $aSignatures: A-B⁴. 300 $aReproduction of original in: British Library. 330 $aeebo-0018 606 $aVisitations, Ecclesiastical$zEngland$vEarly works to 1800 615 0$aVisitations, Ecclesiastical 701 $aNeile$b Richard$f1562-1640.$01010163 801 0$bUMI 801 1$bUMI 906 $aBOOK 912 $a996383603403316 996 $aArticles to be inquired of, in the metropoliticall visitation of the most Reuerend Father in God, Richard, by the prouidence of God, Lord Arch-bishop of Yorke, primate of England, and metropolitane$92335568 997 $aUNISA LEADER 01993nam0 2200301 i 450 001 VAN0090787 005 20221121120044.895 010 $a90-7479-525-0 100 $a20120830d1995 |0itac50 ba 101 $aeng$aDUT 102 $aNL 105 $a|||| ||||| 200 1 $aVerification techniques for elementary data types and retransmission protocols$eacademisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur$fJacobus Johannes van Wamel 210 $aAmsterdam$cInstitute for logic, language and computation$d1995 215 $aVI, 152 p.$d24 cm 300 $aUniversiteit van Amsterdam, Faculteit Wiskunde en Informatica. - Tesi di dottorato 410 1$1001VAN0090786$12001 $aILLC dissertation series$1210 $aAmsterdam$cInstitute for Logic, Language and Computation.$v1995-6 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 620 $dAmsterdam$3VANL001716 700 1$aWamel$bJacobus Johannes : van$3VANV073642$0723076 712 $aInstitute for logic, language and computation$3VANV113868$4650 801 $aIT$bSOL$c20230616$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/van Wamel - Verification techniques for elementary data types and retransmission protocols.PDF$zvan Wamel - Verification techniques for elementary data types and retransmission protocols.PDF 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0090787 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 68-XX 4724 $e08 7495 I 20120830 996 $aVerification techniques for elementary data types and retransmission protocols$91409739 997 $aUNICAMPANIA