LEADER 03105nam 2200373 n 450 001 996390154703316 005 20200824121208.0 035 $a(CKB)4940000000098648 035 $a(EEBO)2240859670 035 $a(UnM)99825276e 035 $a(UnM)99825276 035 $a(EXLCZ)994940000000098648 100 $a19930518d1700 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 04$aThe mirror of architecture: or The ground-rules of the art of building, exactly laid down by Vincent Scamozzi, master-builder of Venice. Whereby the principal points of architecture are easily and plainly demonstrated for the benefit of all lovers and ingenious practitioners in the said art. With the description and use of a joynt-rule, fitted with lines for the ready finding the lengths and angles of rafters, and hips, and collar-beams, in any square or bevelling roof at any pitch; and the ready drawing the architrave, frieze, and cornice in any order. With other useful conclusions by the said rule. By John Brown. The fourth edition. Whereunto is added a compendium of the art of building. Giving a brief account of the names, natures, and rates of all the materials, belonging to the erection of an edifice: and what quantity of each sort will be needful for the building of any house. Whereby estimates, valuations and contracts may be made between builder and workman, without damage to e$b[electronic resource] 210 $aLondon $cprinted for Richard Mount, at the Postern on Tower-Hill$d1700 215 $a[8], 103, 404-411, [1] p., plates 300 $aReproduction of the original in the Cambridge University Library. 330 $aeebo-0021 606 $aArchitecture$vEarly works to 1800 615 0$aArchitecture 700 $aScamozzi$b Vincenzo$f1552-1616.$010439 701 $aBrown$b John$cphilomath.$0396957 701 $aLeybourn$b William$f1626-1716.$01001442 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bCu-RivES 801 2$bWaOLN 906 $aBOOK 912 $a996390154703316 996 $aThe mirror of architecture: or The ground-rules of the art of building, exactly laid down by Vincent Scamozzi, master-builder of Venice. Whereby the principal points of architecture are easily and plainly demonstrated for the benefit of all lovers and ingenious practitioners in the said art. With the description and use of a joynt-rule, fitted with lines for the ready finding the lengths and angles of rafters, and hips, and collar-beams, in any square or bevelling roof at any pitch; and the ready drawing the architrave, frieze, and cornice in any order. With other useful conclusions by the said rule. By John Brown. The fourth edition. Whereunto is added a compendium of the art of building. Giving a brief account of the names, natures, and rates of all the materials, belonging to the erection of an edifice: and what quantity of each sort will be needful for the building of any house. Whereby estimates, valuations and contracts may be made between builder and workman, without damage to e$92305620 997 $aUNISA LEADER 01401nam a2200337 i 4500 001 991001304849707536 008 051108s2004 enka b 001 0 eng d 020 $a0198528388 035 $ab13352155-39ule_inst 040 $aDip.to Matematica$beng 082 0 $a532.0533$221 084 $aAMS 76N10 084 $aAMS 76N15 084 $aLC QA929.F45 100 1 $aFeireisl, Eduard$0472389 245 10$aDynamics of viscous compressible fluids /$cEduard Feireisl 260 $aOxford ;$aNew York :$bOxford University Press,$c2004 300 $ax, 212 p. :$bill. ;$c25 cm 440 0$aOxford lecture series in mathematics and its applications ;$v26 504 $aIncludes bibliographical references (p. [201]-207) and index 650 0$aViscous flow 650 0$aNavier-Stokes equations 650 0$aFluid dynamics 856 41$3Table of contents$uhttp://www.loc.gov/catdir/toc/fy045/2004271392.html$zTable of Contents 907 $a.b13352155$b12-10-12$c08-11-05 912 $a991001304849707536 945 $aLE013 76N FEI11 C.1 (2004)$g1$i2013000200569$lle013$op$pE73.56$q-$rl$s- $t0$u1$v0$w1$x0$y.i14183249$z25-01-06 945 $aLE013 76N FEI11 C.2 (2004)$g2$i2013000200828$lle013$op$pE69.22$q-$rl$s- $t0$u1$v0$w1$x0$y.i14191647$z09-02-06 996 $aDynamics of viscous compressible fluids$91093020 997 $aUNISALENTO 998 $ale013$b08-11-05$cm$da $e-$feng$genk$h0$i0 LEADER 04248nam 22008295 450 001 9910483480503321 005 20251226203532.0 010 $a3-642-03092-0 024 7 $a10.1007/978-3-642-03092-5 035 $a(CKB)1000000000798304 035 $a(SSID)ssj0000318235 035 $a(PQKBManifestationID)11283545 035 $a(PQKBTitleCode)TC0000318235 035 $a(PQKBWorkID)10308724 035 $a(PQKB)11193449 035 $a(DE-He213)978-3-642-03092-5 035 $a(MiAaPQ)EBC3064706 035 $a(PPN)139958320 035 $a(EXLCZ)991000000000798304 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aInfinity in Logic and Computation $eInternational Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /$fedited by Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Löwe 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XIII, 139 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5489 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-03091-2 320 $aIncludes bibliographical references and index. 327 $aNadia Busi (1968?2007) -- Symbolic Model Checking of Tense Logics on Rational Kripke Models -- Genetic Systems without Inhibition Rules -- Probabilistic Systems with LimSup and LimInf Objectives -- A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata -- Towards Model-Checking Programs with Lists -- Representations of Numbers as :A Saddle Point Approach -- Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata -- Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions -- Is P?=?PSPACE for Infinite Time Turing Machines?. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007. The 7 revised papers presented together with 2 invited talks were carefully selected from 27 initial submissions during two rounds of reviewing and improvement. The papers address all aspects of infinity in automata theory, logic, computability and verification and focus on topics such as automata on infinite objects; combinatorics, cryptography and complexity; computability and complexity on the real numbers; infinite games and their connections to logic; logic, computability, and complexity in finitely presentable infinite structures; randomness and computability; transfinite computation; and verification of infinite state systems. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5489 606 $aArtificial intelligence 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aTheory of Computation 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 676 $a004n/a 686 $a004$2sdnb 686 $aDAT 500f$2stub 686 $aSS 4800$2rvk 701 $aArchibald$b Margaret$01750490 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483480503321 996 $aInfinity in Logic and Computation$94185136 997 $aUNINA