LEADER 01599nam 2200397Ia 450 001 996396284803316 005 20200824124856.0 035 $a(CKB)4330000000336210 035 $a(EEBO)2264225406 035 $a(OCoLC)ocm12404703e 035 $a(OCoLC)12404703 035 $a(EXLCZ)994330000000336210 100 $a19850820d1692 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe arts of empire and mysteries of state discabineted$b[electronic resource] $ein political and polemical aphorisms, grounded on authority and experience, and illustrated with the choicest examples and historical observations /$fby the ever-renowned knight, Sir Walter Raleigh ; published by John Milton, Esq 210 $aLondon $cPrinted by G. Croom for Joseph Watts ...$d1692 215 $a[9], 238, [3] p 300 $aFirst ed. published in 1658 as: The cabinet-council, containing the chief arts of empire and mysteries of state. Cf. BM. 300 $aAdvertisements: p. [9] at beginning and p. [1]-[2] at end. 300 $aReproduction of original in University of Michigan Libraries. 330 $aeebo-0171 606 $aPolitical science$vEarly works to 1800 606 $aMonarchy 615 0$aPolitical science 615 0$aMonarchy. 700 $aRaleigh$b Walter$cSir,$f1552?-1618.$0165551 701 $aMilton$b John$f1608-1674.$0308340 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996396284803316 996 $aThe arts of empire and mysteries of state discabineted$92354065 997 $aUNISA LEADER 03153nam 22007095 450 001 9910349423203321 005 20230222153310.0 010 $a9783319901046 010 $a3319901044 024 7 $a10.1007/978-3-319-90104-6 035 $a(CKB)4100000003359664 035 $a(DE-He213)978-3-319-90104-6 035 $a(MiAaPQ)EBC6302947 035 $a(MiAaPQ)EBC5576882 035 $a(Au-PeEL)EBL5576882 035 $a(OCoLC)1034551675 035 $a(PPN)226696650 035 $a(EXLCZ)994100000003359664 100 $a20180417d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStructured Object-Oriented Formal Language and Method $e7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /$fedited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (X, 219 p. 66 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10795 311 08$a9783319901039 311 08$a3319901036 327 $aAnimation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. 330 $aThis book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi?an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10795 606 $aSoftware engineering 606 $aAlgorithms 606 $aComputer science 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aAlgorithms. 615 0$aComputer science. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 676 $a004.0151 702 $aTian$b Cong$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNagoya$b Fumiko$4edt$4http://id.loc.gov/vocabulary/relators/edt 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 $a9910349423203321 996 $aStructured Object-Oriented Formal Language and Method$93084063 997 $aUNINA