LEADER 01578nam 2200373 n 450 001 996386917103316 005 20221108030956.0 035 $a(CKB)1000000000612295 035 $a(EEBO)2240952291 035 $a(UnM)99870745 035 $a(EXLCZ)991000000000612295 100 $a19940912d1651 uh | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aDie Jovis, 27 Februarii, 1650. Ordered by the Parliament, that the officers belonging to the recruits and forces which now are, or hereafter shall be raised for the service of this Commonwealth in Ireland, do constantly attend their respective charges; ..$b[electronic resource] 210 $aLondon $cPrinted by John Field, Printer to the Parliament of England$d1650 [i.e. 1651] 215 $a1 sheet ([1] p.) 300 $aTitle from caption title and opening words of text. 300 $aYear given according to Lady Day dating. 300 $aSteele notation (exclusive of order to print): now Ports, observed. 300 $aReproduction of original in the British Library. 330 $aeebo-0018 607 $aGreat Britain$xMilitia$xLaw and legislation$vEarly works to 1800 607 $aGreat Britain$xHistory$yCommonwealth and Protectorate, 1649-1660$vEarly works to 1800 608 $aBroadsides$zEngland$y17th century.$2rbgenr 701 $aScobell$b Henry$fd. 1660.$01004045 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996386917103316 996 $aDie Jovis, 27 Februarii, 1650$92395071 997 $aUNISA LEADER 01520nam a2200289 i 4500 001 991000345499707536 008 080512s2007 it a 000 0 ita d 020 $a9788881845019 035 $ab13844052-39ule_inst 040 $aDip.to Ingegneria dell'Innovazione$beng 082 0 $a693.834$221 100 1 $aCappello, Fabio$030980 245 13$aLa progettazione acustica degli edifici :$bvalutazione e verifica delle prestazioni acustiche degli edifici ai sensi del D.P.C.M. 5/12/1997 : contiene il programma Regolo Acustica versione Lite in ambiente Windows per il calcolo secondo le norme UNI EN 12354 e la stesura della relazione di progetto /$cdi Fabio Cappello, Gianni Cesini, Fabio Serpilli 260 $aRoma :$bEPC libri,$c2007 300 $a205 p. :$bill. ;$c24 cm +$e1 CD-ROM 440 0$aEdilizia.$pQuaderni per la progettazione 650 4$aSoundproofing 650 4$aArchitectural acoustics 700 1 $aCesini, Gianni$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0731158 700 1 $aSerpilli, Fabio 907 $a.b13844052$b31-08-09$c27-08-09 912 $a991000345499707536 945 $aLE026 693.834 CAP 01.01 2007$g1$i2026000051543$lle026$nProf. Starace / Biblioteca$op$pE70.00$q-$rl$s- $t4$u6$v2$w6$x0$y.i14997812$z31-08-09 945 $aLE026 cd-rom n. 257$ccd$g0$i2026000051550$lle026$op$pE0.00$q-$rl$s- $t4$u6$v1$w6$x0$y.i14997861$z31-08-09 996 $aProgettazione acustica degli edifici$91440335 997 $aUNISALENTO 998 $ale026$b12-05-08$cm$da $e-$fita$git $h0$i0 LEADER 02375oam 2200601I 450 001 9910708202703321 005 20241218115744.0 035 $a(CKB)5450000000374320 035 $a(OCoLC)1028739423 035 $a(DcWaBHL)145959 035 $a(EXLCZ)995450000000374320 100 $a20180315d2017 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAnnotated checklist of freshwater truncatelloidean gastropods of the western United States, with an illustrated key to the genera 210 1$aDenver, Colorado$cBureau of Land Management National Operation Center, Information and Publishing Services Section$d??2017$d2017 215 $a1 online resource (vii, 141 pages) $cillustrations (chiefly color), color map 215 $a1 online resource 225 1 $aTechnical note ;$v449 300 $a"June 2017." 300 $a"BLM/OC/ST-17/003+6524." 320 $aIncludes bibliographical references (pages 73-84). 327 $tMethods --$tKey to the freshwater truncatelloidean genera of the western United States --$tSpecies checklist : amnicolidae --$tSpecies checklist : cochliopidae --$tSpecies checklist : hydrobiidae --$tSpecies checklist : lithoglyphidae --$tSpecies checklist : uncertain --$tLiterature cited --$tAppendix. 606 $aFreshwater snails$zWest (U.S.)$vClassification 606 $aTruncatellidae 606 $aGastropoda 606 $aHydrobiidae 606 $aFreshwater snails$2fast 606 $aTruncatellidae$2fast 606 $aGastropoda$2fast 606 $aHydrobiidae$2fast 607 $aWest United States$2fast 608 $aClassification.$2fast 615 0$aFreshwater snails 615 0$aTruncatellidae. 615 0$aGastropoda. 615 0$aHydrobiidae. 615 7$aFreshwater snails. 615 7$aTruncatellidae. 615 7$aGastropoda. 615 7$aHydrobiidae. 700 $aHershler$b Robert$01408386 702 $aLiu$b Hsiu-Ping 712 02$aNational Operations Center (U.S.), 712 02$aNature Conservancy (U.S.) 801 0$bUDD 906 $aBOOK 912 $a9910708202703321 996 $aAnnotated checklist of freshwater truncatelloidean gastropods of the western United States, with an illustrated key to the genera$93546855 997 $aUNINA LEADER 04904nam 22008295 450 001 9910768434103321 005 20251212164949.0 010 $a1-280-30680-7 010 $a9786610306800 010 $a3-540-24616-9 024 7 $a10.1007/b95516 035 $a(CKB)1000000000212303 035 $a(DE-He213)978-3-540-24616-9 035 $a(SSID)ssj0000107928 035 $a(PQKBManifestationID)11108957 035 $a(PQKBTitleCode)TC0000107928 035 $a(PQKBWorkID)10016484 035 $a(PQKB)10842836 035 $a(MiAaPQ)EBC3088709 035 $a(PPN)155168452 035 $a(EXLCZ)991000000000212303 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Deduction in Geometry $e4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers /$fedited by Franz Winkler 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (VII, 229 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2930 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-20927-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aAlgorithmic Tests for the Normal Crossing Property -- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction -- Using Computer Algebra Tools to Classify Serial Manipulators -- MMP/Geometer ? A Software Package for Automated Geometric Reasoning -- The SymbolicData GEO Records ? A Public Repository of Geometry Theorem Proof Schemes -- A New Structural Rigidity for Geometric Constraint Systems -- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving -- The Nonsolvability by Radicals of Generic 3-connected Planar Graphs -- Function-Based Shape Modeling: Mathematical Framework and Specialized Language -- C 1 Spline Implicitization of Planar Curves -- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used in Geometric Constraint Solving. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics. 410 0$aLecture Notes in Artificial Intelligence ;$v2930 606 $aGeometry 606 $aArtificial intelligence 606 $aLogic, Symbolic and mathematical 606 $aComputer science?Mathematics 606 $aComputer graphics 606 $aPattern perception 606 $aGeometry$3https://scigraph.springernature.com/ontologies/product-market-codes/M21006 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 615 0$aGeometry. 615 0$aArtificial intelligence. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer science?Mathematics. 615 0$aComputer graphics. 615 0$aPattern perception. 615 14$aGeometry. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aComputer Graphics. 615 24$aPattern Recognition. 676 $a516/.00285 702 $aWinkler$b Franz$f1955-$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Automated Deduction in Geometry 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768434103321 996 $aAutomated Deduction in Geometry$9772173 997 $aUNINA