LEADER 01701nam 2200397 n 450 001 996386717803316 005 20221108035117.0 035 $a(CKB)1000000000617740 035 $a(EEBO)2240898019 035 $a(UnM)99842632 035 $a(EXLCZ)991000000000617740 100 $a19910516d1629 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aSylua syluarum: or A naturall historie$b[electronic resource] $eIn ten centuries. VVritten by the Right Honourable Francis Lo. Verulam Viscount St. Alban. Published after the authors death, by VVilliam Rawley Doctor of Diuinity, late his Lordships chaplaine 205 $aThe second edition. 210 $aLondon $cPrinted by I[ohn] H[aviland and Augustine Mathewes] for William Lee at the Turkes Head in Fleet-street, next to the Miter$d1628 [i.e. 1629] 215 $a[14], 258, [12], 44 p. $cport 300 $aHaviland's name from STC; "Mathewes pr[inted]. New Atlantis". 300 $aWith an additional title page, engraved, signed "Tho: Cecill sculp:", and dated 1629. 300 $a"Nevv Atlantis" has divisional title on a1, and separate pagination. 300 $aReproduction of the original in Cambridge University Library. 330 $aeebo-0021 606 $aNatural history$xPre-Linnean works 615 0$aNatural history$xPre-Linnean works. 700 $aBacon$b Francis$f1561-1626.$0159133 701 $aRawley$b William$f1588?-1667.$01003869 702 $aCecil$b Thomas$ffl. 1630, 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996386717803316 996 $aSylua syluarum: or A naturall historie$92318333 997 $aUNISA LEADER 05596nam 22008415 450 001 9910484139303321 005 20251226195419.0 010 $a3-540-74510-6 024 7 $a10.1007/978-3-540-74510-5 035 $a(CKB)1000000000490432 035 $a(SSID)ssj0000316895 035 $a(PQKBManifestationID)11276962 035 $a(PQKBTitleCode)TC0000316895 035 $a(PQKBWorkID)10286376 035 $a(PQKB)11525568 035 $a(DE-He213)978-3-540-74510-5 035 $a(MiAaPQ)EBC3063186 035 $a(MiAaPQ)EBC6711198 035 $a(Au-PeEL)EBL6711198 035 $a(OCoLC)184940636 035 $a(PPN)123164605 035 $a(BIP)32372740 035 $a(BIP)14495857 035 $a(EXLCZ)991000000000490432 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Science - Theory and Applications $eSecond International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings /$fedited by Volker Diekert, Mikhail Volkov, Andrei Voronkov 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XIII, 420 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4649 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-74509-2 320 $aIncludes bibliographical references and index. 327 $aProving Church?s Thesis -- The Limits of Quantum Computers -- Marrying Words and Trees -- TPTP, TSTP, CASC, etc. -- Abstract Modeling and Formal Verification of Microprocessors -- Sequences of Level 1, 2, 3,..., k,... -- Timers and Proximities for Mobile Ambients -- Pushing Random Walk Beyond Golden Ratio -- Reversible Machine Code and Its Abstract Processor Architecture -- A Fast Algorithm for Path 2-Packing Problem -- Decidability of Parameterized Probabilistic Information Flow -- Inverting Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs -- Planarity, Determinants, Permanents, and (Unique) Matchings -- Equivalence Problems for Circuits over Sets of Natural Numbers -- Bouillon: A Wiki-Wiki Social Web -- A PDL-Like Logic of Knowledge Acquisition -- Resource Placement in Networks Using Chromatic Sets of Power Graphs -- Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth -- Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems -- New Bounds for MAX-SAT by Clause Learning -- Towards Hierarchical Clustering (Extended Abstract) -- Estimation of the Click Volume by Large Scale Regression Analysis -- Maximal Intersection Queries in Randomized Graph Models -- A Note on Specialization of Interpreters -- Efficient Computation in Groups Via Compression -- Constructing a Secret Binary Partition of a Digital Image Robust to a Loss of Synchronization -- On the Complexity of Matrix Rank and Rigidity -- On the Usage of Clustering for Content Based Image Retrieval -- Performance Modeling of Wormhole Hypermeshes Under Hotspot Traffic -- Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols -- Symmetry of Information and Nonuniform LowerBounds -- Perceptrons of Large Weight -- A Padding Technique on Cellular Automata to Transfer Inclusions of Complexity Classes -- Kolmogorov Complexity, Lovász Local Lemma and Critical Exponents -- Generic Complexity of Presburger Arithmetic -- Everywhere ?-Repetitive Sequences and Sturmian Words -- Timed Traces and Strand Spaces -- On Empirical Meaning of Randomness with Respect to a Real Parameter -- An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity -- Generic Complexity of Undecidable Problems. 330 $aThis book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4649 606 $aComputer science 606 $aAlgorithms 606 $aArtificial intelligence 606 $aComputer science$xMathematics 606 $aBioinformatics 606 $aTheory of Computation 606 $aAlgorithms 606 $aArtificial Intelligence 606 $aMathematics of Computing 606 $aBioinformatics 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 0$aComputer science$xMathematics. 615 0$aBioinformatics. 615 14$aTheory of Computation. 615 24$aAlgorithms. 615 24$aArtificial Intelligence. 615 24$aMathematics of Computing. 615 24$aBioinformatics. 676 $a004.0947 702 $aVoronkov$b Andrei$f1959- 702 $aDiekert$b Volker$f1955- 702 $aVolkov$b Mikhail V. 712 12$aInternational Computer Science Symposium in Russia 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484139303321 996 $aComputer Science - Theory and Applications$92889860 997 $aUNINA