LEADER 01074cam2 22003131 450 001 SOBE00016626 005 20160125095842.0 010 $a9782070119363 100 $a20110720d2011 |||||ita|0103 ba 101 $afre 102 $aFR 200 0 $a2$fbiographie de l' oeuvre par Francois Ricard 210 $aParis$cGallimard$d2011 215 $a1308 p.$d18 cm 225 2 $aBibliothèque de la Pléiade$v568 300 $aIn custodia 410 1$1001LAEC00015142$12001 $a*Bibliothèque de la Pléiade$v568 461 1$1001SOBE00016624$12001 $aOeuvre : edition definitive / Milan Kundera 700 1$aKundera$b, Milan$3AF00006637$4070$0328616 702 1$aRicard, Francois$3SOBA00000540$4070 801 0$aIT$bUNISOB$c20160125$gRICA 850 $aUNISOB 852 $aUNISOB$j840|Coll|12|K$m153746 912 $aSOBE00016626 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a840|Coll|12|K$b000172$i-2$gSI$d153746$racquisto$tI$1catenacci$2UNISOB$3UNISOB$420110720094452.0$520160125095842.0$6Alfano 996 $a2$91721942 997 $aUNISOB LEADER 04682nam 2200685 450 001 9910138990503321 005 20170816145739.0 010 $a1-118-80789-8 010 $a1-118-80796-0 010 $a1-118-80801-0 035 $a(CKB)2550000001165650 035 $a(EBL)1564112 035 $a(OCoLC)863824715 035 $a(SSID)ssj0001097134 035 $a(PQKBManifestationID)11604251 035 $a(PQKBTitleCode)TC0001097134 035 $a(PQKBWorkID)11028061 035 $a(PQKB)10383837 035 $a(MiAaPQ)EBC1564112 035 $a(EXLCZ)992550000001165650 100 $a20131209d2014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAdvanced processing and manufacturing technologies for structural and multifunctional materials VII$hVolume 34, Issue 8, 2013$iCeramic engineering and science proceedings $ea collection of papers presented at the 37th Ceramics and Composites January 27-February 1, 2013 Daytona Beach, Florida /$fedited by Tatsuki Ohji, Mrityunjay Singh 210 1$aHoboken, New Jersey :$cWiley,$d2014. 210 4$d©2014 215 $a1 online resource (194 p.) 225 1 $aCeramic Engineering and Science Proceedings 300 $aDescription based upon print version of record. 311 $a1-118-80773-1 311 $a1-306-15667-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aCover; Title Page; Copyright Page; Contents; Preface; Introduction; Creation of Surface Geometric Structures by Thermal Micro-Lines Patterning Techniques; Magnetoelectric Properties of La-Modified BiFeO3 Thin Films on Strontium Ruthenate (SrRuO3) Buffered Layer; Properties of Pb(Zr,Ti)O3/CoFe2O4/Pb(Zr,Ti)O3 Layered Thin Films Prepared Via Chemical Solution Deposition; Intelligent Processes Enable New Products in the Field of Non-Oxide Ceramics; Fabricating Successful Ceramic Components using Development Carrier Systems; Optimized Shaping Process for Transparent Spinel Ceramic 327 $aCombustion Synthesis (SHS) of Complex Ceramic MaterialsWear and Reactivity Studies of Melt Infiltrated Ceramic Matrix Composite; Fabrication and Properties of High Thermal Conductivity Silicon Nitride; Porous Silicon Carbide Derived from Polymer Blend; Processing and Properties of Zirconia Toughened WC-Based Cermets; Mechanism of the Carbothermal Synthesis of MgAl2O4-SiC Refractory Composite Powders by Forsterite, Alumina and Carbon Black; Joining of Alumina by Polycarbosilane and Siloxane Including Phenyl Groups; Microwave Joining of Alumina using a Liquid Phase Sintered Alumina Insert 327 $aJoining of Silicon Nitride Long Pipes without Insert Material by Local Heating TechniqueInterfacial Characterization of Diffusion-Bonded Monolithic and Fiber-Bonded Silicon Carbide Ceramics; Round Robin on Indentation Fracture Resistance of Silicon Carbide for Small Ceramic Products; Numerical Analysis of Microstructural Fracture Behavior in Nano Composites under HVEM; Commercialising University Research: Thoughts on the Challenges Based on Experience Gained in the Field of Ceramic Processing in the UK; Author Index 330 $aCeramic Engineering and Science Proceedings Volume 34, Issue 8 - Advanced Processing and ManufacturingTechnologies for Structural and Multifunctional Materials VIIA collection of 20 papers from The American Ceramic Society's 37th International Conference on Advanced Ceramics and Composites, held in Daytona Beach, Florida, January 27-February 1, 2013. This issue includes papers presented in the 7th International Symposium on Advanced Processing and Manufacturing Technologies for Structural and Multifunctional Materials and Systems (Symposium 8). 410 0$aCeramic Engineering and Science Proceedings 606 $aCeramic materials$vCongresses 606 $aElectric insulators and insulation$xCeramic materials$vCongresses 606 $aInsulation (Heat)$vCongresses 606 $aDetectors$xMaterials$vCongresses 608 $aElectronic books. 615 0$aCeramic materials 615 0$aElectric insulators and insulation$xCeramic materials 615 0$aInsulation (Heat) 615 0$aDetectors$xMaterials 676 $a634 701 $aOhji$b T$g(Tatsuki)$0856396 701 $aSingh$b M$g(Mrityunjay)$013684 712 02$aAmerican Ceramic Society. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910138990503321 996 $aAdvanced processing and manufacturing technologies for structural and multifunctional materials VII$92171491 997 $aUNINA LEADER 05773nam 22008175 450 001 996466035803316 005 20220920184824.0 010 $a3-642-35743-1 024 7 $a10.1007/978-3-642-35743-5 035 $a(CKB)3400000000102954 035 $a(SSID)ssj0000880005 035 $a(PQKBManifestationID)11466212 035 $a(PQKBTitleCode)TC0000880005 035 $a(PQKBWorkID)10872127 035 $a(PQKB)11259421 035 $a(DE-He213)978-3-642-35743-5 035 $a(MiAaPQ)EBC3068787 035 $a(PPN)168329263 035 $a(EXLCZ)993400000000102954 100 $a20121214d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Aspects of Component Software$b[electronic resource] $e8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /$fedited by Farhad Arbab, Peter Csaba Ölveczky 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (X, 369 p. 131 illus.) 225 1 $aProgramming and Software Engineering ;$v7253 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-35742-3 320 $aIncludes bibliographical references and index. 327 $aTaming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components -- Timed Conformance Testing for Orchestrated Service Discovery -- Realizability of Choreographies for Services Interacting Asynchronously -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation -- Verifying Safety of Fault-Tolerant Distributed Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques -- Biographical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines -- Verifying Temporal Properties of Use-Cases in Natural Language. 330 $aThis book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems. 410 0$aProgramming and Software Engineering ;$v7253 606 $aSoftware engineering 606 $aMathematical logic 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 608 $aConference proceedings.$2fast 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aManagement of Computing and Information Systems. 676 $a004.01/51 702 $aArbab$b Farhad$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aÖlveczky$b Peter Csaba$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Formal Aspects of Component Software 906 $aBOOK 912 $a996466035803316 996 $aFormal Aspects of Component Software$92568048 997 $aUNISA