LEADER 00886nam0 2200313 450 001 9910341658503321 005 20191015131016.0 010 $a88-8358-055-9 100 $a20191015d2000----km y0itay50 ba 101 1 $aita$cfre 102 $aIT 105 $a 001yy 200 1 $aAntropologia politica$fGeorges Balandier 210 $aRoma$cArmando$d2000 215 $a190 p.$cill.$d24 cm 225 1 $aAntropologia culturale 300 $aTraduzione di Marta Bartolini 320 $aContiene bibl. (pp.181-183) 610 0 $aPolitica$aAspetti socio-culturali 676 $a306.2$v21$zita 700 1$aBalandier,$bGeorges$0118249 702 1$aBartolini,$bMarta 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910341658503321 952 $aII M 20$b1471/2019$fFSPBC 959 $aFSPBC 996 $aAnthropologie politique$916714 997 $aUNINA LEADER 03874nam 2200637Ia 450 001 9910141290603321 005 20170815160821.0 010 $a1-280-58615-X 010 $a9786613615985 010 $a1-118-37094-5 010 $a1-118-37090-2 035 $a(CKB)2670000000169183 035 $a(EBL)875937 035 $a(OCoLC)784885292 035 $a(SSID)ssj0000668435 035 $a(PQKBManifestationID)11470647 035 $a(PQKBTitleCode)TC0000668435 035 $a(PQKBWorkID)10703491 035 $a(PQKB)11469939 035 $a(MiAaPQ)EBC875937 035 $a(EXLCZ)992670000000169183 100 $a20040311d2001 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aFundamentals of refractory technology$b[electronic resource] $eproceedings of the Refractory Ceramics Division Focused lecture series presented at the 101st and 102nd Annual Meetings held April 25-28, 1999, in Indianapolis, Indiana, and April 30-May 3, 2000, in St. Louis, Missouri, respectively /$fedited by James P. Bennett, Jeffery D. Smith 210 $aWesterville, Ohio $cAmerican Ceramic Society$dc2001 215 $a1 online resource (317 p.) 225 1 $aCeramic transactions,$x1042-1122 ;$vv. 125 300 $aDescription based upon print version of record. 311 $a1-57498-133-1 320 $aIncludes bibliographical references. 327 $aFundamentals of Refractory Technology; Contents; Preface; 1999 Focused Sessions-Indianapolis, Indiana, April 26, 1999; Particle Size Distribution as a Predictor of Suspension Flow Behavior; Rheology and Plasticity for Ceramic Processing; The Nature of Chemical Reactions That Occur During Castable Installation and Analytical Techniques Used to Follow These Reactions; High-Temperature Mechanical Behavior of Magnesia-Graphite Refractories; Needed Fundamental Thermomechanical Material Properties for Thermomechanical Finite Element Analysis of Refractory Structures 327 $aPorous Ceramic Simulation of Reservoir Rocks Determination of Porosity by Electric Permittivity MeasurementsCorrosion of Industrial Refractories; 2000 Focused Sessions-St. Louis, Missouri, May 1, 2000; Application of Thermochemistry to Refractories; Creep Measurement and Analysis of Refractories; Corrosion of Refractories in Glass-Melting Application; Oxyfuel Firing Effects on Refractories; Cold Setting Cordierite Castables; Different Types of in situ Refractories; The Use of Modeling in Refractories; Bath Penetration of Barrier Refractories for Aluminum Electrolytic Cells 327 $aInterfacial Phenomena 330 $aThis updated reprint provides up-to-date information on refractories technology presented by recognized experts in the field. Produced from focused sessions of two Refractory Ceramics Division meetings, refractory scientists from around the world were invited to provide overviews of the scientific principles related to refractory manufacturing and performance. The result is this informative volume and a current view of the Fundamentals of Refractory Technology. 410 0$aCeramic transactions ;$vv. 125. 606 $aRefractory materials$vCongresses 606 $aHeat resistant materials$vCongresses 608 $aElectronic books. 615 0$aRefractory materials 615 0$aHeat resistant materials 676 $a666.72 701 $aBennett$b James P$0924926 701 $aSmith$b Jeffrey Dean$f1951-$0770803 712 02$aAmerican Ceramic Society.$bMeeting$d(101st :$f1999 :$eIndianapolis, Ind.) 712 02$aAmerican Ceramic Society.$bMeeting$d(102nd :$f2000 :$eSaint Louis, Mo.) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910141290603321 996 $aFundamentals of refractory technology$92075972 997 $aUNINA LEADER 03151nam 22006615 450 001 9910483181903321 005 20251226195222.0 010 $a3-642-39176-1 024 7 $a10.1007/978-3-642-39176-7 035 $a(CKB)3280000000007678 035 $a(DE-He213)978-3-642-39176-7 035 $a(SSID)ssj0000904589 035 $a(PQKBManifestationID)11943837 035 $a(PQKBTitleCode)TC0000904589 035 $a(PQKBWorkID)10923532 035 $a(PQKB)10796282 035 $a(MiAaPQ)EBC3096880 035 $a(PPN)170493156 035 $a(EXLCZ)993280000000007678 100 $a20130531d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel Checking Software $e20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings /$fedited by Ezio Bartocci, C. R. Ramakrishnan 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 377 p. 143 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7976 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-39175-3 320 $aIncludes bibliographical references and index. 327 $aExplicit-state model checking techniques -- Other related tools -- Techniques for the verification and formal testing of software systems in general. 330 $aThis book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7976 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.3028/7 702 $aBartocci$b Ezio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRamakrishnan$b C. R$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483181903321 996 $aModel Checking Software$93359484 997 $aUNINA