LEADER 02092nam 2200409 n 450 001 996394473703316 005 20221107221259.0 035 $a(CKB)4940000000120145 035 $a(EEBO)2248508923 035 $a(UnM)9927555700971 035 $a(UnM)99825211 035 $a(EXLCZ)994940000000120145 100 $a19930325d1670 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe use of a mathematical instrument, called a quadrant$b[electronic resource] $eShewing very plainly and easily to know the exact height or distance of any steeple, tree, or house, &c. Also to know the hour of the day by it: the height of the sun, moon, or stars: and to know the time of sun-rising and setting; and the length of every day in the year: the place of the sun in the ecliptick: the azimuth, right ascension, and declination of the sun. With many other necessary and delightful conclusions. Performed very readily. As also the use of a nocturnal: whereby you may learn to know the stars in heaven, and the hour of the night, by them. With many other delightful operations. The fourth edition, wherein the mistakes in the former impressions are corrected. By W.P 210 $a[London] $cThe quadrants, nocturnals, and this book, are printed and sold by Joseph Moxon, at his shop in Russel street at the sign of Atlas$d1670 215 $a[2], 45, [1] p. $cill. (woodcut) 300 $aReproduction of the original in the Henry E. Huntington Library and Art Gallery. 330 $aeebo-0113 606 $aQuadrant$vEarly works to 1800 606 $aSurveying$vEarly works to 1800 606 $aAstronomy$vEarly works to 1800 606 $aAstronomical instruments$vEarly works to 1800 615 0$aQuadrant 615 0$aSurveying 615 0$aAstronomy 615 0$aAstronomical instruments 700 $aW. P$01000871 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996394473703316 996 $aThe use of a mathematical instrument, called a quadrant$92307977 997 $aUNISA LEADER 03207nam 22007335 450 001 9910484718403321 005 20251226195301.0 010 $a3-319-31220-0 024 7 $a10.1007/978-3-319-31220-0 035 $a(CKB)3710000000627357 035 $a(SSID)ssj0001661019 035 $a(PQKBManifestationID)16441600 035 $a(PQKBTitleCode)TC0001661019 035 $a(PQKBWorkID)14989630 035 $a(PQKB)11746831 035 $a(DE-He213)978-3-319-31220-0 035 $a(MiAaPQ)EBC6303166 035 $a(MiAaPQ)EBC5595317 035 $a(Au-PeEL)EBL5595317 035 $a(OCoLC)945922177 035 $a(PPN)192771914 035 $a(EXLCZ)993710000000627357 100 $a20160330d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aStructured Object-Oriented Formal Language and Method $e5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /$fedited by Shaoying Liu, Zhenhua Duan 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (VIII, 219 p. 90 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9559 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-31219-7 327 $aModeling and Specification -- Testing and Debugging -- Model Checking and Verification -- Algorithm and Transformation. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions.  The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9559 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aMachine theory. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 676 $a005.13 702 $aLiu$b Shaoying$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDuan$b Zhenhua$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484718403321 996 $aStructured Object-Oriented Formal Language and Method$93084063 997 $aUNINA